Sökning: "Mattias Granberg Olsson"

Hittade 3 uppsatser innehållade orden Mattias Granberg Olsson.

  1. 1. A Model-Theoretic Proof of Gödel's Theorem : Kripke's Notion of Fulfilment

    Master-uppsats, Stockholms universitet/Matematiska institutionen

    Författare :Mattias Granberg Olsson; [2017]
    Nyckelord :Fulfilment; Gödel s Theorem; Incompleteness;

    Sammanfattning : The notion of fulfilment of a formula by a sequence of numbers, an approximation of truth due to Kripke, is presented and subsequently formalised in the weak arithmetic theory IΣ1, in some detail. After a number of technical results connecting the formalised notion to the meta-theoretical one a version of Gödel’s Incompleteness Theorem, that no consistent, recursively axiomatisable, Σ2-sound extension T of Peano arithmetic is complete, is shown by construction of a true Π2-sentence and a model of T where it is false, yielding its independence from T. LÄS MER

  2. 2. Two Notions of Semantics of the Simple Theory of Types

    Magister-uppsats, Uppsala universitet/Algebra och geometri

    Författare :Mattias Granberg Olsson; [2014]
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 3. A Syntax of the Simple Theory of Types

    Kandidat-uppsats, Uppsala universitet/Algebra och geometri

    Författare :Mattias Granberg Olsson; [2013]
    Nyckelord :;

    Sammanfattning : .... LÄS MER