Per Martin-Löf | Academic Influence

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

Per Martin-Löf

Mathematics

#478

World Rank

#938

Historical Rank

Probability Theory

#19

World Rank

#34

Historical Rank

Statistics

#133

World Rank

#174

Historical Rank

Measure Theory

#453

World Rank

#648

Historical Rank

mathematics Degrees

Per Martin-Löf

Philosophy

#556

World Rank

#1115

Historical Rank

Logic

#100

World Rank

#257

Historical Rank

philosophy Degrees

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.

(See a Problem?)

Per Martin-Löf's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

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

en.wikipedia.org

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

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

Image Attributions

Image Source for Per Martin-Löf