形式不可判定命题相关硕士博士期刊学术论文 - 搜论网

形式不可判定命题相关论文

哥德尔谈自己研究成果的哲学意义——哥德尔书信述评

【正】前言奥地利的逻辑-数学家K.哥德尔(1906-1978)在25岁时发表了题为《〈数学原理〉及有关系统中的形式不可判定命题》的论文,......

期刊

哥德尔集合论哲学意义数学直观形式不可判定命题丢番图方程方法论意义公理系统研究成果形式化

哥德尔对哲学的贡献

<正> 1931年,有一位二十五岁的奥地利数理逻辑学家发表了一篇论文:《论〈数学原理〉及其相关系统的形式不可判定命题》。这篇长仅......

期刊

哥德尔形式逻辑形式不可判定命题数理逻辑逻辑学家形式系统罗素悖论公理系统谓词演算公理化系统

看过本文同时还关注