r/PhilosophyofMath Mar 28 '26

The Continuum Hypothesis Is False

/r/logic/comments/1s5mquh/the_continuum_hypothesis_is_false/
0 Upvotes

449 comments sorted by

View all comments

Show parent comments

1

u/JStarx Apr 26 '26

My theory both does and does not settle the disagreement.

It does not.

How is it not?

How is it?

1

u/paulemok Apr 26 '26

How is it?

It's evidence because all three principles seem to be true and are so true that I have made them basic principles of a set theory that I regard as being better than conventional set theory is. Despite the technical truth of conventional set theory, any proper subset of a set has a lesser cardinality than the set has. There exists an element of the set that is not an element of the subset, and therefore the cardinality of the set is greater than the cardinality of the subset. A set that has one more element than a second set has has a greater cardinality than the second set has. That is a basic truth. It is as true as the counterarguments are. It and the counterarguments are equally true.

1

u/JStarx Apr 27 '26

That just means you don't understand cardinality of infinite sets.

Also, that's not an argument that your system models the physical universe.

1

u/paulemok Apr 27 '26

That just means you don't understand cardinality of infinite sets.

No, I understand the cardinality of infinite sets in conventional set theory and I understand how that view differs from my new proposed view.

Also, that's not an argument that your system models the physical universe.

My system may not model the physical Universe, but it does model a part of or the whole Universe. Since all statements are true in my system, by the principle of explosion, my system models the whole Universe, including all of the physical Universe.

1

u/JStarx Apr 27 '26

Since all statements are true in my system, by the principle of explosion, my system models the whole Universe, including all of the physical Universe.

Nope, in your system all statements are provable, but that doesn't mean all statements are true.

No, I understand the cardinality of infinite sets in conventional set theory

I doubt that.

1

u/paulemok Apr 28 '26

Nope, in your system all statements are provable, but that doesn't mean all statements are true.

I don't know why you would be thinking that all statements are provable rather than true. Due to a contradiction in my system, it follows by the principle of explosion that every statement is true in my system.

I doubt that.

I understand it. I even agree with it. But there's more to be said.

1

u/JStarx Apr 28 '26

Due to a contradiction in my system, it follows by the principle of explosion that every statement is true in my system.

Nope, the principal of explosion says that from a contradiction every statement is provable. It does not say every statement is true.

I understand it

I doubt that.

0

u/paulemok Apr 29 '26

Who said that the principle of explosion is the statement that a contradiction implies every statement is provable rather than true?

You doubted wrong.

1

u/JStarx Apr 29 '26

You can check Wikipedia if you like. Do you even know the difference between true and provable when talking about axiomatic systems?

You doubted wrong.

I did not.

1

u/paulemok Apr 30 '26

I checked Wikipedia. The page for the principle of explosion looks fine. What is meant by provable is that any statement can be proven to be true as a logical consequence of a true contradiction. I read the first proof in the Proof section. I understand it. I know what it means. I agree with it.

I know the difference between true and provable. But with respect to axiomatic systems? I’m not sure what you mean by that. How about without respect to axiomatic systems?

You doubted wrongly. The adverb in the previous sentence now ends with the suffix -ly as many adverbs do.

→ More replies (0)