Leeds Computability - A Brief Genealogy

Gottfried Leibniz (1646 - 1716)
Jacob Bernoulli (1654 - 1705)
Johann Bernoulli (1667 - 1748)
Leonhard Euler (1707 - 1783)
Joseph Lagrange (1736 - 1813)
Siméon Poisson (1781 - 1840)
Michel Chasles (1793 - 1880)
H. A. Newton (1830 - 1896)
E. H. Moore (1862 - 1932)
Oswald Veblen (1880 - 1960)
Alonzo Church (1903 - 1995)
Alan Turing (1912 - 1954)
Robin Gandy (1919 - 1995)
C. E. M. Yates
S. Barry Cooper
To Be Continued . . .

Logic@Leeds logo University of Leeds logo SIGLaC logo Logic Colloquium '97 logo CiE logo CiE 2005 small poster