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
    Weyl and Brouwer demonstrated that a substantial portion ... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Mathematical analysis would collapse if the axiom of reducibility is abandoned.

    Weyl and Brouwer demonstrated that a substantial portion of classical analysis can be reconstructed using predicativist or intuitionistic methods without impredicative axioms.

    ?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.Weyl and Brouwer successfully formalized real analysis, limits, and continuity using constructive methods, demonstrating practical viability.
      ?

      Think about whether this reason is strong or weak

    • 2.Predicativist reconstruction avoids impredicative set definitions, eliminating circular reasoning and foundational paradoxes like Berry's paradox.
      ?

      Think about whether this reason is strong or weak

    • 3.Intuitionistic logic's constructive proofs provide algorithmic content absent in classical proofs, offering greater epistemic transparency.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Substantial portions are not all portions—key classical results (e.g., uncountability theorems) remain unavailable without excluded middle or impredicativity.
      ?

      Think about whether this reason is strong or weak

    • 2.Predicativist restrictions severely limit quantification over infinite sets, making reconstruction incomplete and arguably a different mathematics.
      ?

      Think about whether this reason is strong or weak

    • 3.Practical mathematics and physics rely on classical analysis; constructive methods' limitations suggest they reconstruct only an impoverished fragment.
      ?

      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 linkedPhilosophy of Language1 linked

    Related

    Intuitionistic logic's constructive proofs provide algorithmic content absent in...Mathematical analysis would collapse if the axiom of reducibility is abandoned.Practical mathematics and physics rely on classical analysis; constructive metho...Predicativist reconstruction avoids impredicative set definitions, eliminating c...
    +3 moreShow less
    Predicativist restrictions severely limit quantification over infinite sets, mak...Substantial portions are not all portions—key classical results (e.g., uncountab...Weyl and Brouwer successfully formalized real analysis, limits, and continuity u...

    Details

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