4 ms·
What if we replace P={god exists} with P={there is a cardinality between integers and reals}? I think some people think of “god exists” as unknowable, or undef
by ks2048 2y ago
What if we replace P={god exists} with P={there is a cardinality between integers and reals}?
I think some people think of “god exists” as unknowable, or undefinable, or ill-defined, etc. But the “riddle” requires P to be exactly true or false. Seems one of the pitfalls of mixing natural language with mathematics.
- ilya_m 2y ago> But the “riddle” requires P to be exactly true or false. Your choice of P (whether the continuum hypothesis holds) is still ill-defined! This is because the answer depends on the system of axioms one subscribes to. Or, if you feel like playing God, you may pick an answer (CH holds / does not hold) and find axioms that support it. (Which can be as simple as ZF + CH holds/does not hold.)