Per Martin-Löf: Svensk matematiker
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.
| Per Martin-Löf | |
 | |
| Född | 8 maj 1942 (81 å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) Gödel Lecturer (2006) Rolf Schockpris i logik och filosofi (2020) | |
| Redigera Wikidata | |
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
This article uses material from the Wikipedia Svenska article Per Martin-Löf, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Innehållet är tillgängligt under CC BY-SA 4.0 om ingenting annat anges. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Svenska (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.