David
Hilbert

Universität Göttingen (Physics Tree)


Hermann Klaus Hugo
Weyl

Institute for Advanced Study (MathTree)


Edmund
Landau

Universität Göttingen (MathTree)


I. Paul
Bernays

ETH Zürich (MathTree)


Saunders Mac
Lane

Chicago (MathTree)


Steven
Awodey

Carnegie Mellon

Peter L.
Lumsdaine

Carnegie Mellon
(Options)

Peter LumsdaineX