Martin-Löf, Per
| Podle Martina-Löfa | |
|---|---|
| Podle Martina-Lofa | |
| Per Martin-Löf v roce 2004 | |
| Datum narození | 8. května 1942 (ve věku 80 let) |
| Místo narození | |
| Země | |
| Vědecká sféra | logika , statistika , filozofie |
| Místo výkonu práce | |
| Alma mater | |
| vědecký poradce | Andrej Nikolajevič Kolmogorov |
| Ocenění a ceny | Kolmogorovova medaile (2005) |
Per Martin-Löf ( švéd. Per Martin-Löf ; narozen 8. května 1942 ) je švédský logik , statistik a filozof . Člen Královské švédské akademie věd .
V letech 1964-1965 studoval na Moskevské státní univerzitě u Andreje Kolmogorova . V roce 1970 obhájil disertační práci na Stockholmské univerzitě a později se věnoval vědecké a pedagogické činnosti. V současné době je profesorem filozofie matematiky na Stockholmské univerzitě.
Jeho práce v oblasti statistiky a algoritmické teorie pravděpodobnosti [1] , základů matematiky a logiky [2] , algoritmické teorie informace [3] a teorie konstrukce [4] jsou široce známé . Tvůrce intuicionistické teorie typů , která se stala základem řady systémů pro základy matematiky (včetně univalentních základů ) a základem pro většinu moderních systémů automatického dokazování .
Hlavní díla
- Věta o kontinuitě na lokálně kompaktní grupě, 1965
- Teorie pravděpodobnosti na diskrétních pologrupách, 1965
- Definice náhodných sekvencí, 1966
- Statistika z pohledu statistické mechaniky, 1966
- Statistiska Modelář: Anteckningar fran seminarier läsåret 1969-1970 , 1970
- Přesné testy, oblasti spolehlivosti a odhady, 1974
- Konstruktivní matematika a počítačové programování, 1982
- Intuicionistická teorie typů, 1984
- O významech logických konstant a zdůvodnění logických zákonů, 1996
Poznámky
- ↑ N. N. Nepeyvoda. Algorithm // New Philosophical Encyclopedia : ve 4 svazcích / předchozí. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M . : Myšlenka , 2010. - 2816 s.
- ↑ N. N. Nepeyvoda . Konstruktivní směr // Nová filozofická encyklopedie : ve 4 svazcích / předchozí. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M . : Myšlenka , 2010. - 2816 s.
- ↑ Algorithmic Information Theory - Encyclopedia of Mathematics article . Ano, M. Bardzine
- ↑ N. N. Nepeyvoda. Logicismus // Nová filozofická encyklopedie : ve 4 svazcích / předchozí. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M . : Myšlenka , 2010. - 2816 s.
 Tematické stránky | ||||
|---|---|---|---|---|
| Slovníky a encyklopedie | ||||
| ||||