Per Martin-Löf

Från Wikipedia
Hoppa till: navigering, sök
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[redigera | redigera wikitext]