Download presentation

Presentation is loading. Please wait.

1
**This is not the Title of our Seminar**

CS344 Course Seminar By Amod Jog ( ) Chaitanya Amdekar( ) Aaditya Ramdas ( ) Abhishek Gupta(05d05015)

2
**Talk Outline & Motivation**

Consistency and Completeness Historical References Self-reference. Why is it important? Gödel’s Incompleteness Theorem Paradoxes and analogies Basic concepts involved Implications of Gödel’s Theorem

3
**Consistency and Completeness**

An Axiomatic System Axioms Rules Theorems Examples Consistency An 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. Completeness An axiomatic system will be called complete if every true statement is derivable as a theorem.

4
**Historical References**

Attempts to create a formal number theoretic system which is consistent and complete Gottlob Frege – using set theory Russell’s Paradox due to self-reference Russell and Whitehead - Principia Mathematica, attempt to remove self-reference. Problems encountered in their approach

5
**Self-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

6
**Gö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”

7
**Paradoxes and analogies**

Provability is a weaker notion than truth. Robots and self-destructing guitars! Liar’s Paradox Grelling’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?"

8
**Gödel’s Incompleteness Theorem**

Roadmap of Basic Concepts involved: Typographical Number Theory (TNT) The killer sentence G Gödelized version of TNT ‘Theoremhood’ Arithmoquining

9
**TNT 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) Rules There are > dozen rules Eg: ~~, or ~A = E~

10
The killer sentence G Aim: Construct a sentence that can be used to disprove the assumption Idea - “This statement is true but not provable.” Sentence G: “This statement is not a theorem of TNT.” We will now formalize TNT

11
**Gödelized version of TNT**

TNT statement: ~Ea:a*a=SS0 Gö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't A 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-rules The 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.

14
Arithmoquining A 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 Sentences Arithmoquining: 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”

15
**Arithmoquining In words, A more complicated example**

T: a = S0 A: The Gödel number of Sentence T is 1. A more complicated example T: a = SS0 * a - SSSS0 A: 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.

16
Finally – 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!!!

17
**Conclusion (Implications)**

Mathematics may have multiple truths, some of which are contradictory. E.g.: difference between Euclidean and non-Euclidean geometry The fact that we cannot create a formal system which can capture all of mathematical truth casts serious doubt on the objectiveness of such truth

18
**Conclusion (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.

19
**Conclusion (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.

20
**Conclusion (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, either But we can obtain those results, so our thinking cannot be adequately represented by a computer, or an axiomatic system Therefore, we are not computational machines, and none of them could be as intelligent as we are

21
References Hofstadter,Douglas Godel, Escher, Bach: an Eternal Golden Braid

Similar presentations

Presentation is loading. Please wait....

OK

15-251 Great Theoretical Ideas in Computer Science.

15-251 Great Theoretical Ideas in Computer Science.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on 2 stroke engine Ppt on gadgets used at home Ppt on current account deficit in india Ppt on child labour in english Ppt on chemical reactions and equations class 10 free download Ppt on dispersal of seeds by animals By appt only movie Ppt on nature and human development Ppt on electricity from waste materials Ppt on acute myeloid leukemia