Re: what makes it true?

mareg@xxxxxxxxxxxxxxxxxxxxxxxx () wrote:
> Given that neither CH not not CH can be deduced from the other
> axioms of set theory, this is not surprising! It is doubtful whether
> the notions of "true" and "false" can meaningfully be attached to
> the Continuum Hypothesis.

And if it turns out that neither GC nor not-GC can be deduced from the
axioms...?


- Tim
.

Relevant Pages

  • Re: what makes it true?
    ... >> axioms of set theory, this is not surprising! ... Derek Holt. ...
    (sci.math)
  • Re: Skolems Paradox and why is math the way it is?
    ... interpretation takes anything seriously at all. ... > believing the axioms are correct in some sense or something like that. ... Set theory was billed to me as the type-free be-all theory, ... It still doesn't mean that the reals ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... > produces any infinite values. ... It's a theorem of set theory. ... Forget about axioms here. ... > naturals, the universe is the real number line which includes all quantities, ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
    (sci.math)
  • Re: Skolems Paradox and why is math the way it is?
    ... |> |I have taken classes on set theory, ... |> |set theory books, ... |> thing is circular, giving the cycle of dependency you think there is. ... axioms the platonist states are then meant as truths about those ...
    (sci.math)