Öppna huvudmenyn

Per Martin-Löf

svensk matematiker
Per Martin-Löf 2004

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.

KällorRedigera