哥德尔定理的有关问题哥德尔定理说,一个理论体系的核心命题是不可能在这个体系内证明的.1、为什么不能在这个体系中证明.2、举例说明一下

题目详情

哥德尔定理的有关问题
哥德尔定理说,一个理论体系的核心命题是不可能在这个体系内证明的.
1、为什么不能在这个体系中证明.
2、举例说明一下

▼优质解答

答案和解析

这个要用专业术语来表达的话,就像书上那样,是很难看懂的,我说得通俗一点,很简单,假设一个体系内有4个命题：A、B、C、D.
A的正确与否需要由B来证明.
B的正确与否需要由C来证明
C的正确与否需要由D来证明
D的正确与否就没法证明了.
你假设有5个6个N个命题都一样,总会有一个是无法在体系内得到证明的.

看了哥德尔定理的有关问题哥德尔定...的网友还看了以下：

会计凭证的题目下列原始凭证中，既可能是外来原始凭证，也可能是自制原始凭证的是()。A.增值税专用发　2020-06-10 …

h3cNE认证的题怎么也不会拉求高手求解释能仔细些最好XYZ公司管理员正在为办公网划分子网.要求将　2020-06-20 …

一道关于数学反证的题目利用反证法求证：在同一平面内,两条直线的交点最多只有一条　2020-06-23 …

已知P(AB)=P(A)+P(B)证明P(A的相反事件B的相反事件）=P(A的相反事件）+P(B的　2020-07-20 …

一道数学证明题,不会啊,急!证明：任何面积等于1的凸四边形的周长及两条对角线的长度之和不小于4+2 　2020-07-25 …

矩阵的证明A,B都是n阶方阵,证明：AB－BA不等于I貌似一条不难的证明题,不过本人不才, 　2020-08-01 …

初一下册计算题带未知数的题,不是方程,不要太多纯数字计算,最好有一些化简代入的,60道,有空的话顺　2020-08-01 …

立体几何证明题,不要用向量证明棱长为a的正方形ABCD-A1B1C1D1中,EF分别是AB和BC的　2020-08-02 …

微观经济学大专练习题2一、判断题1．说一种理论是实证的,并不意味着它必然是正确的.（）2．政府规定最　2020-11-02 …

连续性与可导的问题连续不可推出可导.从连续推可导的过程中,哪一步是无法证的?是不是△X的正负无法判断　2020-11-03 …