Sökning: "Gilles Dowek"

Hittade 1 avhandling innehållade orden Gilles Dowek.

1. 1. Partiality and Choice : Foundational Contributions

   Författare :Jesper Carlström; Per Martin-Löf; Gilles Dowek; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS; MATEMATIK;

   Sammanfattning : The subject of the thesis is foundational aspects of partial functions (Papers 1, 2 & 4) and some choice principles (Papers 3 & 4) in the context of constructive mathematics.Paper 1 studies the inversion functions of commutative rings. The foundational problem of having them only partially defined is overcome by extending them to total functions. LÄS MER