首页
对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论。（）
精华吧
→
答案
→
超星尔雅学习通未分类
对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论。（）
A.正确
B.错误
正确答案：B
Tag：
数学文化
说谎者
自然数
时间：2021-03-31 16:20:18
上一篇：
数学证明是依靠逻辑推理导出结论,定理已经证明就永远是对的,除非发现定理本身有误。（）
下一篇：
下列国家中,古代没有形式系统的是（）。
相关答案
1.
科学证明的过程包括（）,它的结果可能被推翻。
2.
对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年（）证明了算数相容性。
3.
从（）世纪起,数学家就在寻找好“数学基础”。
4.
用合情推理能推理出“5个平面最多把空间分为几个部分”的问题。（）
5.
1899年,希尔伯特的《几何基础》中,有五组公理,即:关联公理、顺序公理、（）。
6.
形式的公理化方法在逻辑上的要求,是满足（）。
7.
在公理化思想中,A与非A都能导出叫做“不相容”,A与非A都不能导出叫做（）。
8.
孤立的问题有时难于理解,而解决系列问题有时比解决孤立问题好入手。（）
9.
n条直线“处于一般位置”的要求可以说是:任何两条直线都相交;任何三条直线都不共点。（）
10.
5个平面最多把平面分为几个部分?（）
热门答案
1.
（）和他学生一起将“单因子构件凑成法”发展成“孙子——华原则”。
2.
微积分和几何几乎不能应用到实际中。（）
3.
插值公式的实质就是用一个连续的函数去拟合离散的测量结果。（）
4.
在文化大革命时期,中国轧钢机的涡轮和蜗杆来自（）。
5.
一种推理,不是证明,它无法保证已知相同的属性与推出的属性之间有必然的联系,这种推理被称为（）。
6.
{Q;+},{N;+}都属于抽象群。（）
7.
从数学方式的理性思维来看,下列关于抽象与直观两者关系描述正确的是（）。
8.
S(N)中任意两个元素a、b相继作用的结果仍保持N整体不变,故a*b仍在S(N)中,称之为S(N)中的运算满足（）。
9.
正方形是对称性最强的图形。（）
10.
只有无穷的图形在平移中整体不变。（）