Re: all the incompleteness proofs are worthless untill...

you say

False for two reasons:

(1) Any claim about the "invalidity" of PM, even if we accept it, does
not affect the interest of the result.
(2) The result applies to many systems other than PM

i say
just as you said a prof using 1+1=pi would be trivial
so is godels proof using invalid axioms and rejected systems

if the result apply to other systems
so what
what godel did was rubbish as everything he uses was rejected as invalid

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

.

Relevant Pages

  • Re: Godels note 48a
    ... godels proof is invalid for 5 reasons ... theorems are invalid for 5 reasons: he uses the axiom of reducibility- ...
    (sci.logic)
  • George admitts colin leslie dean is correct
    ... EVEN IF elsiemelsie found something he could legitimately disagree with ... george goes onto say ... deans point is godel proof is invalid he is not talking about what others ... if they had really studied godels proof they would have seen it was ...
    (sci.logic)
  • 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...
    ... so is godels proof using invalid axioms and rejected systems ... of Bounded Arithmetic you think is invalid. ...
    (sci.logic)
  • Re: Delphi 2005 Pro - Converting a D7 Project to it... (long!)
    ... Derek Davidson wrote: ... > There are thousands of reasons not to do something. ... He only showed why the PCPlus/Borland comparison is invalid. ...
    (borland.public.delphi.non-technical)