Zum Inhalt springen

Per Martin-Löf

aus Wikipedia, der freien Enzyklopädie
Datei:Per MartinLoef.jpg
Per Martin-Löf 2004

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.<ref>Martin-Löf: The definition of random sequences. In: Information and Control. Band 9, Nr. 6, 1966, S. 602–619, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}.</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 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.<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, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0004-2110|0}}{{#ifeq:1|0|[!] }}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0004-2110}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, 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, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0806-6205|0}}{{#ifeq:1|0|[!]

}}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0806-6205}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, 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, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0106-486X|0}}{{#ifeq:1|0|[!]

}}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0106-486X}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}). 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, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}.
  • Probability theory on discrete semigroups. In: Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete. Band 4, Nr. 1, 1965, S. 78–102, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}.

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Per Martin-Löf}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if: 

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: 

   | {{#ifeq: {{#invoke:Str|left||9}} 
       | category:
| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung 

| {{#if: 
    | Vorlage:DNB-Portal – veraltete Parametrisierung 3=
  }}

}}

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 122298624n/86/8108392134760 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 122298624n/86/8108392134760 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 122298624 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 122298624 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/86/81083 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/86/81083 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 92134760 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 92134760 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Martin-Löf, Per | {{#if: Martin-Löf, Per Erik Rutger (vollständiger Name) | {{#if: schwedischer mathematischer Logiker und Philosoph | {{#if: 8. Mai 1942 | {{#if: | {{#if: | {{#if: |
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

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Per_Martin-Löf&oldid=1806240“