|
gptkbp:instance_of
|
gptkb:Mathematician
gptkb:Logic
|
|
gptkbp:academic_advisor
|
Göran Sundholm
|
|
gptkbp:awards
|
gptkb:Lindgren_Prize
gptkb:Gödel_Prize
|
|
gptkbp:birth_date
|
1940-07-23
|
|
gptkbp:field
|
gptkb:Mathematics
gptkb:philosophy
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Per Martin-Löf
|
|
gptkbp:inception
|
gptkb:1970
|
|
gptkbp:influenced
|
gptkb:Benedikt_Löwe
gptkb:Martin_Hofmann
|
|
gptkbp:influenced_by
|
gptkb:Hermann_Weyl
gptkb:Alfred_Tarski
|
|
gptkbp:key_concept
|
gptkb:Set
gptkb:C_programming_language
gptkb:scientific_experiments
formal verification
category theory
dependent types
mathematical logic
type safety
computability theory
program verification
proof theory
formal systems
logical frameworks
type systems
homotopy type theory
constructive logic
computational logic
proof assistants
proof-carrying code
dependent type
constructive type theory
|
|
gptkbp:known_for
|
gptkb:constructive_mathematics
gptkb:political_theory
|
|
gptkbp:nationality
|
gptkb:Swedish
|
|
gptkbp:notable_students
|
gptkb:Johan_van_Benthem
gptkb:Ulf_Nilsson
Lars Ahlfors
Anders M. Lindström
Mikael de Vries
|
|
gptkbp:research_focus
|
gptkb:computer_science
gptkb:Logic
category theory
philosophy of mathematics
proof theory
|
|
gptkbp:work_location
|
gptkb:University_of_Uppsala
gptkb:University_of_Stockholm
gptkb:Chalmers_University_of_Technology
|
|
gptkbp:bfsParent
|
gptkb:Sigrid_E._Eklund
|
|
gptkbp:bfsLayer
|
6
|