1 / 16

G ödel’s Incompletness Theorem

G ödel’s Incompletness Theorem. By Njegos Nincic. Overview. Set theory: Background, History • Naïve Set Theory Axiomatic Set Theory Icompleteness Theorem • Godel’s Proof • Simplified Explanation Consequences Summary. Set Theory. Underlaying foudations of all mathematics

blithe
Download Presentation

G ödel’s Incompletness Theorem

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Gödel’s IncompletnessTheorem By Njegos Nincic

  2. Overview • Set theory: Background, History •Naïve Set Theory • Axiomatic Set Theory • Icompleteness Theorem • Godel’s Proof • Simplified Explanation • Consequences • Summary

  3. Set Theory • Underlaying foudations of all mathematics • All proofs must be compliant with the axioms of the theory • Analogy: • Assembly : Visual Basic :: • Set Theory : Calculus • Language of logic symbols x[Øxy(yx → {y,{y}}x)]

  4. Naïve Set Theory • Always implied • Formalized by Cantor in the 19th century • Set is any collection of objects • Allows construction of “Set of All Sets” Georg Cantor

  5. Russell’s Paradox S = { x : x  x } S  S  S  S • If the barber shaves all those who do not themselves shave, does he shave himself? • Responded to by introduction of rigorous axioms in set theory (Zermelo-Fraenkel axioms) Bertrand Russell

  6. ZFC Axioms: Extensionality: xy[z(zx ≡ zy) → x=y] Null Set: x¬y(yx) Pairs: xyzw(wz ≡ w=xw=y) Unions: xyz[zy ≡ w(wx & zw)] Power Set: xyz[zy ≡ w(wz → wx)] Infinity: x[Øxy(yx → {y,{y}}x)] Regularity: x[x≠Ø → y(yx & z(zx → ¬(zy)))] Replacement Schema: z1v…zk[x!yφ(x,y,z ) →uvr(rv ≡ s(su & φx,y[s,r,z]))] Separation Schema: z1…zk[uvr(rv ≡ ru & ψx, [r, z])] Axiom of Choice: yzw[(zw & wx ) vu[t((uw & wt) & (ut & ty)  u = v)] (optional)  “Set of all sets” impossible to construct from axioms

  7. Incompletness Theorem • After axiomatization, formal mathematics revitalized by Hilbert’s Program to prove consistency of a finite comlete set of axioms • In 1930, Incompletness Theorem introduced and proved by Kurt Goedel • States that: “In any consistent formalization of mathematics one can construct a statement that can neither be proved nor disproved within that system”

  8. Incompletness Theorem • Formalization states: “No consistent system can be used to prove its own consistency” • Hilbert’s program stopped • No mathematical system can be complete and consistent at the same time Kurt Godel

  9. Proof • Compute (encode) the Godel number for a given statement by using the following table: [ example: x¬y(yx) ]

  10. Proof • … by raising the corresponding prime from the list of primes (2, 3, 5, 7, 11, …) – where the first symbol gets the first prime, the second symbol the second prime and so on – to the power of the number we get from the table for that symbol and multiplying everything together: x¬s(sx) = 2^13 • 3^9 • 5^11 • 7^13 • 11^2 • 13^6 • 17^2 • 19^16 • 23^9 • 29^7  1.15389 • 10 81

  11. Proof • We can assign Godel numbers to groups of statements (GN  “Godel number”): Statement 1 (GN1) Statement 2 (GN2) Statement 3 (GN3) • Let R  “proves” relationship: R(s, x)  “x proves s” R(GN3, GN2) = “Statement with Godel number GN2 proves statement with Godel number GN3” } = 2GN1•3GN2•5GN3

  12. Proof • We can construct the following statement: x, ¬R(v,x)  “no proposition of type v can be proved.” • Calculate the Godel number for the statement and feed it back into the statement: x, ¬R(GN(above statement),x)  “no proposition that says 'no proposition of type v can be proved' can be proved.”  “this proposition cannot be proved.”

  13. Proof – informal account • Suppose that a Universal Truth Computer (UTC) is built. It claims that it can prove (true or false) any statement that can possibly be made. • Name the system on which the UTC is built S. • Let P = “Machine based on system S will never prove statement R” • Let R = P: “Machine based on system S will never prove this statement” • If the UTC proves the statement true, that means that it will never prove it; if it does not prove it, it must prove it. • Therefore we, outside of system S, can see that the above statement is indeed true (the UTC will never prove it) but this can not be shown within the system.

  14. Undecidable statements • Continuum hypothesis: • The Halting Problem: “Does a given algorithm, when executed on an initial input, ever halt?” • Axiom of choice: yzw[(zw  wx ) vu[t((uw  wt)  (ut  ty)  u = v)]

  15. Summary • All math theorems must be provable within set theory • Problems in set theory: one fixed (Russell’s paradox), one can never be fixed • Naïve set theory : inconsistent ZFC : incomplete • Godel’s theorem holds for all consistent systems • Many theorems proved undecidable based on Godel’s theorem

  16. References • Godel’s Theorem: http://en.wikipedia.org/wiki/G%F6del's_incompleteness_theorem • Axiom of Choice: http://math.vanderbilt.edu/~schectex/ccc/choice.html • Godel and paradoxes: http://www.abelard.org/metalogic/metalogicA3.htm • 100 years of Russel’s paradox: http://www.lrz-muenchen.de/~russell01/ • Metamath: http://www.metamath.org/ • Rudy Rucker: “Infinity and Mind” • Simon Singh: “Fermat’s Enigma”

More Related