1.0 KiB
1.0 KiB
title, created, updated, type, tags, sources
| title | created | updated | type | tags | sources |
|---|---|---|---|---|---|
| 卢卡斯-彭罗斯论证 (Lucas-Penrose Argument) | 2025-04-15 | 2026-05-01 | concept |
卢卡斯-彭罗斯论证 (Lucas-Penrose Argument)
- 领域: 心灵哲学、人工智能
- 提出者: John Lucas (1961), Roger Penrose (1989/1994)
- 来源: godel-incompleteness-tutorial
概述
基于godel-incompleteness-theorems论证人类心智超越机器（图灵机）的著名哲学论证。卢卡斯（1961）提出人类可以通过元推理「看到」哥德尔句子为真，而任何形式系统无法做到。彭罗斯（1989/1994）扩展此论证，认为数学洞察涉及非计算过程，可能与量子引力效应有关。
学术界普遍认为该论证存在严重缺陷（不一致性问题、系统辨识问题等），人类心智是否超越机器仍是开放问题。
📌 占位符页面 — 待补充完整内容。
相关概念
godel-incompleteness-theorems · self-reference · halting-problem