Re: Cantor's Argument Skolemized?


I think it would be of tremendous philosophical and mathematical
interest if we could construct a set theory without the transfinite
stuff, i.e. a set theory that could do all the practical mathematics
but either could not prove |P(N)| > |N| or could prove |P(N)| = |N|.

Occam's razor comes to mind.
.

Relevant Pages

  • Re: Lowenheim-Skolem-Ockham Theorem
    ... Whatever Occam's Razor says, it says nothing about ... explanation for a phenomenon is "most likely". ... in a situation in mathematics where we don't know ... could be such a set theory, ...
    (sci.logic)
  • Re: Cantors Argument Skolemized?
    ... interest if we could construct a set theory without the transfinite ... i.e. a set theory that could do all the practical mathematics ...
    (sci.logic)
  • Re: Cantors Argument Skolemized?
    ... Newberry writes: ... interest if we could construct a set theory without the transfinite ... i.e. a set theory that could do all the practical mathematics ...
    (sci.logic)
  • Re: Cantors Argument Skolemized?
    ... Newberry writes: ... interest if we could construct a set theory without the transfinite ... i.e. a set theory that could do all the practical mathematics ...
    (sci.logic)
  • Re: Cantors Argument Skolemized?
    ... i.e. a set theory that could do all the practical mathematics ... Somehow, I think you two need to fill in a few details... ... "Occam's razor" is a standard term for the idea of not "multiplying ... Yes, thanks, I know what Occam's razor is. ...
    (sci.logic)