Peter LeFanu Lumsdaine Universitetslektor

Kontakt

Namn och titel: Peter LeFanu LumsdaineUniversitetslektor

Epost: p.l.lumsdaine@math.su.se
Telefon: +468161466

Arbetsplats: Matematiska institutionen Länk till annan webbplats.

Besöksadress Rum E1351Albano hus 1

Postadress Matematiska institutionen106 91 Stockholm

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: Peter LeFanu LumsdaineUniversitetslektor

Epost: p.l.lumsdaine@math.su.se
Telefon: +468161466

Arbetsplats: Matematiska institutionen Länk till annan webbplats.

Besöksadress Rum E1351Albano hus 1

Postadress Matematiska institutionen106 91 Stockholm

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.