The following pages link to Per Martin-Löf
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Axiom of choice (links | edit)
- Andrew Wiles (links | edit)
- Functional programming (links | edit)
- Gregory Chaitin (links | edit)
- Constructivism (philosophy of mathematics) (links | edit)
- Rem Koolhaas (links | edit)
- Willard Van Orman Quine (links | edit)
- Type theory (links | edit)
- Speech act (links | edit)
- Saul Kripke (links | edit)
- Random sequence (links | edit)
- Natural deduction (links | edit)
- Derek Parfit (links | edit)
- Mauricio Kagel (links | edit)
- Hilary Putnam (links | edit)
- Andrey Kolmogorov (links | edit)
- John Rawls (links | edit)
- György Ligeti (links | edit)
- Church–Rosser theorem (links | edit)
- Dana Scott (links | edit)
- Herbert Blomstedt (links | edit)
- Proof theory (links | edit)
- Institute for Advanced Study (links | edit)
- Thomas Nagel (links | edit)
- List of Swedish scientists (links | edit)
- Rolf Schock Prizes (links | edit)
- Wayne Shorter (links | edit)
- Universe (mathematics) (links | edit)
- Michael Dummett (links | edit)
- Saharon Shelah (links | edit)
- Kronos Quartet (links | edit)
- Intuitionistic type theory (links | edit)
- Solomon Feferman (links | edit)
- List of logicians (links | edit)
- Constructive proof (links | edit)
- Bird ringing (links | edit)
- Mikio Sato (links | edit)
- Gidon Kremer (links | edit)
- Elias M. Stein (links | edit)
- Index of philosophy articles (I–Q) (links | edit)
- Herzog & de Meuron (links | edit)
- Expectation–maximization algorithm (links | edit)
- Kaija Saariaho (links | edit)
- Endre Szemerédi (links | edit)
- Anne Sofie von Otter (links | edit)
- Setoid (links | edit)
- Logical framework (links | edit)
- Mona Hatoum (links | edit)
- Rafael Moneo (links | edit)
- David Kaplan (philosopher) (links | edit)