Sökning: "Gödel"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet Gödel.

  1. 1. On Russell’s Paradox and Attempted Resolutions

    Kandidat-uppsats, Umeå universitet/Institutionen för idé- och samhällsstudier

    Författare :Hannes Salin; [2023]
    Nyckelord :Russell’s paradox; paradoxes; set theory; sets; collections; logic;

    Sammanfattning : This thesis explores Russell’s Paradox and the comparative analysis of Zermelo-Fraenkel set theory, von Neumann-Bernays-Gödel set theory, and Russell’s Type Theory from a mathematical Platonist perspective, focusing on the ontology of sets. Our conclusion posits that, although these theories have made significant attempts in addressing Russell’s paradox and other inconsistencies of naïve set theory, we currently lack a proper language for expressing set theory that fully captures the underlying Platonic world of sets. LÄS MER

  3. 2. Fem ontologiska gudsbevis

    Kandidat-uppsats, Enskilda Högskolan Stockholm/Avdelningen för religionsvetenskap och teologi

    Författare :Love Ekenberg; [2022]
    Nyckelord :ontologiska gudsbevis; Anselm; Descartes; Malcolm; Planting; Gödel;

    Sammanfattning : Uppsatsen behandlar i vilken utsträckning som de fem olika varianterna av det ontologiska gudsbeviset presenterade av Anselm, Descartes, Malcolm, Plantinga respektive Gödel är rimliga. ... LÄS MER

  4. 3. Lucas and Penrose vs. Computationalism: A Refutation of the Gödel-arguments

    Kandidat-uppsats, Lunds universitet/Teoretisk filosofi

    Författare :Leonard Nygren Löhndorf; [2021]
    Nyckelord :Computationalism; Mechanism; Kurt Gödel; logic; incompleteness; metamathematics; Philosophy and Religion;

    Sammanfattning : John Lucas and Roger Penrose attempted to refute Computationalism, the theory that the human mind is a computational system. They did so by utilizing meta-mathematical proofs by Kurt Gödel. LÄS MER

  5. 4. En aning om ett sällsamt universum : En undersökning av C.J.L. Almqvists ”poetiska fuga”

    Kandidat-uppsats, Södertörns högskola/Litteraturvetenskap

    Författare :Caroline Jägerfeld; [2020]
    Nyckelord :Carl Jonas Love Almqvist; the poetic fugue; mathematics; strange loops; animal coeleste; mechanical coeleste; analogy; Douglas Hofstadter; Gödel Escher Bach: an eternal golden braid; non-linear time; Carl Jonas Love Almqvist; epism och dramatism; den poetiska fugan; Tintomara; sällsamma slingor; analogi; isomorfi; matematik; ideotiken; ideotiska metoden; Douglas Hofstadter; Gödel Escher Bach: ett evigt gyllene band;

    Sammanfattning : ABSTRACT And concrete diction Carl Jonas Love Almqvist’s Drottningens juvelsmycke (The Queen's Tiara; 1834) is, along with Amorina, the work primarily associated with the ”poetic fugue” – a concept the author develops in ”Om enheten av epism och dramatism; en aning om den poetiska fugan” (”On the unity of epism and dramatism; a notion of the poetic fugue”; 1821); an essay often considered vague and theoretical by researchers in the field. The meaning of the poetic fugue has been regarded unclear, but mainly considered as some kind of synthesis of epic and dramatic writing. LÄS MER

  7. 5. 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