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 The inference from 'Turing did not attempt a mathematical proof' to 'no mathematical proof is possible' commits an argument from ignorance that undermines the claim's scope.

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

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.The claim may not commit argument from ignorance if it's based on structural barriers Turing identified, not merely his non-attempt.
      ?

      Think about whether this reason is strong or weak

    • 2.Turing's deliberate avoidance could reflect sophisticated assessment that proof is impossible, making the inference epistemically sound.
      ?

      Think about whether this reason is strong or weak

    • 3.The original argument might establish impossibility through independent reasoning, with Turing's non-attempt serving as supporting evidence.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.One person's non-attempt to prove something cannot logically entail that proof is impossible for anyone else.
      ?

      Think about whether this reason is strong or weak

    • 2.The inference pattern 'X didn't do Y, therefore Y cannot be done' relies on absent evidence rather than evidence of absence.
      ?

      Think about whether this reason is strong or weak

    • 3.Scope expansion from individual action to universal possibility requires additional justification beyond behavioral observation.
      ?

      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.