- Alan Turing 1912
- Alfred North Whitehead 1861
- Alfred Tarski 1901
- Bertrand Russell 1872
- Dugald Macpherson
- Gottlob Frege 1848
- Haskell Curry 1900
- Kurt Gödel 1906
- Lewis Carroll 1832
- Pierre Abélard 1079
- Raymond Smullyan 1919
- Saul Kripke 1940
- Solomon Feferman 1928