The Second Incompleteness Theorem, Reflections and Ruminations

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

In this paper we discuss two problems. The first is the problem whether the Second Incompleteness Theorem has foundational meaning even when applied to weak or unsound theories. The second is the problem of formulating the Second Incompleteness Theorem (G2) in a way that is both general and coordinate-free.

We will formulate a number of results that are relevant for these problems. We argue for a partial (dis)solution of the first problem.
Original languageEnglish
Title of host publicationGödel’s Disjunction
Subtitle of host publicationthe scope and limits of mathematical knowledge
EditorsLeon Horsten, Philip Welch
Place of PublicationOxford
PublisherOxford University Press
Pages67-90
Number of pages23
ISBN (Print)978-0-19-875959-1
Publication statusPublished - 2016

Keywords

  • incompleteness
  • intensionality
  • meaning
  • Second Incompleteness Theorem
  • Provability Logic

Fingerprint

Dive into the research topics of 'The Second Incompleteness Theorem, Reflections and Ruminations'. Together they form a unique fingerprint.

Cite this