This is 那格's Tencent Weibo homepage. Follow now!

那格

  • Followers 82
  • Following 287
  • Posts 0
#逻辑学# 唐芳芳:不完全性与形式语言 | 一、引言谈到哥德尔不完全性定理,有人说它动摇了逻辑基础①,也有人说它揭示了逻辑的局限性(Dawson),甚至有人认为它表明数学的一致性不能证明(克莱因,第263—270页)。这些说法是否有充分的根据?本文仔细考察了哥德尔不完全... http://url.cn/KplHy3
正在加载...