摘要

所谓计算型弱人工智能指的是在各种智力行为的表现上都至少跟人类一样好的计算型人工产品。彭罗斯改进了卢卡斯的论证,但保留了该论证中的核心部分(哥德尔不完备性定理),并据此论证所得出的结论是计算型的弱人工智能不可能成功。但哲学家如塞尔、计算机科学家如罗素和诺维格都认为彭罗斯的论证并不可信,并对彭罗斯的论证提出了三点反击。我们将在这篇论文中论证罗素和诺维格的回击并不成功,并指出思想实验方法的局限性。