About: Per Martin-Löf

Property	Value
dbo:academicDiscipline	dbr:Philosophy dbr:Mathematical_statistics dbr:Logic dbr:Computer_science
dbo:almaMater	dbr:Stockholm_University
dbo:award	dbr:Royal_Swedish_Academy_of_Sciences dbr:Rolf_Schock_Prizes dbr:Gödel_Lecture
dbo:birthDate	1942-05-08 (xsd:date)
dbo:birthPlace	dbr:Stockholm
dbo:description	Zweeds wiskundige (nl) svensk matematikar (nn) svensk matematiker (da) svensk matematiker (sv) ریاضی‌دان سوئدی (fa) Swedish logician, philosopher, and mathematical statistician (en) filosofo e matematico svedese (it) logicien, philosophe et mathématicien suédois (fr) schwedischer mathematischer Logiker und Philosoph (de) шведский математик и логик (ru)
dbo:doctoralAdvisor	dbr:Andrey_Kolmogorov
dbo:knownFor	dbr:Exponential_family dbr:Intuitionistic_type_theory dbr:Sufficient_statistic dbr:Expectation–maximization_algorithm dbr:Exact_test dbr:Random_sequence dbr:Algorithmically_random_sequence
dbo:nationality	dbr:Sweden
dbo:thumbnail	wiki-commons:Special:FilePath/Per_MartinLoef.jpg?width=300
dbo:wikiPageExternalLink	http://citeseer.ist.psu.edu/li97introduction.html http://www.cs.chalmers.se/Cs/Research/Logic/book/ http://docenti.lett.unisi.it/files/4/1/1/6/martinlof4.pdf https://publikationen.uni-tuebingen.de/xmlui/bitstream/handle/10900/93935/Proof-Theoretic-Semantics-2019.pdf%3Fsequence=1&isAllowed=y https://publikationen.uni-tuebingen.de/xmlui/handle/10900/93935 http://intuitionistic.files.wordpress.com/2010/07/martin-lof-computer.pdf http://intuitionistic.files.wordpress.com/2010/07/martin-lof-tt.pdf https://www.newscientist.com/article/mg16422156.600-gone-birdwatching.html http://dx.doi.org/10.15496/publikation-35319 http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.131.926&rep=rep1&type=pdf
dbo:wikiPageWikiLink	dbr:Royal_Statistical_Society dbr:System_F dbr:Statistical_model dbc:Stockholm_University_faculty dbr:Edmund_Husserl dbr:Gottlob_Frege dbr:Mortality_rate dbc:21st-century_Swedish_philosophers dbr:Category_theory dbc:Members_of_Academia_Europaea dbr:Data_compression dbr:Philosopher dbr:Philosophy dbc:Mathematical_logicians dbr:Dana_Scott dbr:Mathematical_statistics dbc:Swedish_information_theorists dbr:Exponential_family dbr:Intuitionistic_type_theory dbr:Missing_data dbr:Model_selection dbr:Betting dbr:Bertrand_Russell dbr:Bird_ringing dbr:Richard_von_Mises dbr:Logical_consequence dbr:Philosophical_logic dbr:Aarhus_University dbr:Population_biology dbr:Sufficient_statistic dbr:Rasch_model dbr:Donald_Rubin dbc:20th-century_Swedish_philosophers dbc:Birdwatchers dbr:Rudolf_Carnap dbc:21st-century_Swedish_mathematicians dbr:Gregory_Chaitin dbr:Environmental_statistics dbr:Epigram_(programming_language) dbr:Peter_Pagin dbc:1942_births dbc:Living_people dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences dbc:Swedish_ornithologists dbr:Gambling dbr:Logic dbr:Statistics dbr:Stockholm dbr:Sweden dbr:Church–Turing_thesis dbr:Royal_Swedish_Academy_of_Sciences dbr:Algorithmic_information_theory dbr:Rolf_Schock_Prizes dbr:Proof-theoretic_semantics dbr:Alan_Turing dbr:Logician dbr:Probability dbr:Probability_theory dbr:Coq dbr:Limit_(mathematics) dbr:Dependent_type dbr:Jean-Yves_Girard dbr:Exact_test dbr:Computer_science dbr:John_von_Neumann dbr:University_of_Chicago dbr:Charles_Sanders_Peirce dbr:Alfred_Tarski dbr:A._W._F._Edwards dbr:Ornithology dbr:Academia_Europaea dbr:Michael_Dummett dbr:Andrey_Kolmogorov dbr:Mathematical_logic dbc:Swedish_logicians dbr:Nan_Laird dbr:Random_sequence dbr:Randomness_test dbr:Stockholm_University dbr:Theory_of_computation dbr:Dag_Prawitz dbr:Anders_Martin-Löf dbr:Twelf dbr:William_Alvin_Howard dbr:Kolmogorov_complexity dbr:Calculus_of_constructions dbr:Central_Europe dbr:Dunlin dbr:Jaakko_Hintikka dbr:Franz_Brentano dbc:20th-century_Swedish_mathematicians dbc:Swedish_statisticians dbr:Algorithmically_random_sequence dbr:Curry–Howard_correspondence dbr:Ulf_Grenander dbr:File:Calidris-alpina-001_edit.jpg dbr:Statistical_theory dbr:LF_(logical_framework) dbr:Model_of_computation dbr:Arthur_P._Dempster dbr:George_A._Barnard dbr:Computer_Science dbr:Frank_P._Ramsey dbr:Idris_(programming_language) dbr:Gödel_Lecture dbr:EM_algorithm dbr:Andrei_N._Kolmogorov dbr:Bird_watching dbr:Martin-Löf_type_theory dbr:Girard's_paradox dbr:NuPRL dbr:Nordic_Journal_of_Philosophical_Logic dbr:Agda_theorem_prover dbr:Expectation-maximization dbr:Expectation-maximization_method dbr:Expectation_maximization dbr:Expectation_maximization_method dbr:Exponential_families dbr:Biological_sex dbr:Bird-watcher dbr:Consistency_proof dbr:Chaitin–Kolmogorov_randomness dbr:D._Basu dbr:D._R._Cox dbr:Frequency_probability dbr:Capture-recapture dbr:Impredicative dbc:Gödel_Lecturers dbc:Tarski_lecturers dbr:File:Em_old_faithful.gif dbr:File:Franz_Brentano.jpeg
dbp:almaMater	dbr:Stockholm_University
dbp:birthDate	1942-05-08 (xsd:date)
dbp:birthPlace	Stockholm, Sweden (en)
dbp:caption	Per Martin-Löf in 2004 (en)
dbp:citizenship	Sweden (en)
dbp:doctoralAdvisor	dbr:Andrey_Kolmogorov
dbp:field	dbr:Philosophy dbr:Mathematical_statistics dbr:Logic dbr:Computer_science
dbp:knownFor	dbr:Algorithmically_random_sequence Exact tests (en) Martin-Löf type theory (en) Random sequences (en) Repetitive structure (en) Sufficient statistics (en) expectation–maximization (EM) method (en)
dbp:name	Per Martin-Löf (en)
dbp:nationality	Swedish (en)
dbp:prizes	(en) Royal Swedish Academy of Sciences (en) Rolf Schock Prize (en) Gödel Lecture (en)
dbp:wikiPageUsesTemplate	dbt:MathGenealogy dbt:Authority_control dbt:Cite_book dbt:Main dbt:Reflist dbt:Small dbt:Cite_journal dbt:Infobox_scientist dbt:IPAc-en dbt:See_also dbt:Birth_date_and_age dbt:Div_col dbt:Div_col_end dbt:IPA dbt:Isbn dbt:Short_description
dbp:workInstitution	dbr:Aarhus_University dbr:University_of_Chicago dbr:Stockholm_University
dct:subject	dbc:21st-century_Swedish_philosophers dbc:Members_of_Academia_Europaea dbc:Academic_staff_of_Stockholm_University dbc:Mathematical_logicians dbc:Swedish_information_theorists dbc:20th-century_Swedish_philosophers dbc:Birdwatchers dbc:21st-century_Swedish_mathematicians dbc:1942_births dbc:Living_people dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences dbc:Swedish_ornithologists dbc:People_from_Stockholm dbc:Proof_theorists dbc:Swedish_logicians dbc:20th-century_Swedish_mathematicians dbc:Swedish_statisticians
gold:hypernym	dbr:Logician
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:label	Per Martin-Löf (en) بير مارتن لوف (ar) Per Martin-Löf (de) Per Martin-Löf (fr) ペール・マルティン＝レーフ (ja) Per Martin-Löf (pt) Мартин-Лёф, Пер (ru) Per Martin-Löf (sv) 佩尔·马丁-洛夫 (zh)
rdfs:seeAlso	dbr:Exponential_family dbr:Intuitionistic_type_theory dbr:Missing_data dbr:Model_selection dbr:Logical_consequence dbr:Probability_distribution dbr:Kolmogorov_complexity dbr:Birdwatching
owl:sameAs	http://viaf.org/viaf/92134760 freebase:Per Martin-Löf http://d-nb.info/gnd/122298624 wikidata:Per Martin-Löf dbpedia-de:Per Martin-Löf dbpedia-fr:Per Martin-Löf dbpedia-zh:Per Martin-Löf dbpedia-ja:Per Martin-Löf dbpedia-pt:Per Martin-Löf dbpedia-ru:Per Martin-Löf dbpedia-sv:Per Martin-Löf https://dblp.org/pid/19/1882 dbpedia-ar:Per Martin-Löf dbpedia-arz:Per Martin-Löf dbpedia-azb:Per Martin-Löf http://data.bibliotheken.nl/id/thes/p071150110 dbpedia-global:Per Martin-Löf
prov:wasDerivedFrom	wikipedia-en:Per_Martin-Löf?oldid=1294041813&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Calidris-alpina-001_edit.jpg wiki-commons:Special:FilePath/Per_MartinLoef.jpg wiki-commons:Special:FilePath/Franz_Brentano.jpeg wiki-commons:Special:FilePath/Em_old_faithful.gif
foaf:isPrimaryTopicOf	wikipedia-en:Per_Martin-Löf
foaf:name	Per Martin-Löf (en)
is dbo:doctoralStudent of	dbr:Andrey_Kolmogorov
is dbo:notableStudent of	dbr:Ulf_Grenander
is dbo:wikiPageRedirects of	dbr:P_Martin-Löf dbr:P_Martin_Lof dbr:Martin-Loef dbr:Martin-Lof dbr:Martin-Löf dbr:Martin_Lof dbr:Martin_Löf dbr:Martinlof dbr:Martinlöf dbr:Per_Erik_Rutger_Martin-Löf dbr:Per_Martin-Loef dbr:Per_Martin-Lof dbr:Per_Martin_Lof dbr:Per_Martin_Löf
is dbo:wikiPageWikiLink of	dbr:Institute_for_Advanced_Study dbr:Church–Rosser_theorem dbr:Functional_programming dbr:Natural_deduction dbr:Intuitionistic_type_theory dbr:Jorma_Rissanen dbr:Turnstile_(symbol) dbr:Proof_theory dbr:Type_theory dbr:Expectation–maximization_algorithm dbr:Gregory_Chaitin dbr:Algorithmic_information_theory dbr:Dialogical_logic dbr:Index_of_philosophy_articles_(I–Q) dbr:Rolf_Schock_Prizes dbr:Tarski_Lectures dbr:Index_of_analytic_philosophy_articles dbr:Index_of_contemporary_philosophy_articles dbr:Index_of_continental_philosophy_articles dbr:Randomness dbr:2020_in_philosophy dbr:List_of_pioneers_in_computer_science dbr:Andrey_Kolmogorov dbr:Constructive_proof dbr:Kolmogorov_Medal dbr:History_of_type_theory dbr:List_of_incomplete_proofs dbr:Random_sequence dbr:Anders_Martin-Löf dbr:Logical_framework dbr:Constructivism_(philosophy_of_mathematics) dbr:List_of_logicians dbr:Ordinal_collapsing_function dbr:Per_(given_name) dbr:Algorithmically_random_sequence dbr:List_of_birdwatchers dbr:Ulf_Grenander dbr:Homotopy_type_theory dbr:System_U dbr:Universality_probability dbr:Setoid dbr:List_of_Swedish_scientists dbr:Speech_act dbr:Gödel_Lecture dbr:P_Martin-Löf dbr:P_Martin_Lof dbr:Martin-Loef dbr:Martin-Lof dbr:Martin-Löf dbr:Martin_Lof dbr:Martin_Löf dbr:Martinlof dbr:Martinlöf dbr:Per_Erik_Rutger_Martin-Löf dbr:Per_Martin-Loef dbr:Per_Martin-Lof dbr:Per_Martin_Lof dbr:Per_Martin_Löf
is dbp:notableStudents of	dbr:Ulf_Grenander
is foaf:primaryTopic of	wikipedia-en:Per_Martin-Löf