Per Martin-Löf

Per Martin-Löf
	Per Martin-Löf
Född	8 maj 1942 (82 år); Jakobs församling, Sverige
Medborgare i	Sverige
Utbildad vid	Stockholms universitet
Sysselsättning	Ornitolog, matematisk statistiker, filosof, universitetslärare
Arbetsgivare	Stockholms universitet
Släktingar	Anders Martin-Löf (syskon)
Utmärkelser
	Hedersdoktor vid Universitetet i Leiden (2004); Doctorat honoris causa de l'université d'Aix-Marseille-II (2004); Gödel Lecturer (2006); Rolf Schockpris i logik och filosofi (2020)
	Redigera Wikidata

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.

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

Familj

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.

Utmärkelser
Per Martin-Löf

Född	8 maj 1942 (82 år) Jakobs församling, Sverige
Medborgare i	Sverige
Utbildad vid	Stockholms universitet
Sysselsättning	Ornitolog, matematisk statistiker, filosof, universitetslärare
Arbetsgivare	Stockholms universitet
Släktingar	Anders Martin-Löf (syskon)
Hedersdoktor vid Universitetet i Leiden (2004)^[1] Doctorat honoris causa de l'université d'Aix-Marseille-II (2004)^[2] Gödel Lecturer (2006) Rolf Schockpris i logik och filosofi (2020)
Redigera Wikidata