# Per Martin-Löf

Swedish logician, philosopher, and mathematical statistician

## Per Martin-Löf's AcademicInfluence.com Rankings

## Download Badge

Mathematics Philosophy

## Per Martin-Löf's Degrees

- PhD Philosophy Stockholm University
- PhD Mathematical Statistics Stockholm University

## Why Is Per Martin-Löf Influential?

(Suggest an Edit or Addition)According to Wikipedia, Per Erik Rutger Martin-Löf is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science.

## Per Martin-Löf's Published Works

### Published Works

- The Definition of Random Sequences (1966) (1229)
- Intuitionistic type theory (1984) (992)
- Constructive mathematics and computer programming (1984) (872)
- An Intuitionistic Theory of Types: Predicative Part (1975) (804)
- An intuitionistic theory of types (1972) (226)
- On the meanings of the logical constants and the justi cations of the logical laws (1996) (221)
- Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions (1971) (205)
- Notes on constructive mathematics (1970) (139)
- Truth of a proposition, evidence of a judgement, validity of a proof (1987) (114)
- On the Notion of Randomness (1970) (63)
- Analytic and Synthetic Judgements in Type Theory (1994) (59)
- 100 years of Zermelo's axiom of choice: what was the problem with it? (2006) (56)
- Mathematics of infinity (1988) (52)
- Complexity oscillations in infinite binary sequences (1971) (52)
- Probability theory on discrete semigroups (1965) (37)
- Hauptsatz for the Theory of Species (1971) (29)
- The Hilbert-Brouwer controversy resolved? (2008) (22)
- Verificationism Then and Now (2013) (21)
- Infinite terms and a system of natural deduction (1972) (19)
- The Literature on von Mises' Kollektivs Revisited (2008) (17)
- Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory (2011) (13)
- Algorithms and Randomness (1969) (13)
- Hauptsatz for Intuitionistic Simple Type Theory (1973) (11)
- Exact tests, confidence regions and estimates (1977) (10)
- Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (2009) (5)
- THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS (2021) (4)
- A Construction of the Provable Wellorderings of the Theory of Species (2001) (3)
- The Continuity Theorem on a Locally Compact Group (1965) (2)
- COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (1990) (2)
- Proceedings of the international conference on Computer logic (1988) (1)
- Veri fi cationism Then and Now (0)

This paper list is powered by the following services:

## Other Resources About Per Martin-Löf

## What Schools Are Affiliated With Per Martin-Löf?

Per Martin-Löf is affiliated with the following schools: