-
Normann, Dag
(2023).
A higher order perspective on computational analysis.
-
Normann, Dag
(2022).
A recent development in the computability theory for functionals of type 3.
-
Normann, Dag
(2022).
Typed lambda calculus and operators of mainstream mathematics.
-
Normann, Dag
(2022).
The complexity of operators constructed in mainstream mathematics.
-
Normann, Dag & Sanders, Sam
(2022).
Betwixed Turing and Kleene.
-
Normann, Dag
(2021).
An alternative perspective on Reverse Mathematics.
-
Normann, Dag
(2019).
The Computational Complexity of the Heine Borel Theorem.
-
Normann, Dag
(2018).
Functionals of Type 3 as Realisers of Classical Theorems in Analysis.
-
-
Normann, Dag
(2018).
A comparative study of the Heine-Borel theorem, the Lindelöf Lemma and non-monotone inductive definitions of sets of integers.
-
Normann, Dag
(2016).
Revisiting Transfinite Types.
-
Normann, Dag
(2015).
Alan Turing - mer enn en kodebryter.
Show summary
Alan Turing løste Hilberts "Entscheidungsproblem", og ga med det et grunnlag for forståelsen av mekaniske beregninger og kunstig intelligens.
-
Normann, Dag
(2015).
Var Turing oppfinneren av datamaskinen?
-
Normann, Dag
(2015).
Abels tårn.
[Radio].
NRK.
Show summary
Paneldiskusjon om Alan Turing
-
-
Normann, Dag
(2012).
Sequential vs. Continuous Functionals of Finite types.
-
Normann, Dag
(2012).
Internal or external, abstract or concrete? What does this mean for computing in a Banach space?
-
Normann, Dag
(2011).
Sequential versus Continuous Models of Finite Types.
-
Normann, Dag
(2011).
Fixed point computability of total functionals.
-
Normann, Dag
(2011).
Banach spaces as data types.
-
Normann, Dag
(2011).
Om Urysohns universelle metriske rom - og litt om Urysohn selv.
-
Normann, Dag
(2009).
The sequential functionals are far from being algebraic domains.
Show summary
It is shown that there will only be special cases where an increasing sequence of sequential functionals of a fixed type will have a sequential pointwise least upper bound.
-
Normann, Dag
(2009).
Sequential Functionals at Type level 2.
-
Normann, Dag
(2009).
Finite Sequential Procedures with Observational Ordering.
-
Normann, Dag
(2009).
Functionals of finite types - bridging logic and computer science.
-
Normann, Dag
(2009).
Continuous vs. Sequential Functionals - Harmony or Disharmony?
-
Normann, Dag
(2009).
Computations and functionals of finite types.
-
Normann, Dag
(2008).
50 years of continuous functionals.
-
Normann, Dag
(2008).
Om kontinuerlige operatorer på datasstrømmer og et åpent problem i topologi.
-
Normann, Dag
(2008).
Trenger vi uendelige mengder i diskret matematikk?
-
Normann, Dag
(2007).
External and internal density theorems for limspace-interpretations of some types.
-
Normann, Dag
(2007).
Hvor vanskelig kan det være? Om bondesjakk og det å finne maksimumspunktet til en kontinuerlig funksjon.
-
Normann, Dag
(2007).
Kan datamaskiner spille bondesjakk.
-
Normann, Dag
(2007).
Kan datamaskiner spille bondesjakk.
-
-
Normann, Dag
(2006).
Domain theory based hierarchies of total functionals.
-
Normann, Dag
(2006).
The coincidense problem and its topological counterpart.
-
Normann, Dag
(2006).
On sequential functionals of type 3.
-
Normann, Dag
(2006).
The Continuous Functionals and Aspects of Computability.
-
Normann, Dag
(2005).
Regning ved hjelp av tallerkenstabler - en innfallsvinkel til programmeringsteori.
-
Normann, Dag
(2005).
Minesveiper - hva har det med matematikk å gjøre.
-
Normann, Dag
(2005).
Om mulige og tilsynelatende umulige programmeringsoppgaver.
Normat.
ISSN 0801-3500.
53(1),
p. 21–27.
-
Normann, Dag
(2005).
Sequential functionals of type 3.
-
Normann, Dag
(2004).
Minesveiper - hva har det med matematikk å gjøre?
Show summary
Vi ser på sammenhengen mellom minesveiper-spillet og problemet 'P = NP' .
-
Normann, Dag
(2004).
Turings verden - lag dine egne datamaskiner.
Show summary
Vi ga en kort innføring i hva Turingmaskiner er og i hvordan de virker.
-
Normann, Dag
(2004).
Er du en kløpper i Minesveiper og kan bevise det, kan du bli en million dollar rikere.
-
Normann, Dag
(2004).
Regning ved hjelp av tallerkenstabler - en innfallsvinkel til programmeringsteori.
Show summary
Presenterer et enkelt programmeringsspråk for regning med tall-registre og gir eksempler på hvordan enkelte funksjoner kan programmeres.
Redegjør for videre egenskaper til dette enkle språket.
-
Normann, Dag
(2004).
Minesveiper -hva har det med matematikk å gjøre.
-
Normann, Dag
(2004).
Er du en kløpper i Minesveiper og kan bevise det, kan du bli en million dollar rikere.
Show summary
Vi ser på hvordan logiske kretser kan simuleres av situasjoner på et minesveiperbrett, og bruker det som en innføring i P = NP-problemet.
-
Normann, Dag
(2004).
Minesveiper er NP-komplett.
Show summary
Logiske kretser kan simuleres av stillinger i minesveiperstillinger i polynomisk tid. Konsekvensen er at minesveiperproblemet er NP-komplett. Resultatet skyldes Richard Kaye.
-
Normann, Dag
(2004).
Typed Computability over discrete and continuous base types.
-
Normann, Dag
(2003).
Er du en kløpper i minesveiper, og kan bevise det, kan du bli en million dollar rikere.
Show summary
Vi diskuterer kompleksitetsklassen NP - og i hvilken forstand minesveiperspillet er NP-komplett.
-
Normann, Dag
(2003).
Computability in higher type functionals: History, challenges and results,
Show summary
We present some of the development of higher type recursion theory over the last two decenniums, and a proof of the Cook-Berger Conjecture.
-
Normann, Dag
(2003).
The continuous functionals in the perspective of domain theory.
Show summary
We discuss the influence from logic and theoretical computer science on a now unified theory of computability in functionals of higher types.
-
Normann, Dag
(2002).
Om deterministiske og ikke-deterministiske beregninger.
Show summary
I foredraget gav jeg en introduksjon til P=NP-problemet, med definisjoner og eksempler, men uten bevis.
-
Normann, Dag
(2002).
Hierarchies of total functionals over the reals.
Show summary
We use a standard representation of the reals as data-streams and domains to represent the higher type objects. We prove a density theorem for this hierarchy, and use it to compare this hierarchy with the one constructed from the standard domain representation of the reals.
-
Normann, Dag
(2001).
Sammenhengen mellom klassiske paradokser og datamaskiners lunefullhet.
Show summary
Populærvitenskapelig foredrag som trekker linjene fra noen klassiske papadokser til Gödels og Turings behandling av bvisbarhet og beregnbarhet, med de konsekvenser dette har for matematikkens og informasjonsteknologiens grunnlag.
-
Normann, Dag
(2001).
Definability of total objects in PCF and related calculi.
Show summary
Foredraget ga en oversikt over forfatterens bidrag til semantikk for
typet lambda-kalkyle de siste fire årene. Dette omfattet bviset for
Cook-Berger-formodningen, en analyse av de totale funksjonalene i
typehierarkiet med reelle tall, naturlige tall og booleske verdier som
grunntyper, et resultat om partielle funksjoner uniformt definerbare
fra totale funksjoner og et fellesarbeid med Cand. Scient Christian
Rørdam om sammenhengen mellom totalitet og typet my-rekursjon.
-
Normann, Dag
(2001).
Definability and totality in typed lambda-calculi.
Show summary
We consider three typed lambda-calculi, PCF due to Scott/Plotkin, Real PCF due to Escardo and M-omega due to Niggl.
For all three calculi we consider the semantics based on Scott-domains and adress problems related to the definability of, and relative to, hereditarily total objects.
-
Normann, Dag
(2000).
Spillteori.