Re: Implementable Set Theory and Consistency of ZFC

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.

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.
.

Relevant Pages

  • Re: Implementable Set Theory and Consistency of ZFC
    ... Han de Bruijn writes: ... follow from 1-4 is simply not a correct proof - that's a fact, ... Mathematics or what? ... Claiming that Ullrich is being dogmatic when he has repeatedly ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... > MoeBlee wrote: ... >> Han de Bruijn wrote: ... >>>axioms to be a foundation for constructive mathematics. ...
    (sci.math)
  • Re: What is Mathematics?
    ... Han de Bruijn wrote: ... Mathematics is not a system of axioms. ... However, if you to simply describe 'Nachtwacht' as an 'artwork' you wouldn't know whether to go to the library, the cinema, the theatre, the concert hall or the opera* to experience it. ...
    (sci.math)
  • Re: -- Wrong limits do not commute
    ... Han de Bruijn wrote: ... "completed infinities". ... What may seem wrong about mathematics to a physicist is mathematically ...
    (sci.math)
  • Re: Does a potential infinity actually exist?
    ... Han de Bruijn wrote: ... The early developers of anything new in mathematics (as in many other ... And that true path is yours, ...
    (sci.math)
Quantcast