About: Dag Normann

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abstract	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. (en)
dbo:academicDiscipline	dbr:Mathematics dbr:Logic
dbo:almaMater	dbr:University_of_Oslo
dbo:doctoralAdvisor	dbr:Jens_Erik_Fenstad
dbo:nationality	dbr:Norway
dbo:wikiPageID	64497115 (xsd:integer)
dbo:wikiPageLength	5049 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1121745502 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Professor_emeritus dbr:Scandinavian_Logic_Society dbr:University_of_Oslo dbc:1947_births dbc:Living_people dbr:Computability_in_Europe dbr:Computability_theory dbc:Norwegian_mathematicians dbr:Mathematical_logic dbr:Mathematics dbr:S._Barry_Cooper dbc:Presidents_of_the_Norwegian_Mathematical_Society dbr:Logic dbr:Professor dbr:Norwegian_Academy_of_Science_and_Letters dbr:Norway dbr:Norwegian_Mathematical_Society dbr:Paola_Bonizzoni dbr:Foundations_of_mathematics dbc:University_of_Oslo_alumni dbc:University_of_Oslo_faculty dbr:Jens_Erik_Fenstad
dbp:after	dbr:Paola_Bonizzoni
dbp:almaMater	dbr:University_of_Oslo
dbp:before	dbr:S._Barry_Cooper
dbp:birthDate	1947 (xsd:integer)
dbp:doctoralAdvisor	dbr:Jens_Erik_Fenstad
dbp:field	dbr:Mathematics dbr:Logic
dbp:name	Dag Normann (en)
dbp:nationality	dbr:Norway
dbp:thesisYear	1976 (xsd:integer)
dbp:title	President of the Association Computability in Europe (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Infobox_officeholder dbt:Reflist dbt:S-end dbt:S-start dbt:Short_description dbt:Succession_box dbt:Infobox_scientist dbt:S-aca
dbp:years	2015 (xsd:integer)
dcterms:subject	dbc:1947_births dbc:Living_people dbc:Norwegian_mathematicians dbc:Presidents_of_the_Norwegian_Mathematical_Society dbc:University_of_Oslo_alumni dbc:University_of_Oslo_faculty
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901
rdfs:comment	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. (en)
rdfs:label	Dag Normann (en)
owl:sameAs	wikidata:Dag Normann https://global.dbpedia.org/id/DcAGv
prov:wasDerivedFrom	wikipedia-en:Dag_Normann?oldid=1121745502&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Dag_Normann
foaf:name	Dag Normann (en)
is dbo:wikiPageWikiLink of	dbr:Scandinavian_Logic_Society dbr:List_of_members_of_the_Norwegian_Academy_of_Science_and_Letters_(current) dbr:Computability_in_Europe dbr:S._Barry_Cooper dbr:Norwegian_Mathematical_Society dbr:Paola_Bonizzoni dbr:List_of_Norwegian_mathematicians dbr:Second-order_arithmetic
is dbp:before of	dbr:Paola_Bonizzoni
is foaf:primaryTopic of	wikipedia-en:Dag_Normann