This HTML5 document contains 341 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
n11http://citeseer.ist.psu.edu/
n27https://publikationen.uni-tuebingen.de/xmlui/handle/10900/
n23http://azb.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
n35http://www.cs.chalmers.se/Cs/Research/Logic/book/
dbrhttp://dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
n32http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n37http://viaf.org/viaf/
schemahttp://schema.org/
dbpedia-frhttp://fr.dbpedia.org/resource/
n9http://commons.wikimedia.org/wiki/Special:FilePath/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n29https://publikationen.uni-tuebingen.de/xmlui/bitstream/handle/10900/93935/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n31http://d-nb.info/gnd/
n36http://dbpedia.org/resource/File:
dbphttp://dbpedia.org/property/
n20https://www.newscientist.com/article/
xsdhhttp://www.w3.org/2001/XMLSchema#
n28http://citeseerx.ist.psu.edu/viewdoc/
dbohttp://dbpedia.org/ontology/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
n34http://data.bibliotheken.nl/id/thes/
dbpedia-dehttp://de.dbpedia.org/resource/
n24http://docenti.lett.unisi.it/files/4/1/1/6/
n22http://intuitionistic.files.wordpress.com/2010/07/
dbpedia-ruhttp://ru.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
n16https://global.dbpedia.org/id/
n17http://dx.doi.org/10.15496/
n33https://dblp.org/pid/19/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n30http://arz.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Per_Martin-Löf
rdf:type
yago:WikicatSwedishStatisticians yago:WikicatContemporaryPhilosophers wikidata:Q215627 yago:Scientist110560637 yago:WikicatLogicians yago:WikicatStockholmUniversityAcademics wikidata:Q729 yago:PhysicalEntity100001930 yago:WikicatTarskiLecturers yago:Professional110480253 wikidata:Q5 yago:WikicatMathematicalLogicians yago:Wikicat21st-centuryMathematicians yago:LivingThing100004258 dbo:Species yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:Lector110252222 yago:Mathematician110301261 yago:Intellectual109621545 dbo:Scientist yago:Scholar110557854 yago:Academician109759069 yago:Adult109605289 yago:Expert109617867 wikidata:Q19088 yago:Theorist110706812 yago:YagoLegalActor yago:WikicatSwedishLogicians yago:YagoLegalActorGeo yago:Statistician110653238 yago:WikicatSwedishPhilosophers dbo:Eukaryote yago:Zoologist110806222 yago:Person100007846 yago:Logician110269785 yago:WikicatSwedishMathematicians n32:NaturalPerson yago:Ornithologist110384214 yago:WikicatSwedishInformationTheorists yago:Biologist109855630 foaf:Person yago:WikicatLivingPeople dbo:Animal yago:Philosopher110423589 dbo:Person yago:Educator110045713 yago:Organism100004475 yago:WikicatSwedishPeople owl:Thing wikidata:Q901 yago:Wikicat21st-centuryPhilosophers yago:CausalAgent100007347 yago:Object100002684 schema:Person yago:WikicatSwedishOrnithologists yago:Wikicat20th-centuryPhilosophers
rdfs:label
佩尔·马丁-洛夫 Per Martin-Löf ペール・マルティン＝レーフ Per Martin-Löf Per Martin-Löf بير مارتن لوف Per Martin-Löf Мартин-Лёф, Пер Per Martin-Löf
rdfs:comment
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 ist Professor für Mathematik und Philosophie an der Universität Stockholm. Per Erik Rutger Martin-Löf (/lɒf/; Swedish: [ˈmǎʈːɪn ˈløːv]; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science. Пер Мартин-Лёф (швед. Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ. Член Шведской королевской академии наук. В 1964—1965 годы учился в МГУ у Андрея Колмогорова. В 1970 году защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета. Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942. Il est connu pour avoir développé la théorie des types intuitionnistes comme base constructive des mathématiques. Il est également à l'origine d'une des définitions toujours en vigueur d'une suite aléatoire. ペール・エリック・ルトガー・マルティン=レーフ（Per Erik Rutger Martin-Löf（[lɒf]; スウェーデン語: [ ˈmǎʈːɪn ˈløːv ]; ）, 1942年5月8日 - ）は、スウェーデンの論理学者・哲学者・数理統計学者。確率、統計学、数理論理学、および計算機科学の基礎に関する研究で世界的に知られる。1970年代後半以降は、マルティン=レーフの出版物は論理学に属するものが主なものとなった。 Per Erik Rutger Martin-Löf, född 8 maj 1942 i Stockholm, är professor emeritus i matematisk logik vid Stockholms universitet. Han har ett stort internationellt anseende inom konstruktivismens område, främst genom sin konstruktiva typteori. Martin-Löf är sedan 1990 ledamot av Kungliga Vetenskapsakademien. 佩尔·埃里克·罗格·马丁-洛夫（瑞典語：Per Erik Rutger Martin-Löf，1942年5月8日－），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前，他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。 他的长兄安德斯·马丁-洛夫（瑞典語：Anders Martin-Löf）是斯德哥尔摩大学的数理统计学荣誉教授；两人曾在概率论和数理统计的研究上展开合作，其研究成果包括指数族非线性模型、最大期望算法和模型选择等，广泛地影响了统计学理论的发展。 佩尔·马丁-洛夫还是一个业余的鸟类观测家，他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究。 بير إريك روتغر مارتن لوف (من موالين 8 مايو 1942)، هو منطقي سويدي وفيلسوف وإحصائي رياضي، وهو مشهور دوليًا بعمله في أسس الاحتمالات والإحصاء والمنطق الرياضي وعلوم الحاسوب. منذ أواخر السبعينيات، كانت منشورات مارتن لوف مركزة حول المنطق. في المنطق الفلسفي، تعامل مارتن لوف مع فلسفة الاستتباع المنطقي والحكم مستلهمًا بأعمال برنتانو وفريجه وهوسرل. في المنطق الرياضي، كان مارتن لوف نشطًا في تطوير نظرية النمط الحدسي كأساس بناء للرياضيات. أثر عمل مارتن لوف على نظرية النمط في علوم الحاسوب. حتى تقاعده في عام 2009، شغل بير مارتن لوف كرسيًا مشتركًا للرياضيات والفلسفة في جامعة ستوكهولم. Per Erik Rutger Martin-Löf (8 de maio de 1942) é um lógico, filósofo e sueco. É internacionalmente reconhecido por seu trabalho sobre os fundamentos da probabilidade, estatística, lógica matemática e ciência da computação. Desde a década de 1970 as publicações de Martin-Löf são principalmente sobre lógica. Na lógica filosófica, Martin-Löf tem lidado com a filosofia da consequência lógica e julgamento, parcialmente inspirado no trabalho de Franz Brentano, Gottlob Frege e Edmund Husserl. Na lógica matemática, Martin-Löf atua ativamente no desenvolvimento da como fundamento construtivo da matemática. O trabalho de Martin-Löf sobre teoria do tipo influencia a ciência da computação.
rdfs:seeAlso
dbr:Exponential_family dbr:Model_selection dbr:Bird_watching dbr:Missing_data dbr:Kolmogorov_complexity dbr:Intuitionistic_type_theory dbr:Probability_distribution dbr:Logical_consequence
foaf:name
Per Martin-Löf
dbp:name
Per Martin-Löf
foaf:depiction
n9:Calidris-alpina-001_edit.jpg n9:Franz_Brentano.jpeg n9:Per_MartinLoef.jpg n9:Em_old_faithful.gif
dbo:birthPlace
dbr:Stockholm
dbp:birthPlace
Stockholm, Sweden
dbo:birthDate
1942-05-08
dcterms:subject
dbc:1942_births dbc:Members_of_Academia_Europaea dbc:21st-century_Swedish_mathematicians dbc:Stockholm_University_faculty dbc:Mathematical_logicians dbc:20th-century_Swedish_philosophers dbc:21st-century_Swedish_philosophers dbc:Gödel_Lecturers dbc:Living_people dbc:Swedish_ornithologists dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences dbc:Swedish_statisticians dbc:Birdwatchers dbc:Tarski_lecturers dbc:Swedish_logicians dbc:20th-century_Swedish_mathematicians dbc:Swedish_information_theorists
dbo:wikiPageID
1925764
dbo:wikiPageRevisionID
1113984420
dbo:wikiPageWikiLink
dbr:Probability dbr:Statistics dbr:Model_of_computation dbr:Statistical_theory dbc:Members_of_Academia_Europaea dbr:Biological_sex dbr:Philosopher dbr:Logic dbr:Coq dbr:Jean-Yves_Girard dbr:Richard_von_Mises dbr:Computer_Science dbc:21st-century_Swedish_mathematicians dbr:Algorithmic_information_theory dbr:Dunlin dbr:Bertrand_Russell dbr:Betting dbc:Stockholm_University_faculty dbr:Epigram_(programming_language) dbr:Rasch_model dbr:Algorithmically_random_sequence dbc:Mathematical_logicians dbc:20th-century_Swedish_philosophers dbr:Gambling dbr:Alfred_Tarski dbr:A._W._F._Edwards dbr:Alan_Turing dbr:Expectation_maximization dbr:EM_algorithm dbr:Limit_(mathematics) dbr:Sufficient_statistic dbr:Expectation_maximization_method dbr:Arthur_P._Dempster dbr:Rolf_Schock_Prizes dbr:Intuitionistic_type_theory dbr:Franz_Brentano dbr:Frank_P._Ramsey dbr:Sweden dbc:Gödel_Lecturers dbc:21st-century_Swedish_philosophers dbr:Expectation-maximization dbr:Bird_ringing dbr:Expectation-maximization_method dbr:Population_biology dbr:Impredicative dbr:Kolmogorov_complexity dbr:Jaakko_Hintikka dbr:Calculus_of_constructions dbr:Proof-theoretic_semantics dbr:Environmental_statistics dbr:Twelf dbr:Aarhus_University dbr:Martin-Löf_type_theory dbr:LF_(logical_framework) dbr:Dependent_type dbr:Consistency_proof dbc:Living_people dbr:Mathematical_statistics dbr:System_F dbr:University_of_Chicago dbr:Stockholm_University dbr:Randomness_test dbr:Nordic_Journal_of_Philosophical_Logic dbr:D._Basu dbr:D._R._Cox dbr:Anders_Martin-Löf dbc:Swedish_ornithologists dbr:Ornithology dbr:Church–Turing_thesis dbr:Capture-recapture dbr:Royal_Swedish_Academy_of_Sciences dbr:Dana_Scott dbr:William_Alvin_Howard dbr:Rudolf_Carnap dbr:Computer_science dbr:Logical_consequence dbr:Mathematical_logic dbr:Royal_Statistical_Society dbr:Exponential_families dbr:Logician dbr:Donald_Rubin dbr:Curry–Howard_correspondence dbr:Missing_data dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences dbr:Academia_Europaea dbr:Dag_Prawitz dbr:Agda_theorem_prover dbr:Bird_watching dbr:Charles_Sanders_Peirce dbr:Ulf_Grenander dbc:Swedish_statisticians dbr:Andrey_Kolmogorov dbc:Birdwatchers dbr:Stockholm dbr:Gregory_Chaitin dbr:Category_theory dbr:Gödel_Lecture dbr:Chaitin–Kolmogorov_randomness dbr:Nan_Laird dbr:Model_selection dbr:NuPRL dbr:Frequency_probability dbr:Mortality_rate dbr:Bird-watcher dbr:Statistical_model n36:Em_old_faithful.gif n36:Franz_Brentano.jpeg dbr:Exact_test n36:Calidris-alpina-001_edit.jpg dbc:Tarski_lecturers dbr:John_von_Neumann dbr:Peter_Pagin dbc:Swedish_information_theorists dbr:Andrei_N._Kolmogorov dbr:Random_sequence dbc:Swedish_logicians dbc:20th-century_Swedish_mathematicians dbr:Edmund_Husserl dbr:Girard's_paradox dbr:Philosophical_logic dbr:Michael_Dummett dbr:George_A._Barnard dbr:Gottlob_Frege dbr:Exponential_family dbr:Idris_(programming_language) dbr:Philosophy dbr:Probability_theory dbr:Data_compression dbc:1942_births dbr:Central_Europe dbr:Theory_of_computation
dbo:wikiPageExternalLink
n11:li97introduction.html n17:publikation-35319 n20:mg16422156.600-gone-birdwatching.html n22:martin-lof-computer.pdf n24:martinlof4.pdf n22:martin-lof-tt.pdf n27:93935 n28:download%3Fdoi=10.1.1.131.926&rep=rep1&type=pdf n29:Proof-Theoretic-Semantics-2019.pdf%3Fsequence=1&isAllowed=y n35:
owl:sameAs
dbpedia-ja:ペール・マルティン＝レーフ n16:xp33 dbpedia-zh:佩尔·马丁-洛夫 n23:پر_مارتین-لوف dbpedia-sv:Per_Martin-Löf dbpedia-pt:Per_Martin-Löf n30:پير_مارتين_لوف n31:122298624 wikidata:Q2067227 n33:1882 n34:p071150110 n37:92134760 dbpedia-de:Per_Martin-Löf dbpedia-ar:بير_مارتن_لوف freebase:m.066mrg dbpedia-ru:Мартин-Лёф,_Пер dbpedia-fr:Per_Martin-Löf
dbp:workInstitution
dbr:University_of_Chicago dbr:Aarhus_University dbr:Stockholm_University
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Small dbt:MathGenealogy dbt:Authority_control dbt:Cite_book dbt:Main dbt:Short_description dbt:When dbt:Birth_date_and_age dbt:IPA-sv dbt:Isbn dbt:Div_col dbt:Div_col_end dbt:IPAc-en dbt:See_also dbt:Reflist dbt:Infobox_scientist
dbo:thumbnail
n9:Per_MartinLoef.jpg?width=300
dbp:almaMater
dbr:Stockholm_University
dbp:birthDate
1942-05-08
dbp:caption
Per Martin-Löf in 2004
dbp:citizenship
Sweden
dbp:field
dbr:Computer_Science dbr:Mathematical_statistics dbr:Philosophy dbr:Logic
dbp:knownFor
Repetitive structure Martin-Löf type theory Expectation maximization method Exact tests dbr:Algorithmically_random_sequence Sufficient statistics Random sequences
dbp:nationality
Swedish
dbo:abstract
ペール・エリック・ルトガー・マルティン=レーフ（Per Erik Rutger Martin-Löf（[lɒf]; スウェーデン語: [ ˈmǎʈːɪn ˈløːv ]; ）, 1942年5月8日 - ）は、スウェーデンの論理学者・哲学者・数理統計学者。確率、統計学、数理論理学、および計算機科学の基礎に関する研究で世界的に知られる。1970年代後半以降は、マルティン=レーフの出版物は論理学に属するものが主なものとなった。 بير إريك روتغر مارتن لوف (من موالين 8 مايو 1942)، هو منطقي سويدي وفيلسوف وإحصائي رياضي، وهو مشهور دوليًا بعمله في أسس الاحتمالات والإحصاء والمنطق الرياضي وعلوم الحاسوب. منذ أواخر السبعينيات، كانت منشورات مارتن لوف مركزة حول المنطق. في المنطق الفلسفي، تعامل مارتن لوف مع فلسفة الاستتباع المنطقي والحكم مستلهمًا بأعمال برنتانو وفريجه وهوسرل. في المنطق الرياضي، كان مارتن لوف نشطًا في تطوير نظرية النمط الحدسي كأساس بناء للرياضيات. أثر عمل مارتن لوف على نظرية النمط في علوم الحاسوب. حتى تقاعده في عام 2009، شغل بير مارتن لوف كرسيًا مشتركًا للرياضيات والفلسفة في جامعة ستوكهولم. شقيقه أندرس مارتن لوف هو الآن أستاذ فخري للإحصاء الرياضي في جامعة ستوكهولم. تعاون الأخوان في البحث في الاحتمالات والإحصاء. أثر بحث أندريه وبير مارتن لوف على النظرية الإحصائية، خاصةً فيما يتعلق بالعوائل الأسية وطريقة تحقيق أقصى قدر لتوقع البيانات المفقودة واختيار النموذج. يراقب بير مارتن لوف الطيور بحماسة، وأول منشور علمي له كان حول معدلات وفيات الطيور المُطوَّقة. 佩尔·埃里克·罗格·马丁-洛夫（瑞典語：Per Erik Rutger Martin-Löf，1942年5月8日－），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前，他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。 他的长兄安德斯·马丁-洛夫（瑞典語：Anders Martin-Löf）是斯德哥尔摩大学的数理统计学荣誉教授；两人曾在概率论和数理统计的研究上展开合作，其研究成果包括指数族非线性模型、最大期望算法和模型选择等，广泛地影响了统计学理论的发展。 佩尔·马丁-洛夫还是一个业余的鸟类观测家，他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究。 Per Erik Rutger Martin-Löf (8 de maio de 1942) é um lógico, filósofo e sueco. É internacionalmente reconhecido por seu trabalho sobre os fundamentos da probabilidade, estatística, lógica matemática e ciência da computação. Desde a década de 1970 as publicações de Martin-Löf são principalmente sobre lógica. Na lógica filosófica, Martin-Löf tem lidado com a filosofia da consequência lógica e julgamento, parcialmente inspirado no trabalho de Franz Brentano, Gottlob Frege e Edmund Husserl. Na lógica matemática, Martin-Löf atua ativamente no desenvolvimento da como fundamento construtivo da matemática. O trabalho de Martin-Löf sobre teoria do tipo influencia a ciência da computação. Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942. Il est connu pour avoir développé la théorie des types intuitionnistes comme base constructive des mathématiques. Il est également à l'origine d'une des définitions toujours en vigueur d'une suite aléatoire. Per Erik Rutger Martin-Löf (/lɒf/; Swedish: [ˈmǎʈːɪn ˈløːv]; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science. Until his retirement in 2009, Per Martin-Löf held a joint chair for Mathematics and Philosophy at Stockholm University. His brother Anders Martin-Löf is now emeritus professor of mathematical statistics at Stockholm University; the two brothers have collaborated in research in probability and statistics. The research of Anders and Per Martin-Löf has influenced statistical theory, especially concerning exponential families, the expectation-maximization method for missing data, and model selection. Per Martin-Löf received his PhD in 1970 from Stockholm University, under Andrey Kolmogorov. Martin-Löf is an enthusiastic bird-watcher; his first scientific publication was on the mortality rates of ringed birds. Пер Мартин-Лёф (швед. Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ. Член Шведской королевской академии наук. В 1964—1965 годы учился в МГУ у Андрея Колмогорова. В 1970 году защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета. Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей, основаниям математики и логики, алгоритмической теории информации и теории конструкций. Создатель интуиционистской теории типов, ставшей основой для ряда систем для оснований математики (в том числе, унивалентных оснований) и базой для большинства современных систем автоматического доказательства. 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 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 . 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 (* 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. Per Erik Rutger Martin-Löf, född 8 maj 1942 i Stockholm, är professor emeritus i matematisk logik vid Stockholms universitet. Han har ett stort internationellt anseende inom konstruktivismens område, främst genom sin konstruktiva typteori. Martin-Löf är sedan 1990 ledamot av Kungliga Vetenskapsakademien.
dbp:doctoralAdvisor
dbr:Andrei_N._Kolmogorov
dbp:prizes
Gödel Lecture Royal Swedish Academy of Sciences Rolf Schock Prize
dbo:doctoralAdvisor
dbr:Andrei_N._Kolmogorov
gold:hypernym
dbr:Logician
prov:wasDerivedFrom
wikipedia-en:Per_Martin-Löf?oldid=1113984420&ns=0
dbo:wikiPageLength
27095
dbo:academicDiscipline
dbr:Mathematical_statistics dbr:Philosophy dbr:Logic dbr:Computer_Science
dbo:almaMater
dbr:Stockholm_University
dbo:award
dbr:Rolf_Schock_Prizes dbr:Royal_Swedish_Academy_of_Sciences dbr:Gödel_Lecture
dbo:knownFor
dbr:Sufficient_statistic dbr:Exact_test dbr:Algorithmically_random_sequence dbr:Expectation_maximization_method dbr:Exponential_family dbr:Random_sequence dbr:Martin-Löf_type_theory
dbo:nationality
dbr:Sweden
foaf:isPrimaryTopicOf
wikipedia-en:Per_Martin-Löf