1、从()世纪起,数学家就在寻找好“数学基础”。
A、16
B、17
C、18
D、19
2、对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年()证明了算数相容性。
A、希尔伯特
B、罗素
C、庞加莱
D、根岑
3、科学证明的过程包括(),它的结果可能被推翻。
A、假说
B、公理
C、观察
D、实验
4、下列关于哥德尔的两条定理的意义说法正确的是()。
A、人们对于宇宙的认识和对于数学地位的认识,被迫做出了根本性的改变
B、数学的公理化思想收到了致命打击,发展一蹶不振
C、数学不再是精确论证的顶峰,不再是绝对真理的化身,数学也有自己的局限性
D、数学退下神台之后,科学证明再次走向巅峰,成为真理的化身
5、数学证明是依靠逻辑推理导出结论,定理已经证明就永远是对的,除非发现定理本身有误。()
6、对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论。()
数学文化（南开大学)
- 1.1数学文化（一）
- 1.2数学文化（二）
- 1.3数学文化（三）
- 1.4数学文化（四）
- 1.5数学文化（五）
- 1.6数学文化（六）
- 1.7数学文化（七）
- 1.8数学文化（八）
- 1.9数学文化（九）
- 1.10数学文化（十）
- 1.11数学文化（十一）
- 1.12数学文化（十二）
- 1.13数学文化（十三）
- 1.14数学文化（十四）
- 1.15数学文化（十五）
- 1.16数学文化（十六）
- 1.17数学文化（十七）
- 1.18数学文化（十八）
- 1.19数学文化（十九）
- 1.20数学文化（二十）
- 1.21数学文化（二十一）
- 1.22数学文化（二十二）
- 1.23数学文化（二十三）
- 1.24数学文化（二十四）
- 1.25数学文化（二十五）
- 1.26数学文化（二十六）
- 1.27数学文化（二十七）
- 1.28数学文化（二十八）
- 1.29数学文化（二十九）
- 1.30数学文化（三十）
- 1.31数学文化（三十一）
- 1.32数学文化（三十二）
- 1.33数学文化（三十三）
- 1.34数学文化（三十四）
