阅读下面的短文，完成14―17题。1931年，奥地利数学家哥德尔向世人郑重宣布：任何丰富的包含初等数论的数学形式系统在希尔伯特的意义上（1）不可能证明它的无矛盾性。或者说

题目详情

阅读下面的短文，完成14―17题。

1931年，奥地利数学家哥德尔向世人郑重宣布：任何丰富的包含初等数论的数学形式系统在希尔伯特的意义上（1）不可能证明它的无矛盾性。或者说，要使这样的数学形式系统是不矛盾的，它就一定是不完全的，就一定有真的数学命题不可证。即使添加新公理扩张系统，新的更大的系统中仍有真的数学命题不在定理集中。这就是说，数学形式系统不仅是不完全的，而且还是不可完全的。表面上更令人惊异的是，哥德尔还说，在数学形式系统内部不可能证明本系统的不矛盾性。这就是有名的哥德尔不完全性定理。　　

这个令大多数人迷惑的定理还有一个等价的说法：没有一台计算机能够证明所有的数学定理，数学在算法上是不可完全的。那么数学家如何达到数学真理呢？哥德尔说，依靠人类理性，依靠人心的数学直觉！如此说来，数学岂不建在不稳固的基础之上了？数学的巴比伦塔岂不永无建成完工之时了？！

1936年，英国计算机之父图灵就得出过人心比机器优越的类似结论。1961年美国哲学家鲁卡斯又撰写论文试图用哥德尔定理论证“人心胜过计算机”。随后，另一美国哲学家怀特利又站出来批驳此一论断，并由此引发了长达几十年的争论。1979年获普利策文学大奖的美国畅销书《哥德尔、艾舍尔、巴赫―――一条永恒的金带》，将艾舍尔义蕴深刻的绘画、巴赫脍炙人口的乐章及哥德尔定理以一种独特的方式连接起来，极具戏剧性地谱写了一曲心――脑――计算机的“隐喻赋格曲”，从多个视角试图阐明，用哥德尔定理完全可以否证强人工智能方案。1989年，英国数学家、物理学家彭罗斯在那本风靡全球的《皇帝新脑》中，不惜大量笔墨仍然试图把哥德尔定理作为论证计算机绝不可能超越人心的强硬论据，因为在他看来，人类意识是不可能程序化的，完全模拟人心的计算机不过是强人工智能专家所钟爱的一副虚幻的“皇帝新脑”而已。然而，1997年，名为“深蓝”的计算机经过几昼夜苦战，终于战胜国际象棋大师卡斯帕罗夫的壮举似乎又为强人工智能观点的支持者们注入了强心剂。

　　那么，心、脑、计算机、哥德尔定理之间关系究竟如何？哥德尔定理能否证明人心胜过计算机？哥德尔本人1951年就曾说过，仅有他的定理不足以推出如此强硬证据，还需附加一定的哲学假定，还有赖于包括心、脑、生理学的整个科学的发展才能做出定论。但是有一点是清楚的：也许存在一台与人心等价的计算机，但我们永远不能证明这台机器与人心等价。

（1）以希尔伯特为代表的形式主义派，希望能通过形式逻辑的方法，构造一个有关数

论（自然数）的有限的公理集合，推出所有数论原理（完备性），且无矛盾（相容性），并以此出发构造整个形式主义的数学体系。

14．不符合原文意思的一项是（3分）

A．彭罗斯认为完全模拟人心的计算机是虚幻的。

B．哥德尔认为数学形式系统不可能被证明无矛盾性。

C．在希尔伯特的意义上就是在数学的巴比伦塔的意义上。

D．仅根据哥德尔定理还不能证明人心胜过计算机。

15．支持强人工智能观点的一项是（3分）

A．计算机之父图灵得出的人心比机器优越的类似结论。

B．《哥德尔、艾舍尔、巴赫――一条永恒的金带》谱写的心―脑―计算机的“隐喻赋格曲”。

C．名为“深蓝”的计算机战胜国际象棋大师卡斯帕罗夫。

D．1961年美国哲学家鲁卡斯撰写的论文。