Presentation on theme: "This is not the Title of our Seminar"— Presentation transcript:
1This is not the Title of our Seminar CS344 Course SeminarByAmod Jog ( )Chaitanya Amdekar( )Aaditya Ramdas ( )Abhishek Gupta(05d05015)
2Talk Outline & Motivation Consistency and CompletenessHistorical ReferencesSelf-reference. Why is it important?Gödel’s Incompleteness TheoremParadoxes and analogiesBasic concepts involvedImplications of Gödel’s Theorem
3Consistency and Completeness An Axiomatic SystemAxiomsRulesTheoremsExamplesConsistencyAn axiomatic system is said to be consistent if it lacks contradiction, i.e. the ability to derive both a statement and its negation from the system's axioms.CompletenessAn axiomatic system will be called complete if every true statement is derivable as a theorem.
4Historical References Attempts to create a formal number theoretic system which is consistent and completeGottlob Frege – using set theoryRussell’s Paradox due to self-referenceRussell and Whitehead - Principia Mathematica, attempt to remove self-reference.Problems encountered in their approach
5Self-Reference This sentence is false. The following sentence is true. The preceding sentence is false.(Indirect self-reference)The Ouroboros, a dragon that bites its tail, is a symbol for self-reference
6Gödel’s Incompleteness Theorem “To every w-consistent recursive class k of formulae there correspond recursive class signs r, such that neither uGenr nor Neg(uGenr) belongs to FLG (k) (where u is the free variable of r)”“All consistent axiomatic formulations of Number theory include undecidable propositions”
7Paradoxes and analogies Provability is a weaker notion than truth.Robots and self-destructing guitars!Liar’s ParadoxGrelling’s Paradox“Is it possible to formally codify the Universe in such a way that our system of coding will be both complete and consistent?"
8Gödel’s Incompleteness Theorem Roadmap of Basic Concepts involved:Typographical Number Theory (TNT)The killer sentence GGödelized version of TNT‘Theoremhood’Arithmoquining
9TNT Typographical Number Theory Axioms Rules Axiom 1: Aa:~Sa=0 Axiom 2: Aa:(a+0)=a Axiom 3: Aa:Aa':(a+Sa')=S(a+a') Axiom 4: Aa:(a*0)=0 Axiom 5: Aa:Aa':(a*Sa')=((a*a')+a)RulesThere are > dozen rulesEg: ~~, or ~A = E~
10The killer sentence GAim: Construct a sentence that can be used to disprove the assumptionIdea - “This statement is true but not provable.”Sentence G: “This statement is not a theorem of TNT.”We will now formalize TNT
11Gödelized version of TNT TNT statement: ~Ea:a*a=SS0Gödelized:TNT rule: The string ~~ can be deleted wherever it appears in any string.Gödelized: The string can be deleted wherever it appears in any string.Nothing has changed!
12‘Theoremhood’We define a new property of natural numbers - "theoremhood" - every number either has it, or doesn'tA number has theoremhood iff it corresponds to a valid theorem of TNT—or, in other words, to a true statement about numbers.A number has theoremhood if it is possible to create that number from our small set of axiom-numbers, by the application of our small set of function-rulesThe 3 forms :"Zero equals zero" is true.The string 0=0 is a valid TNT theorem (ie can be derived from axioms).The number has the theoremhood property.
13‘Theoremhood’Remember : We assume TNT can express any mathematical statement, no matter how complex, including" has theoremhood“ The 3 forms again :" has theoremhood" is true.The TNT string for " has theoremhood" is a valid TNT theorem.The Gödel number for the TNT string for " has theoremhood," has theoremhood.
14ArithmoquiningA TNT string cannot possibly be big enough to "contain" its own Gödel number.We resort to “arithmoquining”, the best step!It fulfills our aim : Get TNT Sentences About TNT SentencesArithmoquining: Take any TNT sentence which has a free variable say ‘a’, and replace all its occurrences in the sentence with the Gödel number of the sentence.For e.g.a=S0 is the TNT sentence then is its Gödel number. Arithmoquining then gives,“ =1”
15Arithmoquining In words, A more complicated example T: a = S0A: The Gödel number of Sentence T is 1.A more complicated exampleT: a = SS0 * a - SSSS0A: Sentence T is 2 times sentence T minus 4.Sentence T is neither true nor false, since a is unspecified. Sentence A, the arithmoquine of Sentence T, is a blatantly false statement about a specific number.Possible Attempt at G:T: a is not a valid TNT theorem-number.A: Sentence T is not a valid TNT theorem-number.
16Finally – G!Killer-G :T: The arithmoquine of a is not a valid TNT theorem-number.A: The arithmoquine of Sentence T is not a valid TNT theorem-number.G: The arithmoquine of "The arithmoquine of a is not a valid TNT theorem-number" is not a valid TNT theorem-number.So in the end, we have G for the TNT and as discussed earlier it is indeed true but not provable.Hence, TNT, is incomplete!!!
17Conclusion (Implications) Mathematics may have multiple truths, some of which are contradictory.E.g.: difference between Euclidean and non-Euclidean geometryThe fact that we cannot create a formal system which can capture all of mathematical truth casts serious doubt on the objectiveness of such truth
18Conclusion (Implications) How can you figure out if you are sane?Each person has his own peculiarly different consistent logic.Given that you have only your own logic to judge itself, how can you tell if your own logic is ‘peculiar’ or not?Once you begin to question your own sanity, you get trapped in an ever-tighter vortex of self-fulfilling prophecies, though the process is by no means inevitable.
19Conclusion (Implications) There are many people who believe that the human mind, based on neurons and physical principles, is just a very sophisticated formal system.Does Gödel's theorem imply the existence of facts that must be true, but that our minds can never prove? Or believe? Or conceive?Limitation on science, knowledge and mathematics?Not likely, knowledge in science is rarely represented in terms of axioms.
20Conclusion (Implications) Probably the most common fallacy- AI is impossible (rather, machines cannot think)Axiomatic systems are equivalent to abstract computers (Turing machines)Since there are true propositions which cannot be deduced by interesting axiomatic systems, there are results which cannot be obtained by computers, eitherBut we can obtain those results, so our thinking cannot be adequately represented by a computer, or an axiomatic systemTherefore, we are not computational machines, and none of them could be as intelligent as we are
21ReferencesHofstadter,Douglas Godel, Escher, Bach: an Eternal Golden Braid