Dag Normann
Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at theUniversity of Oslo. His research focuses on computability theory with an emphasison mathematical models for typed algorithms and applications of the foundations of mathematics.
before
primaryTopic
Dag Normann
Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at theUniversity of Oslo. His research focuses on computability theory with an emphasison mathematical models for typed algorithms and applications of the foundations of mathematics.
has abstract
Dag Normann is a Norwegian mat ...... he foundations of mathematics.
@en
academic discipline
alma mater
doctoral advisor
nationality
Wikipage page ID
64,497,115
page length (characters) of wiki page
Wikipage revision ID
1,000,519,923
Link from a Wikipage to another Wikipage
after
alma mater
before
birth date
doctoral advisor
field
name
Dag Normann
@en
nationality
thesis year
title
President of the Association Computability in Europe
@en
wikiPageUsesTemplate
years
subject
comment
Dag Normann is a Norwegian mat ...... he foundations of mathematics.
@en
label
Dag Normann
@en
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Dag Normann
@en