内容简介

哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论,已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

下载地址

豆瓣评论

  • 阅微草堂
    形式语言的真理论 图灵机和判定问题,哥德尔的不完全性定理 是的现代逻辑三大成果。二值逻辑就是非此即彼。国内关于哥德尔写的最好的一本书03-16
  • free_POC
    不如作者的《形式化——现代逻辑的发展》,主要还是另一本书内容更丰富。03-02
  • stupides
    我爱哥德尔,您要是能帮我写论文就更好了,不想看书了04-11
  • matrix
    1988出版,这样一本好书,就湮没在时间的浪花中了。印刷有很多小错误,不影响流畅的论证和阅读。注:此书真名是《哥德尔不完全性定理》01-14
  • ..[(|Φ|)].
    扫读,其实一直没完全follow下来。作者是见多识广,确实给出了证明过程及各种知识背景,就是小册子样子了点,其实可以在讲述上更扩展和条理化些。由此我想到的问题是,如果时间线上延展的“将完成”事件都是不可预测的,这种结构同构于逻辑线路?如果是,那么不完备定理具有合理性,而且反之推到逻辑系统是“可数的”,也就是说世间形而下系统是有定数的,或者时间是不可无限延续的。05-16

猜你喜欢

大家都喜欢