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 constraint does not decisively favor hu... — Carmelics
    Home/Consciousness & Mind
    HistoryEditSee Inverse

    The Lucas-Penrose constraint does not decisively favor humans over machines in the Turing test context

    Consciousness & Mind
    ?Rate how convincing each reason is below to see the overall strength.
    2 reasons for
    1 reason against

    Reasons For

    2 perspectives
    Reason for 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 for 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

    Reasons Against

    1 perspective
    Reason against
    ?
    • 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

    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.

    Topics

    Consciousness & Mind

    Connections

    2 topics

    Philosophy of Language1 linkedSkepticism1 linked

    Related

    A machine need not prove its own Gödel sentence to behave indistinguishably from...Dennett's heterophenomenology implies that our intuition of transcending formal ...Gödel's incompleteness theorems apply to any sufficiently powerful formal system...If human cognition is substrate-reducible to a formal system, humans are subject...
    +5 moreShow less
    It is not clear that humans are themselves free from the Lucas-Penrose constrain...Putnam demonstrated in 'Minds and Machines' that the Lucas argument equivocates ...The Lucas-Penrose constraint implies the existence of questions that a machine c...The Turing test evaluates behavioral equivalence within finite interaction windo...These unanswerable questions are only a relevant concern in the Turing test if h...

    Similar

    It is not clear that humans are themselves free from the Lucas-Penrose...78%The Lucas-Penrose constraint implies the existence of questions that a...76%There is no relevant difference between persons and machines with resp...75%The Turing test, which presupposes freedom from the Lucas-Penrose cons...74%

    Source

    AI-extracted1/3 agreementValid
    SEP: turing-test
    View source passageHide passage
    So, in the context of the Turing test, “being subject to the Lucas-Penrose constraint” implies the existence of a class of “unanswerable” questions. However Turing noted that in the context of the Turing test, these “unanswerable” questions are only a concern if humans can answer them. His “short” reply was that it is not clear that humans are free from such a constraint themselves. Turing then goes on to add that he does not think that the argument can be dismissed “quite so lightly.”
    Extraction notes

    Validity: Extracted via Max plan + API grounding/validity checks

    Details

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