Avatar

Caner Derici

Canonical Ltd.

PhD Candidate, Computer Science

Sandy, UT, USA

cderici

caner@canerlab.live


Hall of Fame

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

If you see that I missed some other great logician/computer scientist that should be placed here, please send an email to me, so we'll honor him/her 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 - restoration.jpg
Margaret Hamilton
(1936)