Per Martin-Löf

Från Wikipedia
Version från den 12 mars 2013 kl. 23.11 av Addbot (Diskussion | Bidrag) (Bot överför 6 interwikilänk(ar), som nu återfinns på sidan d:q2067227 på Wikidata)
Per Martin-Löf 2004

Per Martin-Löf, född 1942, är professor i matematisk logik vid Stockholms universitet. Han har ett stort internationellt anseende inom konstruktivismens område, främst genom sin konstruktiva typteori.

Martin-Löf är sedan 1990 ledamot av Kungliga Vetenskapsakademien.

Källor


 
 
Denna biografiska artikel om en svensk akademiker eller forskare saknar väsentlig information. Du kan hjälpa till genom att lägga till den.
Hämtad från ”https://sv.wikipedia.org/w/index.php?title=Per_Martin-Löf&oldid=20394907”