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
    Home/Original/inverse
    See Original
    Inverse View

    It is not the case that Hilbert's formalist tradition warns that mathematical existence claims require constructive proof, not inference from expected separations.

    ?Set your confidence on the premises below to see your aggregate.

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Many mathematically fertile domains (real analysis, topology) depend on non-constructive existence theorems that formalist restrictions would eliminate entirely.
      ?

      Think about whether this reason is strong or weak

    • 2.The requirement for constructive proof artificially narrows mathematics and excludes valid reasoning about infinite structures that cannot be finitistically computed.
      ?

      Think about whether this reason is strong or weak

    • 3.Separations between proof methods (classical vs. constructive) represent different mathematical frameworks, not evidence that one illegitimately infers existence.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Constructive proofs provide explicit algorithmic content, enabling verification and preventing vacuous existence claims that rely on non-constructive principles.
      ?

      Think about whether this reason is strong or weak

    • 2.Classical logic's law of excluded middle can assert existence without exhibiting objects, risking mathematical claims disconnected from computational reality.
      ?

      Think about whether this reason is strong or weak

    • 3.Formalism grounds mathematics in finite symbolic systems, where only constructively demonstrated objects qualify as legitimately existing within formal frameworks.
      ?

      Think about whether this reason is strong or weak

    Next step

    Based on where you are in your exploration

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