Skip to main content
MathOverflow
Jiu's user avatar
Jiu's user avatar
Jiu's user avatar
Jiu
  • Member for 6 years, 8 months
  • Last seen more than 1 year ago
Profile Activity

29 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
comment
If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the conjecture proved?
I see. Thank you!
comment
If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the conjecture proved?
I have questions that I don't know if they are the same question. So I was not sure how to formulate my orignial question. Let's say that I know that "if CH+ZFC implies Goldbach and ZFC is consistent, then Goldbach is true". I don't know if this is the same thing as "if CH+ZFC implies Goldbach and ZFC is consistent then there is a formal derivation of Goldbach in ZFC."
awarded
 Scholar
comment
If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the conjecture proved?
Thank you. Is it the same thing to say that "if ZFC is consistent, then some first order formula is true" and "there is a formal deriviation of this first order formula in ZFC"?
accepted
If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the conjecture proved?
comment
If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the conjecture proved?
Thank you for the answer! I have another question. Can we say that if "ZFC+CH implies Goldbach", then "ZFC implies Goldbach"?
asked
If someone can prove Goldbach conjecture assuming the continuum hypothesis, do we consider the conjecture proved?
awarded
 Autobiographer
awarded
 Supporter
1
2