Gödel‘s Second Incompleteness Theorem – this theorem states the followi

G&Atilde&pa - Gdels Second Incompleteness Theorem this theorem states the following For any formal effectively generated theory T including

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Gödel‘s Second Incompleteness Theorem – this theorem states the following: “For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent.” (1 wikipedia) Mimicking examples of this claim are found in, “theories of real numbers, of complex numbers and of Euclidean geometry.”(2 http://www.math.hawaii.edu/) They do have absolute complete axiomatizations. Hence in these systems there is no such thing as true but unprovable sentences. But this escapes the conclusion of first incompleteness theorem! The reason for this is the system’s inadequacy or in other words its ‘inconsistent’ nature. The above points to the fact that Gödel‘s second theorem strengthens his first theorem. If we examine the first incompleteness theorem it does not “directly express the consistency
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/27/2011 for the course PHI 330 taught by Professor Mar during the Fall '10 term at SUNY Stony Brook.

Page1 / 2

G&Atilde&pa - Gdels Second Incompleteness Theorem this theorem states the following For any formal effectively generated theory T including

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online