世纪难题目及答案.docVIP

世纪难题目及答案

一、单项选择题（总共10题，每题2分）

1.下列哪个不是哥德尔不完备定理的推论？

A.任何包含基本算术的足够强的形式系统中，都存在该系统内无法证明的真命题。

B.谓词逻辑是不可判定的问题。

C.任何足够强的形式系统都包含无法在该系统内证明的命题。

D.数论中存在不可解的问题。

答案：B

2.下列哪个数学家提出了“停机问题”？

A.阿尔弗雷德·诺斯·怀特海

B.库尔特·哥德尔

C.阿兰·图灵

D.保罗·科恩

答案：C

3.下列哪个不是黎曼猜想的内容？

A.所有的黎曼ζ函数的非平凡零点都位于复平面的直线ξ+1/2上。

B.所有的素数都可以表示为两个平方数之和。

C.所有的黎曼ζ函数的非平凡零点都位于复平面的直线ξ=1上。

D.所有的黎曼ζ函数的非平凡零点都位于复平面的直线ξ+1/2上。

答案：B

4.下列哪个不是费马大定理的证明者？

A.安德鲁·怀尔斯

B.理查德·费曼

C.约翰·康威

D.帕特里克·德利涅

答案：B

5.下列哪个不是四色定理的应用领域？

A.地图着色问题

B.计算机科学中的图论

C.物理学中的量子场论

D.数学中的拓扑学

答案：C

6.下