Per Martin-Löf
Per Martin-Löf | |
![]() | |
Född | 8 maj 1942 (82 år) Jakobs församling, Sverige |
---|---|
Medborgare i | Sverige |
Utbildad vid | Stockholms universitet ![]() |
Sysselsättning | Ornitolog, matematisk statistiker, filosof, universitetslärare |
Arbetsgivare | Stockholms universitet |
Släktingar | Anders Martin-Löf (syskon) |
Utmärkelser | |
Hedersdoktor vid Universitetet i Leiden (2004)[1] Doctorat honoris causa de l'université d'Aix-Marseille-II (2004)[2] Gödel Lecturer (2006) Rolf Schockpris i logik och filosofi (2020) | |
Redigera Wikidata |
Per Erik Rutger Martin-Löf, född 8 maj 1942 i Stockholm, är professor emeritus i matematisk logik vid Stockholms universitet. Han har ett stort internationellt anseende inom konstruktivismens område, främst genom sin konstruktiva typteori.
Martin-Löf är sedan 1990 ledamot av Kungliga Vetenskapsakademien.
Familj
Per Martin-Löf är far till dirigenten Cecilia Martin-Löf, bror till matematikern Anders Martin-Löf och kusin till Sverker Martin-Löf. Rutger Martin-Löf är hans farbror.
Källor
- Per Martin-Löf på Kungliga Vetenskapsakademiens webbplats
- Per Martin-Löf på Stockholms universitets webbplats