Dag Normann
id:
dag-normann-199-7281989
title:
Dag Normann
text:
Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the
University of Oslo. His research focuses on computability theory with an emphasis
on mathematical models for typed algorithms and applications of the foundations of mathematics.
brand slug:
wiki
category slug:
encyclopedia
description:
Norwegian mathematician
original url:
https://en.wikipedia.org/wiki/Dag_Normann
date created:
date modified:
2024-01-17T09:51:21Z
main entity:
{"identifier":"Q97275255","url":"https://www.wikidata.org/entity/Q97275255"}
image:
fields total:
13
integrity:
14