Re: the need for relevance

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

It's so full of contradictions that I can't even start to mention
them. But ah!! You call these contradictions: "counter intuitive
results" ..

A contradiction is a theorem of the form "A & ~A". If you can show
that ZFC proves such a theorem, then we would all agree that it is a
contradiction.

But maybe you mean something else by the term "contradiction". Well,
it's a bit bad form to redefine a term that already comes with a
conventional meaning in the relevant context, but let's ignore that
for now. Tell us: what do you mean when you use the term
"contradiction", as when you say "ZFC is so full of
contradictions..."?

--
Jesse F. Hughes
"Yes, I'm one of those arrogant people who tries to be quotable.
There is actually at least one person who quotes me often."
-- James Harris
.

Relevant Pages

  • Re: An uncountable countable set
    ... Han de Bruijn wrote: ... "Unbounded but finite" is a contradiction, ... mainstream "theorem" that the probability of a natural being a multiple ...
    (sci.math)
  • Re: Review of Mueckenheims book.
    ... it is not a contradiction that there is no greatest ordinal. ... In any model of ZFC the ZFC axioms are valid. ... the empty set (usually by axiom). ... Of course this all would not affect any physical theory. ...
    (sci.math)
  • Re: Mathematicians are in deep shit for 2 reasons
    ... contention that ZFC has been proved to be inconsistent. ... you offered skolems solution to prove set theory is not in contradiction ...
    (sci.logic)
  • Re: Mathematicians are in deep shit for 2 reasons
    ... But please dont expect the sci.logic community to ... in inconsistent (shows a contradiction). ... judgements about the adequacy of ZFC. ... So the subjective camp and the objective camp seems ...
    (sci.logic)
  • Re: Would it matter if ZF was inconsistent?
    ... superexponential expression -- the argument is circular. ... establish MoeBlee's goal of recovering as much of ZFC ... replacement theory that avoids the contradiction. ... suggests that a possible contradiction in PA is somehow ...
    (sci.logic)