Martin-Löf, Per
| Per Martin-Löf | |
|---|---|
| Per Martin-Lof | |
| Per Martin-Löf i 2004 | |
| Fødselsdato | 8. maj 1942 (80 år) |
| Fødselssted | |
| Land | |
| Videnskabelig sfære | logik , statistik , filosofi |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | Andrey Nikolaevich Kolmogorov |
| Præmier og præmier | Kolmogorov-medalje (2005) |
Per Martin-Löf ( svensk. Per Martin-Löf ; født 8. maj 1942 ) er en svensk logiker , statistiker og filosof . Medlem af Det Kongelige Svenske Videnskabsakademi .
I 1964-1965 studerede han ved Moscow State University hos Andrey Kolmogorov . I 1970 forsvarede han sin afhandling ved Stockholms universitet , og senere var han engageret i videnskabelige og pædagogiske aktiviteter. I øjeblikket professor i matematikfilosofi ved Stockholms universitet.
Hans værker inden for statistik og algoritmisk sandsynlighedsteori [1] , grundlaget for matematik og logik [2] , algoritmisk informationsteori [3] og konstruktionsteori [4] er almindeligt kendte . Skaber af intuitionistisk typeteori , som blev grundlaget for en række systemer til grundlaget for matematikken (inklusive univalente grundlag ) og grundlaget for de fleste moderne automatiske bevissystemer .
Større værker
- Kontinuitetsteoremet om en lokalt kompakt gruppe, 1965
- Sandsynlighedsteori om diskrete semigrupper, 1965
- Definitionen af tilfældige sekvenser, 1966
- Statistik fra statistisk mekaniks synspunkt, 1966
- Statistiska modeller: Anteckningar fran seminarier läsåret 1969-1970 , 1970
- Præcise tests, konfidensregioner og estimater, 1974
- Konstruktiv matematik og computerprogrammering, 1982
- Intuitionistisk typeteori, 1984
- Om betydningen af de logiske konstanter og de logiske loves begrundelser, 1996
Noter
- ↑ N. N. Nepeyvoda. Algoritme // New Philosophical Encyclopedia : i 4 bind / prev. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M . : Tanke , 2010. - 2816 s.
- ↑ N. N. Nepeyvoda . Konstruktiv retning // Ny filosofisk encyklopædi : i 4 bind / prev. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M . : Tanke , 2010. - 2816 s.
- ↑ Algorithmic Information Theory - Encyclopedia of Mathematics - artikel . Ja. M. Bardzin
- ↑ N. N. Nepeyvoda. Logicisme // New Philosophical Encyclopedia : i 4 bind / prev. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M . : Tanke , 2010. - 2816 s.
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||