www.wikidata.de-de.nina.az

Per Martin Löf Per Erik Rutger Martin Löf 8 Mai 1942 ist ein schwedischer mathematischer Logiker und Philosoph 2004Marti

Per Martin-Löf

Per Erik Rutger Martin-Löf (* 8. Mai 1942) ist ein schwedischer mathematischer Logiker und Philosoph.

Per Martin-Löf 2004

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 ist Professor für Mathematik und Philosophie an der Universität Stockholm.

In seiner Zeit in Moskau verfeinerte er auch den Begriff der Zufallsfolge. 1971 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 Statistikers und Physikers Anders Martin-Löf (* 1940), Professor für Versicherungsmathematik in Stockholm.

Martin-Löf ist passionierter Ornithologe und veröffentlichte 1961 eine Arbeit, aus den Funden beringter Vögel auf deren Sterblichkeitsrate zu schließen.

Schriften Bearbeiten

  • 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.

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  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.
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
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Per Erik Rutger Martin Lof 8 Mai 1942 ist ein schwedischer mathematischer Logiker und Philosoph Per Martin Lof 2004Martin Lof war 1964 1965 an der Lomonossow Universitat Student von Andrei Kolmogorow der auch seine Dissertation an der Universitat 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 spater eine der Grundlagen von Martin Lofs Typentheorie war Martin Lof ist Professor fur Mathematik und Philosophie an der Universitat Stockholm In seiner Zeit in Moskau verfeinerte er auch den Begriff der Zufallsfolge 1 1971 fuhrte er seine intuitionistische Typentheorie ein auch Martin Lof Typentheorie oder konstruktive Typentheorie genannt die er aber mehrfach umformte da die ersten Ansatze die das System F von Jean Yves Girard verallgemeinerten inkonsistent waren aufgrund eines von Girard entdeckten Paradoxons Eine Reihe von computergestutzten Beweissystemen wie NuPRL LEGO Coq ALF Agda Twelf und Epigram beruht auf Lofs Typentheorie Spater wandte er sich zunehmend philosophischen Fragen der Logik zu Martin Lof 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 Schulern gehort der Statistiker Rolf Sundberg Martin Lof ist Mitglied der Koniglich Schwedischen Akademie der Wissenschaften und der Academia Europaea 2006 war er Godel Lecturer The two layers of logic 2012 hielt er die Tarski Lectures 2020 erhielt er gemeinsam mit Dag Prawitz den Rolf Schock Preis fur Philosophie Er ist der Bruder des Statistikers und Physikers Anders Martin Lof 1940 Professor fur Versicherungsmathematik in Stockholm Martin Lof ist passionierter Ornithologe und veroffentlichte 1961 eine Arbeit aus den Funden beringter Vogel auf deren Sterblichkeitsrate zu schliessen 2 Schriften BearbeitenOn 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 Los 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 Blaesild 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 amp Wiksell Stockholm 1970 Algorithmen und zufallige Folgen Vier Vortrage Gehalten am Mathematischen Institut der Universitat Erlangen Nuernberg Mathematische Institut Universitat Erlanger Nurnberg Erlangen 1966 The Continuity Theorem on a Locally Compact Group In Theory of Probability amp Its Applications Band 10 Nr 2 1965 S 338 341 doi 10 1137 1110040 Probability theory on discrete semigroups In Zeitschrift fur Wahrscheinlichkeitstheorie und verwandte Gebiete Band 4 Nr 1 1965 S 78 102 doi 10 1007 BF00535486 Weblinks BearbeitenLiteratur von und uber Per Martin Lof im Katalog der Deutschen Nationalbibliothek Per Martin Lof im Mathematics Genealogy Project englisch Vorlage MathGenealogyProject Wartung id verwendetEinzelnachweise Bearbeiten Martin Lof 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 Martin Lof Mortality rate calculations on ringed birds with special reference to the Dunlin Calidris alpina In Kungliga Svenska Vetenskapsakademien Arkiv for Zoologi Serie 2 Band 13 1961 ISSN 0004 2110 S 483 491 Normdaten Person GND 122298624 lobid OGND AKS LCCN n86081083 VIAF 92134760 Wikipedia Personensuche PersonendatenNAME Martin Lof PerALTERNATIVNAMEN Martin Lof Per Erik Rutger vollstandiger Name KURZBESCHREIBUNG schwedischer mathematischer Logiker und PhilosophGEBURTSDATUM 8 Mai 1942 Abgerufen von https de wikipedia org w index php title Per Martin Lof amp oldid 211719904