popular
trending
lists
login
Proof theorists
Kurt Gödel
Gerhard Gentzen
William Craig (philosopher)
Peter Aczel
Georg Kreisel
T. M. Scanlon
Ivan Sleszynski
Per Martin-Löf
Ruy de Queiroz
Melvin Fitting
Kurt Schütte
Anne Sjerp Troelstra
Dick de Jongh
Harvey Friedman
Gaisi Takeuti
Paul Lorenzen
William Alvin Howard
Dag Prawitz
Jean-Yves Girard
Solomon Feferman
Jacques Herbrand
Amina Doumane
Steve Simpson (mathematician)
Helmut Schwichtenberg
Latest Activity
Latest Events
Jade van Vliet and Kenneth Taylor
Engagement - 1st Jun 2026
by missepticeye
Callum Turner and Dua Lipa
Marriage - 31st May 2026
by TrickyBaby
Zachariah Porter and Jonathan Carson
Engagement - 31st May 2026
by missepticeye
Charo Walop and Lex
Child - 30th May 2026
by missepticeye
see more
Follow WDW on Facebook
