popular
trending
lists
login
Proof theorists
Kurt Gödel
Gerhard Gentzen
William Craig (philosopher)
Peter Aczel
Kurt Schütte
Georg Kreisel
T. M. Scanlon
Ivan Sleszynski
Paul Lorenzen
Per Martin-Löf
Jean-Yves Girard
Solomon Feferman
Ruy de Queiroz
Melvin Fitting
Anne Sjerp Troelstra
Dick de Jongh
Harvey Friedman
Gaisi Takeuti
William Alvin Howard
Dag Prawitz
Jacques Herbrand
Rosalie Iemhoff
Amina Doumane
Steve Simpson (mathematician)
Latest Activity
Latest Events
Chrishell Stause and Georgia Flipo
Breakup - 26th Oct 2026
by annika_lb
Gabby Thomas and Spencer McManes
Marriage - 26th Oct 2026
by Redhot79
Efton Chism and Devynn Warns
Engagement - 24th Oct 2026
by Redhot79
Sean Hannity and Ainsley Earhardt
Marriage - 24th Oct 2026
by Redhot79
see more
Follow WDW on Facebook
