57 Godel II

57 Godel II - CS103A HO #57 Gdel II 3/12/08 Gdel Numbering...

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

View Full Document Right Arrow Icon
CS103A HO #57 Gödel II 3/12/08 1 Gödel's Incompleteness Theorem Kurt Gödel (1906 – 1978) ( x ) ( x = s y ) 8 4 11 9 8 11 5 7 13 9 2 ±·3 ±·5 ±·7 ±·11 ±·13 ±·17 ±·19 ±·23±·29 This scheme allows us to represent every formula with a unique number. Given a number, we can determine whether it is a Gödel number, and if so, we can recover the formula, since every number has a unique prime factorization. Gödel Numbering ( x ) ( x = s y ) 8 4 11 9 8 11 5 7 13 9 2 ±·3 ±·5 ±·7 ±·11 ±·13 ±·17 ±·19 ±·23±·29 S: Syntactic remark: S begins with '(' Arithmetic statement: The Gödel number is S is divisible by 2 8 but not by 2 9 Correspondence between syntactic properties of sentences and arithmetic properties of Gödel numbers Statement A: (p p) p Statement B: (p p) Syntactic remark: B is an initial part of A Arithmetic statement: The Gödel number of A is divisible by the Gödel number of B Correspondence between syntactic properties of sentences and arithmetic properties of Gödel numbers
Background image of page 1

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

View Full DocumentRight Arrow Icon
CS103A HO #57 Gödel II 3/12/08 2 Now consider the statement 'The sequence of formulas with the Gödel number x is a proof of the formula with Gödel number z.' This statement is represented by a definite formula in the arithmetic calculus that expresses a purely arithmetic relation between x and z. So the truth or falsity of the statement hangs on whether x and z bear the proper arithmetic relationship. We will denote this relationship with the name 'Dem', so we will write the sentence above as Dem(x,z) Note that even though the statement at the top is a meta-mathematical statement, there is a (complicated) formula for Dem in the arithmetic calculus. We need one more notation, concerning substitution for a variable: Suppose m is the Gödel number of the formula ( x)(x = sy) Subsitute in this formula for the variable with Gödel number 13 (i.e., y) the numeral for m. We get the formula (
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 6

57 Godel II - CS103A HO #57 Gdel II 3/12/08 Gdel Numbering...

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

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