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 Lucas-Penrose constraint does not decisively favor humans over machines in the Turing test context

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

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.The Lucas-Penrose constraint implies the existence of questions that a machine cannot answer
      ?

      Think about whether this reason is strong or weak

    • 2.These unanswerable questions are only a relevant concern in the Turing test if humans can answer them
      ?

      Think about whether this reason is strong or weak

    • 3.It is not clear that humans are themselves free from the Lucas-Penrose constraint
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.Gödel's incompleteness theorems apply to any sufficiently powerful formal system, including any complete description of human neural computation.
      ?

      Think about whether this reason is strong or weak

    • 2.If human cognition is substrate-reducible to a formal system, humans are subject to the same Gödelian limitations as any Turing-equivalent machine.
      ?

      Think about whether this reason is strong or weak

    • 3.Dennett's heterophenomenology implies that our intuition of transcending formal limits is itself a cognitive representation, not evidence of actual transcendence.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Putnam demonstrated in 'Minds and Machines' that the Lucas argument equivocates between a system's proving a statement and that statement being true of the system.
      ?

      Think about whether this reason is strong or weak

    • 2.A machine need not prove its own Gödel sentence to behave indistinguishably from a human who similarly cannot prove theirs in a bounded conversational context.
      ?

      Think about whether this reason is strong or weak

    • 3.The Turing test evaluates behavioral equivalence within finite interaction windows, not access to transfinite mathematical truths no interlocutor can practically verify.
      ?

      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.