Martin-Löf, Per

Per Martin-Löf
Per Martin-Lof

Per Martin-Löf 2004
Födelsedatum 8 maj 1942 (80 år)( 1942-05-08 )
Födelseort
Land
Vetenskaplig sfär logik , statistik , filosofi
Arbetsplats
Alma mater
vetenskaplig rådgivare Andrey Nikolaevich Kolmogorov
Utmärkelser och priser Kolmogorov-medalj (2005)

Per Martin-Löf ( svensk Per Martin-Löf ; född 8 maj 1942 ) är en svensk logiker , statistiker och filosof . Ledamot av Kungliga Vetenskapsakademien .

1964-1965 studerade han vid Moscow State University med Andrey Kolmogorov . 1970 disputerade han vid Stockholms universitet , och senare var han engagerad i vetenskaplig och undervisningsverksamhet. För närvarande professor i matematikfilosofi vid Stockholms universitet.

Hans arbeten inom området statistik och algoritmisk sannolikhetsteori [1] , grunder för matematik och logik [2] , algoritmisk informationsteori [3] och konstruktionsteori [4] är vida kända . Skapare av intuitionistisk typteori , som blev grunden för ett antal system för matematikens grunder (inklusive univalenta grunder ) och grunden för de flesta moderna automatiska bevissystem .

Stora verk

Anteckningar

  1. ↑ N. N. Nepeyvoda. Algoritm  // New Philosophical Encyclopedia  : i 4 volymer  / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M .  : Tanke , 2010. - 2816 sid.
  2. ↑ N. N. Nepeyvoda . Konstruktiv riktning  // Ny filosofisk encyklopedi  : i 4 volymer  / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M .  : Tanke , 2010. - 2816 sid.
  3. ↑ Algoritmisk informationsteori - Encyclopedia of Mathematics artikel . Ja. M. Bardzin
  4. ↑ N. N. Nepeyvoda. Logicism  // New Philosophical Encyclopedia  : i 4 volymer  / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M .  : Tanke , 2010. - 2816 sid.
  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk