Per Martin-Löf Professor emeritus

Kontakt

Namn och titel: Per Martin-LöfProfessor emeritus

Epost: pml@math.su.se

Arbetsplats: Matematiska institutionen Länk till annan webbplats.

Besöksadress Rum 315

Forskargrupp

Matematisk logik

I matematisk logik studeras matematiska resonemang i sina olika exakta former. Forskargruppen i matematisk logik är aktiv inom flera delar av området, inklusive konstruktiv matematik, typteori och kategoriteoretisk logik, samt de filosofiska aspekterna av logik och matematik.





Kontakt

Namn och titel: Per Martin-LöfProfessor emeritus

Epost: pml@math.su.se

Arbetsplats: Matematiska institutionen Länk till annan webbplats.

Besöksadress Rum 315

Forskargrupp

Matematisk logik

I matematisk logik studeras matematiska resonemang i sina olika exakta former. Forskargruppen i matematisk logik är aktiv inom flera delar av området, inklusive konstruktiv matematik, typteori och kategoriteoretisk logik, samt de filosofiska aspekterna av logik och matematik.

Vi använder kakor

Genom att tillåta tjänster från tredje part accepterar du deras cookies och användningen av spårningsteknologier som är nödvändiga för att de ska fungera korrekt.