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

Per Martin-Löf
Född8 maj 1942 (81 år)
Jakobs församling, Sverige
Medborgare iSverige
Utbildad vidStockholms universitet
SysselsättningOrnitolog, matematisk statistiker, filosof, universitetslärare
ArbetsgivareStockholms universitet
SläktingarAnders Martin-Löf (syskon)
Utmärkelser
Hedersdoktor vid Universitetet i Leiden (2004)[1]
Gödel Lecturer (2006)
Rolf Schockpris i logik och filosofi (2020)
Redigera Wikidata

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

Familj redigera

Per Martin-Löf är far till dirigenten Cecilia Martin-Löf, bror till matematikern Anders Martin-Löf och kusin till Sverker Martin-Löf. Rutger Martin-Löf är hans farbror.

Källor redigera

  1. ^ läs online, www.universiteitleiden.nl.[källa från Wikidata]