Per Martin-Löf
Från Rilpedia
Texten från svenska 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 ledamot av Kungliga Vetenskapsakademien.[1]
Källor
- ↑ Kungl. Vetenskapsakademien: Per Martin-Löf, läst 1 maj 2009
Denna biografiska artikel om en svensk akademiker, forskare eller ingenjör är bara påbörjad. Du kan hjälpa till genom att utöka den.
