排序方式: 共有3条查询结果,搜索用时 62 毫秒
1
1.
本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——Godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。 相似文献
2.
温邦彦 《重庆工商大学学报(自然科学版)》2009,23(4):8-13,23
就陈慕泽先生对《禁止使用自指代命题》关于哥德尔不完全性定理的质疑提出的批驳做出回应。认为陈先生回避要害,无视作者对哥德尔证明中双重标准之矛盾的分析和揭露,其批驳存在自相矛盾、循环论证和转移辩题的问题。还专门采用陈先生的符号,对哥德尔定理结论1和2的证明进行分析和批判,再次解释哥德尔定理的结论可以完全正确,但应该理解成:哥德尔所构造的不可判定公式违反逻辑,必须禁止在无矛盾的形式系统中使用。同时,还分析了现有主流学派对哥德尔定理结论的种种误解,提出重建逻辑学公理系统的主张。 相似文献
3.
朱文兴 《福州大学学报(自然科学版)》2000,28(2):121-123
求解全局优化问题的算法通常是在求解区域是有界的假设下进行 ,这仅仅出于实际计算上的考虑[1] ,而在无界区域上求解全局优化问题的算法很少见到[2 ] .非线性方程 (组 )问题已得到大量的研究[3] ,但非线性方程 (组 )问题往往只有局部或半局部收敛算法 ,而具有全局收敛性质的算法则尚未见到 .本文从可计算性角度给出负面的结果 ,阐明无界区域上的整数规划问题 ,非线性方程 (组 )问题 ,连续全局优化问题不是算法可解的 ,即不存在求解这三类问题的算法 . 命题 1 多项式整数规划问题不是算法可解的证明 注意到判定 ( 1 )式是否有整数解等价… 相似文献
1