Many logicians believe that gdels incompleteness theorems struck a fatal blow to david hilberts second problem which asked for a finitary consistency proof for mathematics the second incompleteness theorem in particular is often viewed as making the problem impossible. Gdels ontological proof is a formal argument by the mathematician kurt gdel 1906 1978 for gods existence more precisely it presupposes the notion of positive and negative properties and proves the necessary existence of an object which each positive property . To ask other readers questions about gdels proof please sign up be the first to ask a question about gdels proof highly entertaining and thoroughly compelling this little gem represents a semi technical but comprehensive and mathematically accurate elucidation of the famous and so often . What is godels theorem share on facebook share on twitter share on reddit share on linkedin among the best things to read though is godels proof by ernest nagel and james r newman . Gdels proof gdels proof in a nutshell is to create a wff that says in one interpretation this wff cannot be proved in s then to prove that it is undecidable in s and thereby to prove that it is true
How it works:
1. Register a Free 1 month Trial Account.
2. Download as many books as you like ( Personal use )
3. No Commitment. Cancel anytime.
4. Join Over 100.000 Happy Readers.
5. That's it. What you waiting for? Sign Up and Get Your Books.