Per Martin-Löf

Från Rilpedia

Version från den 1 maj 2009 kl. 20.18 av Tomas e (Diskussion)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif
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 ledamot av Kungliga Vetenskapsakademien.[1]

Källor

  1. ↑ Kungl. Vetenskapsakademien: Per Martin-Löf, läst 1 maj 2009


Scientist.svg Flag of Sweden.svg 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.
Hämtad från "https://sv.rilpedia.org/wiki/Per_Martin-L%C3%B6f"
Personliga verktyg
På andra språk