不完全性与形式语言

摘要：

@@ 一、引言谈到哥德尔不完全性定理,有人说它动摇了逻辑基础①,也有人说它揭示了逻辑的局限性(Daw-son),甚至有人认为它表明数学的一致性不能证明(克莱因,第263-270页).

机标关键词：哥德尔不完全性定理、逻辑基础、一致性、克莱因、局限性、证明、数学

分类号：B81(逻辑学(论理学))

在线出版日期：2008-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：96-101