Hall of Fame

I dedicated this page to honor the grand-masters of our art. It is out of my individual respect, a hall of fame containing our old grand-masters. Obviously, it's impossible to list all of them here, so this is an unordered subset. I’m sure the rest will excuse my lack of experience.

If you see that I missed some other great logician/computer scientist that should be placed here, please email me so we’ll honor them as well.

So here are the masters:

Moses Schönfinkel
(1889 - 1942)

Ada Lovelace
(1815 - 1852)

Haskell Curry
(1900 - 1982)

Grace M. Hopper
(1906 - 1992)

David Hilbert
(1862 - 1943)

Alonzo Church
(1903 - 1995)

Alan Turing
(1912 - 1954)

Stephen C. Kleene
(1909 - 1994)

Peter Landin
(1930 - 2009)

Kurt Gödel
(1906 - 1978)

Gottlob Frege
(1848 - 1925)

Giuseppe Peano
(1858 - 1932)

J. Barkley Rosser
(1907 - 1989)

Bertrand Russell
(1872 - 1970)

John McCarthy
(1927 - 2011)

John C. Reynolds
(1935 - 2013)

Margaret Hamilton
(1936)