Re: A consideration concerning the diagonal argument of G. Cantor

From: "Ross A. Finlayson" <raf@xxxxxxxxxxxxxxxxxxxxxxx>
Date: Thu, 27 Mar 2008 17:23:48 -0800

Ralf Bader wrote:

WM wrote:

I can prove that there exists an n which requires more than 10^80 bits
to name it. This n does not exist.

HAHAHAHAHAHAHAHAHA

"What sort of self-contradicting set theory requires a union of existing sets NOT to exist as a set? No set theory consistent with mathematics does that." -- Virgil
.

Prev by Date: Blood eating is banned in islam
Next by Date: Re: "what is the deriative actually?"
Previous by thread: Re: A consideration concerning the diagonal argument of G. Cantor
Next by thread: Value of undergrad math research (was: math grad admissions)
Index(es):
- Date
- Thread

Relevant Pages

Basis for Lambda Functions
... Now I am aware that exactly the same sort of complaint could be made ... nothing to be members of the basic sets. ... of set theory whenever they might need it; ... We may not need them, like we don't need urelelments, but it would be ...
(sci.logic)
Re: Key attributes with list values was Re: What are the differences ...KEY
... be using set theory. ... (genetic and other bioinformatics data), ... missing due to some sort of antiprocess on my part. ...
(comp.databases.theory)
Re: Raatikainens critique of Chaitin
... What sort of testing? ... Well, I don't expect it, but that's the kind of contradiction I ... ZFC (set theory with the axiom of choice). ...
(sci.math)
Re: Raatikainens critique of Chaitin
... What sort of testing? ... Well, I don't expect it, but that's the kind of contradiction I ... ZFC (set theory with the axiom of choice). ...
(comp.theory)
Re: Two results of set geometry
... The diagonal is not just a subset of the union of the set of rows; ... sequence is fintite, then the sequence is finite", then there's no ... reason for you to do proofs regarding set theory. ... you have certain principles that contradict those axioms. ...
(sci.math)