Per Martin-Löf
Per Martin-Löf
Per Martin-Löf 2004
| Születés |
1942. május 8 Jakob ( d ) |
|---|---|
| Állampolgárság | svéd |
| Kiképzés | Stockholmi Egyetem |
| Tevékenységek | Ornitológus , filozófus , matematikai statisztikus , egyetemi tanár |
| Testvérek | Anders Martin-Löf ( in ) |
| Dolgozott valakinek | Stockholmi Egyetem |
|---|---|
| Terület | Matematikai logika |
| Tagja valaminek |
Svéd Királyi Tudományos Akadémia Academia Europaea (1989) |
| Felügyelő | Andrej Kolmogorov |
| Díjak |
Doktor honoris causa a Leideni Egyetemen (2004) Gödel előadó (2006) |
Per Martin-Löf egy svéd logikus , filozófus és matematikus született 1942 . Ismeretes, hogy az intuitionista típusok elméletét fejlesztette ki, mint a matematika konstruktív alapját. Szintén a véletlenszerű sorrendben még mindig érvényben lévő definíciók egyikének a kezdőpontja .
Életrajz
Per Martin-Löf lelkes madármegfigyelő . Első tudományos publikációja 1961-ben a sávos madarak halálozási arányáról szólt .
Martin-Löf írt főiskolai szakdolgozatát a valószínűsége algebrai struktúrák, különösen félig csoportok , a kutatási program által vezetett Ulf Grenander a Stockholmi Egyetem .
2009-es nyugdíjba vonulásáig Per Martin-Löf a Stockholmi Egyetem matematika és filozófia tanszékét töltötte be .
Megkülönböztetés kapott
- A 2005 , Per Martin-Löf megkapta a Kolmogorov-érem az ő munkáját a axióma a választás .
- 2006-ban Gödel előadó volt a logika két rétege című konferencián .