how did you do it can you share with me , thank you

Same here. Submitted article based on this idea to Journal of Symbolic Logic 1977. Refused.

@aligator7181

5 жыл бұрын

What idea, can you elaborate ?

@annaclarafenyo8185

2 жыл бұрын

That's because anyone after Cohen with any sense can see that the continuum problem is not meaningful.

@elizabethharper9081

2 жыл бұрын

Why not meaningful? There are consequences of CH in topology or analysis.

@annaclarafenyo8185

2 жыл бұрын

@@elizabethharper9081 These problems come out different in different models of the real numbers. After Cohen, you stop being a Platonist regarding the real numbers, they become an enormous thing, much larger than any set. This is because they are intrinsically uncountable, while models of set theory are entirely countable, by the Skolem theorem. This is the huge breakthrough of forcing, it shows you how to modify models of set theory by changing the model of the real numbers, or any other uncountable set of infinite powerset size.

@elizabethharper9081

2 жыл бұрын

@@annaclarafenyo8185 Meaningfulness of a statement comes from it's consequences when it is combined with an assumed theory, not it's independence from it.

What about only one axiom: Axiom: A proposition is true if and only if it does not imply a contradiction Formally: A proposition P is True if and only if, there is at least one proposition Q s.t. P and not Q. The Axiom itself respects this property, because of Godel's theorem: P = Axiom and Q = Every True proposition can be derived from P

@urigeorgepeterzil130

3 жыл бұрын

You cannot quantify over propositions.

@Lucas-bf4pw

3 жыл бұрын

@@urigeorgepeterzil130 Logically, every proposition that can be derived from P is already "contained" in P, so we can redefine the statement avoiding the quantifier: P is True if and only if not P implies P. No quantifiers.

@urigeorgepeterzil130

3 жыл бұрын

This seems circular, but I am no longer in my comfort zone

@tdbcclubmanager3419

3 жыл бұрын

@@Lucas-bf4pw The statement (for proposition P): [ (not-P implies P) implies P ] is a tautology in classical logic (true for any proposition P) and even more: [ P if and only if (not-P implies P)]. The reason: Either P or not-P; if we assume P, of course P follows; if we assume not-P, P also follows (this is what [not-P implies P] means); so either way we must have P. Thus, [ (not-P implies P) implies P ] . For the other direction: Assume P. You can assume whatever you like (not-P, Q, R or S, etc.), P is still assumed true. So, P. Thus, [P implies (not-P implies P) ]. In intuitionistic logic [ (not-P implies P) implies P ] is rejected (since [P or not-P] does not always hold) and relevance logic rejects [P implies (Q implies P)], since Q is an irrelevant side assumption in the derivation of P.

@annaclarafenyo8185

2 жыл бұрын

This "axiom" doesn't work at all, as it is not decidable what is an axiom. You can add a statement "reals are aleph-1" and add "reals are aleph-11" and each are separately consistent, but not both.