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
    The mathematical continuum can be constructively built wi... — Carmelics
    Home/Modality & Possibility
    HistoryEditSee Inverse

    The mathematical continuum can be constructively built without reducing it to isolated discrete points

    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.Choice sequences are points whose decimal expansions are determined by free acts of choice over indefinitely extended time
      ?

      Think about whether this reason is strong or weak

    • 2.Choice sequences are never completed objects — at any moment only an initial segment is known
      ?

      Think about whether this reason is strong or weak

    • 3.Assembling the continuum from continually changing overlapping parts preserves its fluid, unfinished character
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.Brouwer's choice sequences lack determinate identity conditions: two sequences cannot be proven equal or unequal at any finite stage.
      ?

      Think about whether this reason is strong or weak

    • 2.A continuum whose points have no stable identity cannot ground the intermediate value theorem without smuggling in classical assumptions.
      ?

      Think about whether this reason is strong or weak

    • 3.Bishop's constructive analysis recovers real analysis with determinate Cauchy sequences, showing choice sequences are unnecessary for constructive continuity.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Dedekind explicitly argued that the cut does not shatter the line but rather defines the point as the relation between two classes, preserving structural continuity.
      ?

      Think about whether this reason is strong or weak

    • 2.The claim that set-theoretic construction 'destroys' continuity conflates the ontological nature of the continuum with its representational model.
      ?

      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 topic

    Causation1 linked

    Related

    A continuum whose points have no stable identity cannot ground the intermediate ...Assembling the continuum from continually changing overlapping parts preserves i...Bishop's constructive analysis recovers real analysis with determinate Cauchy se...Brouwer's choice sequences lack determinate identity conditions: two sequences c...
    +5 moreShow less
    Cantor and Dedekind's approach shatters an intuitive continuum into isolated poi...Choice sequences are never completed objects — at any moment only an initial seg...Choice sequences are points whose decimal expansions are determined by free acts...Dedekind explicitly argued that the cut does not shatter the line but rather def...The claim that set-theoretic construction 'destroys' continuity conflates the on...

    Similar

    Brouwer initially held without qualification that the continuum cannot...84%The mathematical continuum is an unfinishable entity in a perpetual st...84%A continuum contains infinitely many distinct points.81%Brouwer's early thesis — that the continuum is not constructible from ...81%

    Source

    AI-extracted1/3 agreementValid
    SEP: continuity
    View source passageHide passage
    Initially Brouwer held without qualification that the continuum is not constructible from discrete points, but was later to modify this doctrine. In his mature thought, he radically transformed the concept of point, endowing points with sufficient fluidity to enable them to serve as generators of a “true” continuum. This fluidity was achieved by admitting as “points”, not only fully defined discrete numbers such as \(\sqrt{2},\) \(\pi,\) \(e,\) and the like—which have, so to speak, already achie
    Extraction notes

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

    Details

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