57 Godel II

57 Godel II - CS103A HO#57 Gdel II Gdel Numbering Gdel's...

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

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

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

View Full Document
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 (
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/01/2011 for the course CS 103A taught by Professor Plummer,r during the Winter '07 term at Stanford.

Page1 / 6

57 Godel II - CS103A HO#57 Gdel II Gdel Numbering Gdel's...

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

View Full Document
Ask a homework question - tutors are online