Re: Cantorian pseudomathematics

Han de Bruijn wrote:
> Pffff ...

Wait a minute! Until I just read another post in this thread, I forgot
that you're the same guy who has a web page where you posted a
blatantly inconsistent theory and you didn't even know it was
inconsistent until I informed you. Now, you've added to the page that
what your inconsistent theory does is show that set theory "blows up"
when you add your own axiom to it. Yes, when you add your axiom to set
theory, the resulting theory is inconsistent. Your argument is that
your axiom is required, since it is true of physical objects. The
implication we are to take is that the resulting inconsistency is the
fault of set theory, not of your adding an axiom that you deem
required. But the requirement you stipulate is nonsense:

http://huizen.dto.tudelft.nl/deBruijn/grondig/science.htm#ka

Physical objects are not sets. Sets are abstractions. Yes, if you
insist that sets are physical objects, then you can make up all kinds
of puerile stuff about sets. Your axiom that all objects must be
members of themselves is just inane.

MoeBlee

.

Relevant Pages

  • Re: Physics upgrade.
    ... If you are using set theoretic notation, I think that the correct set ... I have exactly zero marbles. ... > I asked you to prove how axiom 1 accomplishes providing a number system. ... PRECISE way of imposing numbers higher than 1 on physical objects, ...
    (sci.math)
  • Re: Peanos Axioms are Inconsistent
    ... you've done is proven that the system with those axioms is inconsistent. ... If P and Q are two propositions, and there exists an English sentence E ... I am going to call this the "Axiom of Ambiguity", ...
    (comp.theory)
  • Re: The MetaMathematical Theorem that Almost Was
    ... That's the DEFINITION of "inconsistent system", ... system is inconsistent if it derives a contradiction, ... "the existence of the empty set" but it doesn't even matter). ... the shortest proof possible: "It's an axiom." ...
    (sci.logic)
  • Re: arithmetic in ZF
    ... >> I think ZF is inconsistent, because of regularity, ... > Well, you should stop thinking that, because if ZF is inconsistent, ... the set of all ordinals would appear to be the same form ... functions between physical objects are themselves physical objects. ...
    (sci.logic)
  • Re: collatz conjecture -> a * p(a)
    ... believing or disbelieving that ZFC is inconsistent? ... That the axiom of choice is true means ...
    (sci.math)
Quantcast