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
    If lawless irrationals are mathematically inert for any a... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Recursive irrationals alone are insufficient to fill all gaps in the real number line.

    If lawless irrationals are mathematically inert for any actual calculation, invoking them to complete the continuum is a grammatical fiction, not a mathematical result.

    ?Rate how convincing each reason is below to see the overall strength.
    1 reason for
    1 reason against

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Lawless irrationals have no computable decimal expansion, so they cannot participate in any finite numerical calculation or approximation.
      ?

      Think about whether this reason is strong or weak

    • 2.If mathematical objects serve no distinguishable role in practice, positing them violates parsimony and resembles unfalsifiable metaphysics.
      ?

      Think about whether this reason is strong or weak

    • 3.The continuum can be adequately formalized using only definable reals, making uncomputable numbers explanatorily redundant.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Mathematical existence need not reduce to computational utility; topology and analysis require uncountably many reals for coherent theorems.
      ?

      Think about whether this reason is strong or weak

    • 2.The completeness axiom has proven mathematically indispensable; removing it fragments analysis into weaker, less elegant fragments.
      ?

      Think about whether this reason is strong or weak

    • 3.Utility in explicit calculation differs from utility in proof structure; lawless irrationals enable essential non-constructive arguments.
      ?

      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.

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    If mathematical objects serve no distinguishable role in practice, positing them...Lawless irrationals have no computable decimal expansion, so they cannot partici...Mathematical existence need not reduce to computational utility; topology and an...Recursive irrationals alone are insufficient to fill all gaps in the real number...
    +3 moreShow less
    The completeness axiom has proven mathematically indispensable; removing it frag...The continuum can be adequately formalized using only definable reals, making un...Utility in explicit calculation differs from utility in proof structure; lawless...

    Details

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