Past Member
Per Martin-Löf
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Logic
From
–
While at the Institute, Per Martin-Löf will work on extending his constructive type theory with spreads and choice sequences, the key notions of the novel approach to topology that Brouwer conceived during the First World War, soon after Hausdorff’s introduction of set-theoretic topology in 1914.
Dates at IAS
Member
School of Mathematics
–
Fall