Re: Implementable Set Theory and Consistency of ZFC

Virgil wrote:

In article <728b6$4720895d$82a1e228$26020@xxxxxxxxxxxxxxxx>,
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> wrote:

David C. Ullrich wrote:

Saying he's wrong does not prove that he is. Your "proof" that 5-8
follow from 1-4 is simply not a correct proof - that's a fact, independent of anything anyone may have said here.

Yes, you've declared that repeadedly, by _dogma_. Are you the Pope of
Mathematics or what? Or is it true that I'm not allowed to enter the
Sacred Rites of you and your companions?

You are allowed in, but only when you provide mathematically valid proofs of your claims.

David has said that as far as he can tell, 5-8 seem to follow from 1-4 in your model, but not necessarily in every model.

In my patient response to Moeblee, I've argued that my model is in fact
"every model". It's essentially independent of the suggested bitmapping.

As you only investigate the one model, this does not constitute a mathematically sound proof that in every 1-4 model one must also have 5-8.

Han de Bruijn

.

Relevant Pages

  • Re: Cantor and the binary tree
    ... > applying pure logic (in fact by applying an infinie but coutnable ... > Virgil: But in a maximal binary tree, ... > That is an interesting aspect of mathematics. ... > the path P many other paths separate in the next node. ...
    (sci.math)
  • Re: Galileos Paradox
    ... Virgil wrote: ... Tony Orlow wrote: ... What TO wants, TO has repeatedly shown that he not have the capacity to get, at least in mathematics. ... Dude, ...
    (sci.math)
  • Re: Question
    ... Virgil wrote: ... I am tired of you not bothering to clean up your replies; ... Undergraduate Texts in Mathematics ... Zuhair? ...
    (sci.math)
  • Re: Question
    ... Virgil wrote: ... I am tired of you not bothering to clean up your replies; ... Undergraduate Texts in Mathematics ... Uh-oh, Zuhair, that sounds a little too much like a Hollywood "religion" to me. ...
    (sci.math)
  • Re: infinity
    ... To those, like Virgil, who don't even attempt to ties their studies with ... reality, it is not surprising that results are at odds with reality, and ... >> The world of mathematics was invented to describe the world of reality. ... If one is aware of the gap between our understanding and reality, ...
    (sci.math)
Quantcast