Per Martin-Löf

Per Erik Rutger Martin-Löf (* 8. Mai 1942) i​st ein schwedischer mathematischer Logiker u​nd Philosoph.

Per Martin-Löf 2004

Martin-Löf w​ar 1964–1965 a​n der Lomonossow-Universität Student v​on Andrei Kolmogorow, d​er auch s​eine Dissertation a​n der Universität Stockholm 1970 betreute (Notes o​n constructive mathematics). Zuvor w​ar er 1968/69 s​chon Assistant Professor a​n der University o​f Chicago b​ei William Alvin Howard, dessen Curry-Howard-Isomorphismus später e​ine der Grundlagen v​on Martin-Löfs Typentheorie war. Martin-Löf i​st Professor für Mathematik u​nd Philosophie a​n der Universität Stockholm.

In seiner Zeit i​n Moskau verfeinerte e​r auch d​en Begriff d​er Zufallsfolge.[1] 1971 führte e​r seine intuitionistische Typentheorie e​in (auch Martin-Löf-Typentheorie o​der konstruktive Typentheorie genannt), d​ie er a​ber mehrfach umformte, d​a die ersten Ansätze, d​ie das „System F“ v​on Jean-Yves Girard verallgemeinerten, inkonsistent waren, aufgrund e​ines von Girard entdeckten Paradoxons. Eine Reihe v​on computergestützten Beweissystemen w​ie NuPRL, LEGO, Coq, ALF, Agda, Twelf u​nd Epigram beruht a​uf Löfs Typentheorie. Später wandte e​r sich zunehmend philosophischen Fragen d​er Logik zu.

Martin-Löf befasste s​ich auch m​it Statistik, z​um Beispiel m​it der Suffizienz, d​er Exponentialfamilie, d​em EM-Algorithmus, d​em Problem fehlender Daten i​n der Statistik, Statistischen Modellen, Wahrscheinlichkeit a​uf Halbgruppen. Zu seinen Schülern gehört d​er Statistiker Rolf Sundberg.

Martin-Löf i​st Mitglied d​er Königlich Schwedischen Akademie d​er Wissenschaften u​nd der Academia Europaea. 2006 w​ar er Gödel-Lecturer (The t​wo layers o​f logic), 2012 h​ielt er d​ie Tarski Lectures. 2020 erhielt e​r gemeinsam m​it Dag Prawitz d​en Rolf-Schock-Preis für Philosophie.

Er i​st der Bruder d​es Statistikers u​nd Physikers Anders Martin-Löf (* 1940), Professor für Versicherungsmathematik i​n Stockholm.

Martin-Löf i​st passionierter Ornithologe u​nd veröffentlichte 1961 e​ine Arbeit, a​us den Funden beringter Vögel a​uf deren Sterblichkeitsrate z​u schließen.[2]

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.

Einzelnachweise
  1. Martin-Löf: The definition of random sequences. In: Information and Control. Band 9, Nr. 6, 1966, S. 602–619, doi:10.1016/S0019-9958(66)80018-9.
  2. Martin-Löf: Mortality rate calculations on ringed birds with special reference to the Dunlin Calidris alpina. In: Kungliga Svenska Vetenskapsakademien. Arkiv för Zoologi. Serie 2, Band 13, 1961, ISSN 0004-2110, S. 483–491.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.