Matches in DBpedia 2015-10 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 birthYear "1942".
- 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 "25399".
- Per_Martin-Löf wikiPageOutDegree "171".
- Per_Martin-Löf wikiPageRevisionID "660446191".
- 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 Agda_theorem_prover.
- 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 Andrei_N._Kolmogorov.
- 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 Betting.
- Per_Martin-Löf wikiPageWikiLink Biological_sex.
- Per_Martin-Löf wikiPageWikiLink Bird-watcher.
- Per_Martin-Löf wikiPageWikiLink Bird_ringing.
- Per_Martin-Löf wikiPageWikiLink Bird_watching.
- Per_Martin-Löf wikiPageWikiLink Birdwatching.
- Per_Martin-Löf wikiPageWikiLink Calculus_of_constructions.
- Per_Martin-Löf wikiPageWikiLink Capture-recapture.
- 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 Chaitin–Kolmogorov_randomness.
- 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 Computer_science.
- Per_Martin-Löf wikiPageWikiLink Consistency.
- Per_Martin-Löf wikiPageWikiLink Consistency_proof.
- Per_Martin-Löf wikiPageWikiLink Coq.
- Per_Martin-Löf wikiPageWikiLink Curry–Howard_correspondence.
- Per_Martin-Löf wikiPageWikiLink D._Basu.
- Per_Martin-Löf wikiPageWikiLink D._R._Cox.
- 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 EM_algorithm.
- 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.
- Per_Martin-Löf wikiPageWikiLink Expectation-maximization_method.
- Per_Martin-Löf wikiPageWikiLink Expectation_maximization.
- Per_Martin-Löf wikiPageWikiLink Expectation_maximization_method.