imported>Aka: /* Weblinks */ Commons hinzugefügt

2025-08-17T21:21:55Z

Weblinks: Commons hinzugefügt

Neue Seite

[[Datei:Per MartinLoef.jpg |mini|Per Martin-Löf 2004]]
'''Per Erik Rutger Martin-Löf''' (* [[8. Mai]] [[1942]]) ist ein [[Schweden|schwedischer]] [[Mathematische Logik|mathematischer Logiker]] und [[Philosoph]].

Martin-Löf war 1964–1965 an der [[Lomonossow-Universität]] Student von [[Andrei Nikolajewitsch Kolmogorow|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.<ref>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}}.</ref> 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 [[Suffiziente Statistik|Suffizienz]], der [[Exponentialfamilie]], dem [[EM-Algorithmus]], dem Problem fehlender Daten in der Statistik, Statistischen Modellen, Wahrscheinlichkeit auf [[Halbgruppe]]n. Zu seinen Schülern gehört der Statistiker [[Rolf Sundberg]].

Martin-Löf ist Mitglied der [[Königlich Schwedische Akademie der Wissenschaften|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.<ref>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.</ref>

== 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, ([https://ncatlab.org/nlab/files/MartinLofOnTheMeaning96.pdf 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 Barndorff-Nielsen|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 Erlangen-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}}.

== Weblinks ==
{{Commonscat}}
* {{DNB-Portal|122298624}}
* {{MathGenealogyProject|id=20640}}

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=122298624|LCCN=n/86/81083|VIAF=92134760}}

{{SORTIERUNG:Martinlof, Per}}
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (Universität Stockholm)]]
[[Kategorie:Mitglied der Königlich Schwedischen Akademie der Wissenschaften]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Gödel Lecturer]]
[[Kategorie:Tarski Lecturer]]
[[Kategorie:Schwede]]
[[Kategorie:Geboren 1942]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Martin-Löf, Per
|ALTERNATIVNAMEN=Martin-Löf, Per Erik Rutger (vollständiger Name)
|KURZBESCHREIBUNG=schwedischer mathematischer Logiker und Philosoph
|GEBURTSDATUM=8. Mai 1942
|GEBURTSORT=
|STERBEDATUM=
|STERBEORT=
}}

Per Martin-Löf - Versionsgeschichte

imported>Aka: /* Weblinks */ Commons hinzugefügt