Sökning: "Dag Normann"

Hittade 1 avhandling innehållade orden Dag Normann.

1. 1. Effective Distribution Theory

   Författare :Fredrik Dahlgren; Viggo Stoltenberg-Hansen; Dag Normann; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; Mathematical logic; Matematisk logik;

   Sammanfattning : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. LÄS MER