Re: continuum hypothesis and 0=1



Rupert a écrit :
On Mar 1, 1:20 am, Denis Feldmann <denis.feldmann.asuppri...@club-
internet.fr> wrote:
Rupert a écrit :> On Feb 28, 1:02 am, Pierre-Yves Gaillard <gaill...@xxxxxxxxxxxxxxx>
wrote:
A proof of the equality of the integers 0 and 1 would create a
contradiction in mathematics.
Would a proof of the continuum hypothesis create an equivalent
contradiction?
http://www.iecn.u-nancy.fr/~gaillard/
I can write you a computer program, and, given a proof in ZFC of the
continuum hypothesis, it will give you a proof in ZFC that 0=1.
Are you sure (see my own answer). I believe this is not so clear, as we
only know that if ZFC is supposed w-consistent. Or I am making some
confusion?

Yes, I'm pretty sure. The details are a bit tricky. Which version of
Cohen's proof are you familiar with?

I read your other answers, and I see now you are right. In fact, I am quite familiar with Cohen's work (having translated it in French in 1969)... but I had forgotten this part of the analysis :-(
.



Relevant Pages

  • Re: continuum hypothesis and 0=1
    ... contradiction in mathematics. ... Would a proof of the continuum hypothesis create an equivalent ... I can write you a computer program, and, given a proof in ZFC of the ...
    (sci.math)
  • Re: continuum hypothesis and 0=1
    ... contradiction in mathematics. ... Would a proof of the continuum hypothesis create an equivalent ... I can write you a computer program, and, given a proof in ZFC of the ...
    (sci.math)
  • Re: continuum hypothesis and 0=1
    ... contradiction in mathematics. ... continuum hypothesis, it will give you a proof in ZFC that 0=1. ... only know that if ZFC is supposed w-consistent. ...
    (sci.math)
  • Re: Aleph One Sets
    ... > are models of ZFC in which CH is false. ... Mike can speak for himself, but I know what it means to me: ... I now believe the Continuum Hypothesis is ... Models of ZF in which the axiom of choice is false didn't stop existing ...
    (sci.logic)
  • 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)