Search for dissertations about: "Martin-Löf"

Showing result 1 - 5 of 13 swedish dissertations containing the word Martin-Löf.

  2. 1. Notes on constructive mathematics

    Author : Per Martin-Löf; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  4. 2. A Natural Interpretation of Classical Proofs

    Author : Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

    Abstract : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. READ MORE

  5. 3. Partiality and Choice : Foundational Contributions

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

    Abstract : 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. READ MORE

  6. 4. Reference and Computation in Intuitionistic Type Theory

    Author : Johan G Granström; Erik Palmgren; Per Martin-Löf; Peter Dybjer; Uppsala universitet; []
    Keywords : mathematical logic; intuitionism; type theory; foundations of mathematics;

    Abstract : Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and a foundation of mathematics. The present thesis compares, relates, and equates two concepts, one from philosophical logic and one from computer science, viz. READ MORE

  7. 5. Large deviation techniques applied to three questions of when

    Author : Ola Hammarlid; Anders Martin-Löf; Ingmar Kaj; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Large deviations; first passage time; stopping time; rate function; convex barrier; fallacy of large numbers; utility function; insurance; ruin; variable premium; generalized Ornstein-Uhlenbeck process; Mathematical statistics; Matematisk statistik;

    Abstract : Large deviation techniques are used to solve three problems; when is a distant convex barrier passed, when to accept a sequence of gambles and when is the time of ruin. This work is the collection of four papers. READ MORE