Re: Who believes/believed that set theory is/was inconsistent?



Keith Ramsay wrote:
> The most respected person I've heard of doubting the
> consistency of PA is Ed Nelson. He expressed his doubt
> in his book _Predicative Arithmetic_. He spent some time
> trying to find an inconsistency.
>
> Now, saying that someone believes that set theory is
> inconsistent is a different (and more remarkable) story.

Hardly.

> I don't believe I've ever heard that he actually believed
> ZF or the like is inconsistent.

YOUR saying THAT makes YOU inconsistent, because
the consistency of PA *is* provable in ZFC.

.

Relevant Pages

  • Re: Who believes/believed that set theory is/was inconsistent?
    ... |>inconsistent is a different story. ... |My first reading of this was that saying someone believes ... in ~X as necessarily following from doubting X. Native ... remark. ...
    (sci.logic)
  • Re: Who believes/believed that set theory is/was inconsistent?
    ... >|>inconsistent is a different story. ... >|My first reading of this was that saying someone believes ... >in ~X as necessarily following from doubting X. Native ... >remark. ...
    (sci.logic)
  • Re: Peanos Axioms are Inconsistent
    ... and generally be a pain in the neck. ... You seem to have this distorted reality bubble surrounding you that makes your view of the world work and refuses to admit any possibility that clashes with said world view. ... Doesn't "undecidable" mean PA is inconsistent ... All I'm saying is that you have failed to produce a formal proof of the verity or falsehood of what you claim is proof. ...
    (comp.theory)
  • Re: Who believes/believed that set theory is/was inconsistent?
    ... |inconsistent is a different story. ... |My first reading of this was that saying someone believes ... |that set theory is inconsistent is more remarkable than ... This was taking "doubting the consistency of PA" to mean ...
    (sci.logic)
  • Re: Orlow cardinality question
    ... >> So you do not think there is anything inconsistent in saying ... >> time admitting that our notion of size does not apply to ... since one relies on the properties of the set members in such cases. ...
    (sci.math)
Quantcast