# Per Martin-Löf

Per Erik Rutger Martin-Löf (* 8. Mai 1942) ist ein schwedischer mathematischer Logiker und Philosoph.
Martin-Löf war 1964–1965 an der Lomonossow-Universität Student von Andrei Kolmogorow, der auch seine Dissertation an der Universität Stockholm 1970 betreute (Notes on constructive mathematics). Zuvor war er 1968/69 schon Assistant Professor an der University of Chicago bei William Alvin Howard, dessen Curry-Howard-Isomorphismus später eine der Grundlagen von Martin-Löfs Typentheorie war. Martin-Löf war Professor für Mathematik an der Universität Stockholm.
In seiner Zeit in Moskau verfeinerte er auch den Begriff der Zufallsfolge. 1970 führte er seine intuitionistische Typentheorie ein (auch Martin-Löf-Typentheorie oder konstruktive Typentheorie genannt), die er aber mehrfach umformte, da die ersten Ansätze, die das „System F“ von Jean-Yves Girard verallgemeinerten, inkonsistent waren, aufgrund eines von Girard entdeckten Paradoxons. Eine Reihe von computergestützten Beweissystemen wie NuPRL, LEGO, Coq, ALF, Agda, Twelf und Epigram beruht auf Löfs Typentheorie. Später wandte er sich zunehmend philosophischen Fragen der Logik zu.
Martin-Löf befasste sich auch mit Statistik, zum Beispiel mit der Suffizienz, der Exponentialfamilie, dem EM-Algorithmus, dem Problem fehlender Daten in der Statistik, Statistischen Modellen, Wahrscheinlichkeit auf Halbgruppen. Zu seinen Schülern gehört der Statistiker Rolf Sundberg.
Martin-Löf ist Mitglied der Königlich Schwedischen Akademie der Wissenschaften und der Academia Europaea. 2006 war er Gödel-Lecturer (The two layers of logic), 2012 hielt er die Tarski Lectures. 2020 erhielt er gemeinsam mit Dag Prawitz den Rolf-Schock-Preis für Philosophie.
Er ist der Bruder des Mathematikers Anders Martin-Löf (* 1940), Professor für Versicherungsmathematik in Stockholm.
Martin-Löf war ein passionierter Ornithologe und veröffentlichte 1961 eine Arbeit, aus den Funden beringter Vögel auf deren Sterblichkeitsrate zu schließen.

## Schriften

* On the Meanings of the Logical Constants and the Justifications of the Logical Laws. In: Nordic Journal of Philosophical Logic. Band 1, Nr. 1, 1996, ISSN 0806-6205, S. 11–60, (Digitalisat).
* Intuitionistic Type Theory (= Studies in Proof Theory. Lecture Notes. 1). Bibliopolis, Neapel 1984, ISBN 88-7088-105-9.
* Constructive mathematics and computer programming. In: Laurence Jonathan Cohen, Jerzy Łoś, Helmut Pfeiffer, Klaus-Peter Podewski (Hrsg.): Logic, Methodology and the Philosophy of Science VI. Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 (= Studies in Logic and the Foundations of Mathematics. 104). North Holland u. a., Amsterdam u. a. 1982, ISBN 0-444-85423-1, S. 153–175
* Exact tests, confidence regions and estimates. In: Ole E. Barndorff-Nielsen, Preben Blæsild, Geert Schou (Hrsg.): Proceedings of Conference on Foundational Questions in Statistical Inference. Aarhus, May 7–12, 1973 (= Department of Theoretical Statistics, Institute of Mathematics – University of Aarhus. Memoirs. 1, ISSN 0106-486X). University Aarhus, Aarhus, 1974, S. 121–138.
* Notes on constructive mathematics. Almqvist & Wiksell, Stockholm 1970.
* Algorithmen und zufällige Folgen. Vier Vorträge. Gehalten am Mathematischen Institut der Universität Erlangen-Nuernberg. Mathematische Institut – Universität Erlanger-Nürnberg, Erlangen 1966.
* The Continuity Theorem on a Locally Compact Group. In: Theory of Probability & Its Applications. Band 10, Nr. 2, 1965, S. 338–341, doi:10.1137/1110040.
* Probability theory on discrete semigroups. In: Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete. Band 4, Nr. 1, 1965, S. 78–102, doi:10.1007/BF00535486.