Dag Normann

Bilde av Dag Normann
English version of this page
Telefon +47 22855953
Mobiltelefon 41250205
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

Faglige interesser

Beregnbarhetsteori med 
vekt på matematiske modeller for typede algoritmer.

Anvendelser på matematikkens grunnlag.

Undervisning

Som Prof. em. underviser jeg ikke mer.

Verv

Styremedlem/kasserer i ACiE  http://www.computability.org.uk/

 

 

Prosjekt

Pågående prosjekt som forbinder formalisert ikke standard analyse, høyere beregnbarhetsteori og studiet av logisk styrke til teoremer i klassisk analyse, i samarbeid med Sam Sanders.

 


 

Emneord: Matematikk, Logikk
Publisert 13. nov. 2010 11:52 - Sist endret 23. mai 2020 17:31