Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Per_Martin-Löf> ?p ?o. }
Showing items 1 to 79 of
79
with 100 items per page.
- Per_Martin-Löf abstract "Per Erik Rutger Martin-Löf (born 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 is an enthusiastic bird-watcher, whose first scientific publication was on the mortality rates of ringed birds.".
- Per_Martin-Löf birthDate "1942-05-08".
- Per_Martin-Löf thumbnail Per_MartinLoef.jpg?width=300.
- Per_Martin-Löf wikiPageID "1925764".
- Per_Martin-Löf wikiPageRevisionID "600409716".
- Per_Martin-Löf almaMater Stockholm_University.
- Per_Martin-Löf birthDate "1942-05-08".
- Per_Martin-Löf caption "Per Martin-Löf in 2004".
- Per_Martin-Löf citizenship "Sweden".
- Per_Martin-Löf dateOfBirth "1942-05-08".
- Per_Martin-Löf doctoralAdvisor Andrey_Kolmogorov.
- Per_Martin-Löf field Computer_science.
- Per_Martin-Löf field Logic.
- Per_Martin-Löf field Mathematical_statistics.
- Per_Martin-Löf field Philosophy.
- Per_Martin-Löf imageSize "200".
- Per_Martin-Löf knownFor "Exact tests".
- Per_Martin-Löf knownFor "Expectation maximization method".
- Per_Martin-Löf knownFor "Random sequences".
- Per_Martin-Löf knownFor "Repetitive structure".
- Per_Martin-Löf knownFor "Sufficient statistics".
- Per_Martin-Löf knownFor "Type theory".
- Per_Martin-Löf name "Martin-Lof, Per".
- Per_Martin-Löf name "Per Martin-Löf".
- Per_Martin-Löf nationality "Swedish".
- Per_Martin-Löf prizes Royal_Swedish_Academy_of_Sciences.
- Per_Martin-Löf shortDescription "Swedish logician, philosopher, and mathematical statistician".
- Per_Martin-Löf workInstitution Aarhus_University.
- Per_Martin-Löf workInstitution Stockholm_University.
- Per_Martin-Löf workInstitution University_of_Chicago.
- Per_Martin-Löf description "Swedish logician, philosopher, and mathematical statistician".
- Per_Martin-Löf subject Category:1942_births.
- Per_Martin-Löf subject Category:20th-century_mathematicians.
- Per_Martin-Löf subject Category:20th-century_philosophers.
- Per_Martin-Löf subject Category:21st-century_mathematicians.
- Per_Martin-Löf subject Category:21st-century_philosophers.
- Per_Martin-Löf subject Category:Contemporary_philosophers.
- Per_Martin-Löf subject Category:Living_people.
- Per_Martin-Löf subject Category:Mathematical_logicians.
- Per_Martin-Löf subject Category:Members_of_Academia_Europaea.
- Per_Martin-Löf subject Category:Members_of_the_Royal_Swedish_Academy_of_Sciences.
- Per_Martin-Löf subject Category:Stockholm_University_academics.
- Per_Martin-Löf subject Category:Swedish_birdwatchers.
- Per_Martin-Löf subject Category:Swedish_information_theorists.
- Per_Martin-Löf subject Category:Swedish_logicians.
- Per_Martin-Löf subject Category:Swedish_mathematicians.
- Per_Martin-Löf subject Category:Swedish_ornithologists.
- Per_Martin-Löf subject Category:Swedish_philosophers.
- Per_Martin-Löf subject Category:Swedish_statisticians.
- Per_Martin-Löf subject Category:Tarski_lecturers.
- Per_Martin-Löf type Agent.
- Per_Martin-Löf type Person.
- Per_Martin-Löf type Scientist.
- Per_Martin-Löf type Person.
- Per_Martin-Löf type Q215627.
- Per_Martin-Löf type Q5.
- Per_Martin-Löf type Agent.
- Per_Martin-Löf type NaturalPerson.
- Per_Martin-Löf type Thing.
- Per_Martin-Löf type Person.
- Per_Martin-Löf comment "Per Erik Rutger Martin-Löf (born 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.".
- Per_Martin-Löf label "Per Martin-Löf".
- Per_Martin-Löf label "Per Martin-Löf".
- Per_Martin-Löf label "Per Martin-Löf".
- Per_Martin-Löf label "Per Martin-Löf".
- Per_Martin-Löf label "Мартин-Лёф, Пер".
- Per_Martin-Löf label "ペール・マルティン=レーフ".
- Per_Martin-Löf sameAs Per_Martin-L%C3%B6f.
- Per_Martin-Löf sameAs Per_Martin-Löf.
- Per_Martin-Löf sameAs Per_Martin-Löf.
- Per_Martin-Löf sameAs ペール・マルティン=レーフ.
- Per_Martin-Löf sameAs Per_Martin-Löf.
- Per_Martin-Löf sameAs Q2067227.
- Per_Martin-Löf sameAs Q2067227.
- Per_Martin-Löf wasDerivedFrom Per_Martin-Löf?oldid=600409716.
- Per_Martin-Löf depiction Per_MartinLoef.jpg.
- Per_Martin-Löf givenName "Per".
- Per_Martin-Löf name "Per Martin-Lof".
- Per_Martin-Löf surname "Martin-Lof".