Hi,这是那格的腾讯微博,人海茫茫相遇不易,立即登录,别错过!

那格

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