Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Model-Theoretic Proof of Gödel's Theorem: Kripke's Notion of Fulfilment
Stockholms universitet, Naturvetenskapliga fakulteten, Matematiska institutionen.
2017 (engelsk)Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
Abstract [en]

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. These results are then generalised to a more general notion of fulfilment, proving that IΣ1 has no complete, consistent, recursively axiomatisable, Σ2-sound extensions by a similar construction of an independent sentence. This generalisation comes at the cost of some naturality, however, and an explicit falsifying model will only be obtained under additional assumptions.

The aim of the thesis is to reproduce in some detail the notions and results developed by Kripke and Quinsey and presented by Quinsey and Putnam. In particular no novel results are obtained.

sted, utgiver, år, opplag, sider
2017. , s. 90
Serie
Självständiga arbeten i matematik ; 2017:3
Emneord [en]
Fulfilment, Gödel's Theorem, Incompleteness
HSV kategori
Identifikatorer
URN: urn:nbn:se:su:diva-157490OAI: oai:DiVA.org:su-157490DiVA, id: diva2:1221351
Presentation
2017-01-13, Sal 32, Hus 5, Kräftriket, Stockholm, 13:00 (engelsk)
Veileder
Examiner
Tilgjengelig fra: 2018-06-20 Laget: 2018-06-19 Sist oppdatert: 2018-06-20bibliografisk kontrollert

Open Access i DiVA

fulltext(844 kB)31 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 844 kBChecksum SHA-512
e6db66d8f36d470952b33168f415ae0694af0b85309f7f606ae0bf0a378ea2ca3134cf9085f321e97552efac89663e1e65df6acc650f41b06600623e777959f6
Type fulltextMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Granberg Olsson, Mattias
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 31 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 157 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf