The Philosopher
Per Martin-Löf
The face
The background
- Nationality:
- Swedish
- Schools:
- Intuitionism, Constructivism
- Branchs:
- Computer Science, Logic, Mathematical statistics, Philosophy, Information theory, Probability theory, Statistics, Type theory, Intuitionistic type theory, Constructive mathematics, Phenomenology, Foundations of mathematics
- Period:
- Late 20th century to present
The synopsis
The works
The definition of random sequences
A theory of types
Intuitionistic type theory
On the Meanings of the Logical Constants and the Justifications of the Logical Laws