关于帕里斯-哈林顿定理和弗里德曼定理期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

关于帕里斯-哈林顿定理和弗里德曼定理

作者姓名：	林敏

摘要：	哥德尔不完全性定理表明了不可判定命题的存在,使以希尔伯特为首的形式主义学派想证明数学一致性的企图成为一种奢望而彻底破灭。但由于在哥德尔定理的证明中给出的不可判定命题显然是人为制造的产物,因此,对于一般的数学家来说,哥德尔定理
本文献已被 CNKI 等数据库收录！