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


you say

all the evidence points to maths being inconsistent
russell paradox
burali-forti paradox
skolem pardox
banach-tarski paradox

No. None of these paradoxes show math is inconsistent.
i say


at the time of there discovery they showed maths was inconsistent
oh yes some of these are now ruled out
but only by artifically introducing ad hoc defitions or axioms to make
them illegal
every time a paradox shows up that shows maths is inconsistent
all you do is define it away


as this nice quote show you

http://en.wikipedia.org/wiki/Dialetheism

From the premises of classical logic and naïve set theory one can derive
outright contradictions, a result that is traditionally frowned upon. The
classical response to this problem is to revise the axioms of set theory
in order to make them consistent.


not you get around the inconsistencies in maths by ad hoc reviseing your
axioms

hahaha just a bunch of cheats

so it looks like godels assumption of consistency is wrong any way so his
proof is more worthless

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

.

Relevant Pages

  • Re: Opinions?!
    ... theorem: E!xAy(~yex) ... are axioms. ... any other known paradox? ... Is this theory clearly inconsistent? ...
    (sci.math)
  • Opinions?!
    ... theorem: E!xAy(~yex) ... are axioms. ... any other known paradox? ... Is this theory clearly inconsistent? ...
    (sci.math)
  • Re: all the incompleteness proofs are worthless untill...
    ... it could be one of your most important discoveries for your life. ... burali-forti paradox ... every time a paradox shows up that shows maths is inconsistent ...
    (sci.logic)
  • Re: Godel is self-contradictory
    ... i am on a different path- this is just amusement to stir all your wankers ... ad hoc axiom to negate it -because you assume with out proof maths is ... russell paradox ... I'm quite interested in the philosophy of mathematics, ...
    (sci.logic)
  • Re: Come on prove skolem paradox is not a contradiction
    ... found as soon as the paradox was first discussed, ... Skolem, and is well-understood by any serious student of the topic. ... I fail to see how this is inconsistent with anything I've said. ... Peter Suber, Philosophy Department, Earlham Collegehttp://www.earlham.edu/~peters/courses/logsys/low-skol.htm ...
    (sci.logic)