The Cornerstone
People who made significant contributions to the upgrowth of modern logic, foundations of mathematics and computation.
Gottlob Frege (1848-1925)
Giuseppe Peano (1858–1932)
David Hilbert (1862-1943)
Ernst Zermelo (1871-1953)
Bertrand Russell (1872–1970)
L. E. J. Brouwer (1881-1966)
Thoralf Skolem (1887-1963)
Abraham Fraenkel (1891-1965)
Emil Leon Post (1897-1954)
Arend Heyting (1898-1980)
Haskell Brooks Curry (1900-1982)
Alfred Tarski (1901-1983)
John von Neumann (1903-1957)
Andrey Kolmogorov (1903-1987)
Alonzo Church (1903-1995)
Kurt Gödel (1906-1978)
John Barkley Rosser (1907-1989)
Willard Van Orman Quine (1908-2000)
Gerhard Gentzen (1909-1945)
Stephen Cole Kleene (1909-1994)
Saunders Mac Lane (1909-2005)
Alan Turing (1912-1954)
Samuel Eilenberg (1913-1998)
William Alvin Howard (1926-)
John McCarthy (1927–2011)
Peter Landin (1930-2009)
Dana Scott (1932-)
Robin Milner (1934-2010)
C. A. R. Hoare (1934-)
Per Martin-Löf (1942-)
Gordon Plotkin (1946-)