Från Rilpedia

Du har inte behörighet att redigera denna sida, av följande anledning:

Du kan se och kopiera denna sidas källtext:

<noinclude>{{rpsv.from.wpsv}}</noinclude>[[Fil:Per_MartinLoef.jpg|thumb|200px|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]].<ref>[http://www.kva.se/KVA_Root/swe/contact/contactdetail.asp?personID=224 Kungl. Vetenskapsakademien: Per Martin-Löf], läst 1 maj 2009</ref> == Källor == <references/> {{Forskarstub-Sverige}} {{STANDARDSORTERING:Martin-Löf, Per}} [[Kategori:Svenska professorer]] [[Kategori:Personer verksamma vid Stockholms universitet]] [[Kategori:LVA]] [[Kategori:Födda 1942]] [[Kategori:Män]] [[en:Per Martin-Löf]] [[fr:Per Martin-Löf]] [[ja:ペール・マルティン＝レーフ]]

Tillbaka till Per Martin-Löf.