Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    ZFC cannot refute the Continuum Hypothesis (CH) — Carmelics
    Home/Modality & Possibility
    HistoryEditSee Inverse

    ZFC cannot refute the Continuum Hypothesis (CH)

    Modality & PossibilityTruth & Knowledge
    ?Rate how convincing each reason is below to see the overall strength.
    1 reason for
    2 reasons against

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Gödel showed that the inner model L satisfies ZFC together with CH
      ?

      Think about whether this reason is strong or weak

    • 2.If a statement holds in a model of ZFC, then ZFC cannot refute that statement
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.Gödel's constructible universe L is a highly restrictive model that excludes many sets mathematicians independently accept as real.
      ?

      Think about whether this reason is strong or weak

    • 2.The consistency of CH with ZFC in an artificially constrained model does not establish that ZFC lacks the resources to refute CH in all intended models.
      ?

      Think about whether this reason is strong or weak

    • 3.Large cardinal axioms, which extend ZFC, generate inner models where CH fails, suggesting ZFC's silence on CH reflects incompleteness, not neutrality.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Forcing extensions, developed by Cohen, demonstrate that ¬CH is also consistent with ZFC, meaning ZFC is equally powerless to prove CH.
      ?

      Think about whether this reason is strong or weak

    • 2.A claim that ZFC 'cannot refute' CH is misleading if ZFC also cannot prove CH, since both results together establish ZFC's fundamental inadequacy on this question.
      ?

      Think about whether this reason is strong or weak

    • 3.Penelope Maddy and others argue that set-theoretic practice supplies quasi-empirical evidence favoring ¬CH, implying the formal claim obscures a substantive mathematical dispute.
      ?

      Think about whether this reason is strong or weak

    Sign in or register to share your perspective on this statement.

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.

    Topics

    Modality & PossibilityTruth & Knowledge

    Connections

    1 linked claim

    ZFC cannot refute CH (Gödel)

    Related

    A claim that ZFC 'cannot refute' CH is misleading if ZFC also cannot prove CH, s...Forcing extensions, developed by Cohen, demonstrate that ¬CH is also consistent ...Gödel showed that the inner model L satisfies ZFC together with CHGödel's constructible universe L is a highly restrictive model that excludes man...
    +5 moreShow less
    If a statement holds in a model of ZFC, then ZFC cannot refute that statementLarge cardinal axioms, which extend ZFC, generate inner models where CH fails, s...Penelope Maddy and others argue that set-theoretic practice supplies quasi-empir...The consistency of CH with ZFC in an artificially constrained model does not est...ZFC cannot refute CH (Gödel)

    Similar

    ZFC cannot refute CH (Gödel)98%The Mādhyamika cannot be refuted93%ZFC cannot prove the Continuum Hypothesis (CH)85%ZFC cannot prove CH (Cohen)84%

    Source

    AI-extracted1/3 agreementValid
    SEP: independence-large-cardinals
    View source passageHide passage
    The inner model L is the union of all such stages: L = ∪α∈On Lα. Gödel showed that L satisfies (arbitrarily large fragments of) ZFC along with CH. It follows that ZFC cannot refute CH. Cohen complemented this result by inventing (in 1963) the method of forcing (or outer models). Given a complete Boolean algebra B he defined a model VB and showed that ¬CH holds in VB.[6] This had the consequence that ZFC could not prove CH. Thus, these results together showed that CH is independent of ZFC. Sim
    Extraction notes

    Validity: Extracted via Max plan + API grounding/validity checks

    Details

    Type
    claim
    Perspectives
    3 (1 for, 2 against)
    Edits
    1 edit