Re: Should we worry about contradictions?




aatu.koskensilta@xxxxxxxxx kirjoitti:

Chip Eastham wrote:
Russell's paradox is the quintessence of Cantor's paradox,
applying the diagonal argument to the universal set to show
that it cannot be in one-to-one correspondence with its
power set.

Russell indeed was led to his paradox by reflecting on Cantor's proof.

So I think it reasonable to say "destroyed 'naive' set theory"
as it was practiced by Cantor, Dedekind, et al.

In what sense did Cantor, Dedekind and other actual set theorists
practice "'naive' set theory" that was "destroyed" by Russell's
paradox? What result of Cantor, Dedekind or any other set theorist was
invalidated by Russell's paradox?

In Peter G. Hinman`s book of logic (2005), it is said that Cantor based
his deveploment on to principles: Extensionality and Global
compherension. Well, we all know that Global compherension leads to
Russell paradox. I don`t know what is the truth about Cantor`s work and
I have read also that opinions like Hinman`s
are wrong.

.



Relevant Pages

  • Re: Should we worry about contradictions?
    ... Russell indeed was led to his paradox by reflecting on Cantor's proof. ... In what sense did Cantor, Dedekind and other actual set theorists ... "set theory" but so similar in its effective power that Frege ...
    (sci.math)
  • Re: Why is the Russell Paradox necessary?
    ... the Russell Paradox method is necessary. ... given set is greater than the cardinality of the given set. ... But if we assume the existence of a set of all sets, ... Russell studied that proof, and *simplified* it to the one-line ...
    (sci.math)
  • Re: Raum als reine Anschauungsform ?
    ... didaktischen sonst keine Unterschiede zwischen Räumen und Mengen? ... Menge heisst laut Cantor: ... "Eine Menge ist die Zusammenfassung von wohlunterschiedenen Dingen der ... Diese Frage hat Russell mit "Definitiv Falsch" beantwortet. ...
    (de.sci.philosophie)
  • Re: Dumm sterben?
    ... Wesentlicher mag die Frage sein wie Russell und Cantors Mengenlehre ... inventor of naive set theory so often attributed to Cantor. ...
    (de.sci.mathematik)
  • Re: Godel Was No Aristotle
    ... themselves appears in the so-called Russell paradox, ... This paradox demonstrated that the logical system of Gottlob Frege, ... Lying Cretans were around at about 600 BC, ...
    (sci.logic)

Quantcast