Per Martin-Löf

URI: https://gptkb.org/entity/Per_Martin-Löf

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Stockholm_University
gptkbp:awardReceived	gptkb:Rolf_Schock_Prize_in_Logic_and_Philosophy
gptkbp:birthDate	1942-05-08
gptkbp:birthPlace	gptkb:Stockholm
gptkbp:doctoralAdvisor	gptkb:Anders_Martin-Löf
gptkbp:doctoralStudent	gptkb:Erik_Palmgren gptkb:Jan_Smith gptkb:Peter_Aczel
gptkbp:employer	gptkb:Stockholm_University gptkb:Uppsala_University
gptkbp:field	gptkb:logic gptkb:probability_theory
gptkbp:hasSibling	gptkb:Anders_Martin-Löf
https://www.w3.org/2000/01/rdf-schema#label	Per Martin-Löf
gptkbp:knownFor	gptkb:Martin-Löf_type_theory gptkb:Martin-Löf_randomness gptkb:intuitionistic_type_theory contributions to constructive mathematics
gptkbp:memberOf	gptkb:Royal_Swedish_Academy_of_Sciences
gptkbp:nationality	Swedish
gptkbp:occupation	gptkb:logic gptkb:mathematician gptkb:philosopher
gptkbp:bfsParent	gptkb:logic
gptkbp:bfsLayer	4