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)

Robin Milner (1934-2010)

C. A. R. Hoare (1934-)

Per Martin-Löf (1942-)