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 Lucas-Penrose argument has been broadly rejected: Göd... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→An entity that can think may fail the Turing test.

    The Lucas-Penrose argument has been broadly rejected: Gödel's incompleteness results apply to formal systems, not necessarily to minded beings with flexible self-models.

    ?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.Minds can revise their axioms and logical frameworks dynamically; formal systems cannot, making the incompleteness analogy inapplicable.
      ?

      Think about whether this reason is strong or weak

    • 2.Gödel's results concern provability within fixed systems; human reasoning transcends any single formal framework through metacognition.
      ?

      Think about whether this reason is strong or weak

    • 3.Embodied, adaptive cognition allows minds to escape formal limitations through learning and contextual reframing that algorithms cannot.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.If minds implement computation (functionalism), they too are subject to computability limits, making the distinction artificial.
      ?

      Think about whether this reason is strong or weak

    • 2.Flexibility and self-models don't resolve the core issue: any consistent formal description of mind would still face Gödelian limits.
      ?

      Think about whether this reason is strong or weak

    • 3.Claiming minds escape formal systems requires evidence they can solve Gödel sentences—no such empirical demonstration exists.
      ?

      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 linkedConsciousness & Mind1 linked

    Related

    An entity that can think may fail the Turing test.Claiming minds escape formal systems requires evidence they can solve Gödel sent...Embodied, adaptive cognition allows minds to escape formal limitations through l...Flexibility and self-models don't resolve the core issue: any consistent formal ...
    +3 moreShow less
    Gödel's results concern provability within fixed systems; human reasoning transc...If minds implement computation (functionalism), they too are subject to computab...Minds can revise their axioms and logical frameworks dynamically; formal systems...

    Details

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