Re: Godel's note 48a

elsiemelsi wrote:
AS has been pointed out by the Australian philosopher colin leslie dean

http://gamahucherpress.yellowgum.com/books/philosophy/GODEL5.pdf


godels proof is invalid for 5 reasons

so footnote 48a is really worthless

quote

Gödel is a complete failure as he ends in utter meaninglessness. Godels
theorems are invalid for 5 reasons: he uses the axiom of reducibility-
which is invalid, he uses the axiom of choice, he constructs impredicative
statements - which are invalid ,he miss uses the theory of types, he falls
into 3 paradoxes



--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html


I thought that note 48a explained everything, except the hilbertian etc mechanics expressing the metaphysical to mathematical translation. Godel employs two notions of object in his metaphysics. He subsumes them both under one object by resorting to a 'proof' when he expresses the picture he draws for us.

No doubt you may have identified tricks of the trade in how Godel translates a metaphysical premise of mathematics into a mathematical assertion. You can't do this of course, for reasons I gave.
.

Relevant Pages

  • Re: Godels
    ... godels proof is invalid for 5 reasons ... theorems are invalid for 5 reasons: he uses the axiom of reducibility- ... which is invalid, he uses the axiom of choice, he constructs impredicative ...
    (sci.logic)
  • Re: all the incompleteness proofs are worthless untill...
    ... False for two reasons: ... so is godels proof using invalid axioms and rejected systems ... what godel did was rubbish as everything he uses was rejected as invalid ...
    (sci.logic)
  • The complete disproof of Godels incompleteness theorem -paradox and invalid axioms
    ... For those that want to see the complete disproof of Godels incompleteness ... proof is based upon a misguided system of axioms and that it is invalid ... system are not due to the nature of the formal system but this ...
    (sci.logic)
  • Godels incompleteness theorem proven invalid
    ... incompleteness theorem is invalid ... he uses the invalid axiom of reduciblity in his axiom 2v and formular ... even peter smith of cambridge who wrote a bok on godels incompleteness ...
    (sci.math)
  • Godels incompleteness theorem proven invalid
    ... incompleteness theorem is invalid ... he uses the invalid axiom of reduciblity in his axiom 2v and formular ... even peter smith of cambridge who wrote a bok on godels incompleteness ...
    (sci.logic)