Per Martin-Löf
Från Wikipedia
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.
[redigera] Källor
- Per Martin-Löf på Kungliga Vetenskapsakademiens webbplats
Denna biografiska artikel om en svensk akademiker eller forskare är bara påbörjad. Du kan hjälpa till genom att utöka den.
