Category
page 1Proof theorists
Kurt Gödel
Austrian-American logician, mathematician, and philosopher of mathematics (1906-1978)
Gerhard Gentzen
German mathematician (1909-1945)
Jacques Herbrand
French mathematician (1908–1931)
Paul Lorenzen
German mathematician and philosopher (1915–1994)
Per Martin-Löf
Swedish logician, philosopher, and mathematical statistician
Solomon Feferman
American philosopher and mathematician (1928–2016)
Kurt Schütte
German mathematician (1909–1998)
T. M. Scanlon
American philosopher
Jan Śleszyński
Polish mathematician
Gaisi Takeuti
Japanese mathematician (1926-2017)
Georg Kreisel
American mathematician (1923–2015)
Jean-Yves Girard
French logician
Harvey Friedman
American mathematician and logician
William Alvin Howard
American mathematician
Dag Prawitz
Swedish philosopher and logician
William Craig
American logician (1918–2016)
Peter Aczel
British mathematician and logician (1941–2023)
Amina Doumane
Moroccan theoretical computer scientist
Anne Sjerp Troelstra
Dutch mathematician (1939–2019)
Sara Negri
Mathematical logician