Philosopher
Per Martin-Löf
Overview
Swedish logician, philosopher, and mathematical statistician
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Ideas Per Martin-Löf discusses
- Philosophy
- Foundations of mathematics
- Mathematical logic
- Constructivism (philosophy of mathematics)
- Probability
- Probability theory
- Curry–Howard correspondence
- Statistics
- Theory of computation
- Philosophical logic
- University of Chicago
- Intuitionistic type theory
- Logical consequence
- Logic
- Gottlob Frege
- Sweden
- Central Europe
- Computer science
- Rocq
- Category theory
- Church–Turing thesis
- Consistency
- Franz Brentano
- Edmund Husserl
Place in the tradition
Part of Type theory.