Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Per_Martin-Löf> ?p ?o }
- 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 almaMater Stockholm_University.
- Per_Martin-Löf award Royal_Swedish_Academy_of_Sciences.
- Per_Martin-Löf birthDate "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 knownFor Exact_test.
- Per_Martin-Löf knownFor Expectation–maximization_algorithm.
- Per_Martin-Löf knownFor Exponential_family.
- Per_Martin-Löf knownFor Random_sequence.
- Per_Martin-Löf knownFor Sufficient_statistic.
- Per_Martin-Löf knownFor Type_theory.
- Per_Martin-Löf nationality Sweden.
- Per_Martin-Löf thumbnail Per_MartinLoef.jpg?width=300.
- Per_Martin-Löf wikiPageExternalLink martinlof4.pdf.
- Per_Martin-Löf wikiPageExternalLink li97introduction.html.
- Per_Martin-Löf wikiPageExternalLink download?doi=10.1.1.131.926&rep=rep1&type=pdf.
- Per_Martin-Löf wikiPageExternalLink martin-lof-computer.pdf.
- Per_Martin-Löf wikiPageExternalLink martin-lof-tt.pdf.
- Per_Martin-Löf wikiPageExternalLink book.
- Per_Martin-Löf wikiPageExternalLink mg16422156.600-gone-birdwatching.html.
- Per_Martin-Löf wikiPageID "1925764".
- Per_Martin-Löf wikiPageLength "25090".
- Per_Martin-Löf wikiPageOutDegree "171".
- Per_Martin-Löf wikiPageRevisionID "705050708".
- Per_Martin-Löf wikiPageWikiLink A._W._F._Edwards.
- Per_Martin-Löf wikiPageWikiLink Aarhus_University.
- Per_Martin-Löf wikiPageWikiLink Academia_Europaea.
- Per_Martin-Löf wikiPageWikiLink Agda_(programming_language).
- Per_Martin-Löf wikiPageWikiLink Alan_Turing.
- Per_Martin-Löf wikiPageWikiLink Alfred_Tarski.
- Per_Martin-Löf wikiPageWikiLink Algorithmic_information_theory.
- Per_Martin-Löf wikiPageWikiLink Algorithmically_random_sequence.
- Per_Martin-Löf wikiPageWikiLink Anders_Martin-Löf.
- Per_Martin-Löf wikiPageWikiLink Andrey_Kolmogorov.
- Per_Martin-Löf wikiPageWikiLink Arthur_P._Dempster.
- Per_Martin-Löf wikiPageWikiLink Bertrand_Russell.
- Per_Martin-Löf wikiPageWikiLink Bird_ringing.
- Per_Martin-Löf wikiPageWikiLink Birdwatching.
- Per_Martin-Löf wikiPageWikiLink Calculus_of_constructions.
- Per_Martin-Löf wikiPageWikiLink Category:1942_births.
- Per_Martin-Löf wikiPageWikiLink Category:20th-century_mathematicians.
- Per_Martin-Löf wikiPageWikiLink Category:20th-century_philosophers.
- Per_Martin-Löf wikiPageWikiLink Category:21st-century_mathematicians.
- Per_Martin-Löf wikiPageWikiLink Category:21st-century_philosophers.
- Per_Martin-Löf wikiPageWikiLink Category:Contemporary_philosophers.
- Per_Martin-Löf wikiPageWikiLink Category:Living_people.
- Per_Martin-Löf wikiPageWikiLink Category:Mathematical_logicians.
- Per_Martin-Löf wikiPageWikiLink Category:Members_of_Academia_Europaea.
- Per_Martin-Löf wikiPageWikiLink Category:Members_of_the_Royal_Swedish_Academy_of_Sciences.
- Per_Martin-Löf wikiPageWikiLink Category:Stockholm_University_academics.
- Per_Martin-Löf wikiPageWikiLink Category:Swedish_birdwatchers.
- Per_Martin-Löf wikiPageWikiLink Category:Swedish_information_theorists.
- Per_Martin-Löf wikiPageWikiLink Category:Swedish_logicians.
- Per_Martin-Löf wikiPageWikiLink Category:Swedish_mathematicians.
- Per_Martin-Löf wikiPageWikiLink Category:Swedish_ornithologists.
- Per_Martin-Löf wikiPageWikiLink Category:Swedish_philosophers.
- Per_Martin-Löf wikiPageWikiLink Category:Swedish_statisticians.
- Per_Martin-Löf wikiPageWikiLink Category:Tarski_lecturers.
- Per_Martin-Löf wikiPageWikiLink Category_theory.
- Per_Martin-Löf wikiPageWikiLink Central_Europe.
- Per_Martin-Löf wikiPageWikiLink Charles_Sanders_Peirce.
- Per_Martin-Löf wikiPageWikiLink Church–Turing_thesis.
- Per_Martin-Löf wikiPageWikiLink Computer_science.
- Per_Martin-Löf wikiPageWikiLink Consistency.
- Per_Martin-Löf wikiPageWikiLink Coq.
- Per_Martin-Löf wikiPageWikiLink Curry–Howard_correspondence.
- Per_Martin-Löf wikiPageWikiLink Dag_Prawitz.
- Per_Martin-Löf wikiPageWikiLink Dana_Scott.
- Per_Martin-Löf wikiPageWikiLink Data_compression.
- Per_Martin-Löf wikiPageWikiLink David_Cox_(statistician).
- Per_Martin-Löf wikiPageWikiLink Debabrata_Basu.
- Per_Martin-Löf wikiPageWikiLink Dependent_type.
- Per_Martin-Löf wikiPageWikiLink Donald_Rubin.
- Per_Martin-Löf wikiPageWikiLink Dunlin.
- Per_Martin-Löf wikiPageWikiLink Edmund_Husserl.
- Per_Martin-Löf wikiPageWikiLink Environmental_statistics.
- Per_Martin-Löf wikiPageWikiLink Epigram_(programming_language).
- Per_Martin-Löf wikiPageWikiLink Exact_test.
- Per_Martin-Löf wikiPageWikiLink Expectation–maximization_algorithm.
- Per_Martin-Löf wikiPageWikiLink Exponential_family.
- Per_Martin-Löf wikiPageWikiLink File:Calidris-alpina-001_edit.jpg.
- Per_Martin-Löf wikiPageWikiLink Frank_P._Ramsey.
- Per_Martin-Löf wikiPageWikiLink Franz_Brentano.
- Per_Martin-Löf wikiPageWikiLink Frequentist_probability.
- Per_Martin-Löf wikiPageWikiLink Gambling.
- Per_Martin-Löf wikiPageWikiLink George_Alfred_Barnard.
- Per_Martin-Löf wikiPageWikiLink Gottlob_Frege.
- Per_Martin-Löf wikiPageWikiLink Gregory_Chaitin.
- Per_Martin-Löf wikiPageWikiLink Impredicativity.
- Per_Martin-Löf wikiPageWikiLink Intuitionistic_type_theory.
- Per_Martin-Löf wikiPageWikiLink Jaakko_Hintikka.
- Per_Martin-Löf wikiPageWikiLink Jean-Yves_Girard.
- Per_Martin-Löf wikiPageWikiLink John_von_Neumann.
- Per_Martin-Löf wikiPageWikiLink Kolmogorov_complexity.
- Per_Martin-Löf wikiPageWikiLink Limit_(mathematics).
- Per_Martin-Löf wikiPageWikiLink Logic.