以下书单推荐 · · · · · · ( 全部 )
- 书单|分析、逻辑、数理 (6794089)
- 逻辑学 (过路的外邦人)
- 李万中批判性思维与通识教育书单 (集异璧)
- 数学 (js)
- 书单|Andy Lee训练营推荐书目 (Sojourner)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有86人想读,手里有一本闲着?
订阅关于逻辑——从三段论到不完全性定理的评论:
feed: rss 2.0
0 有用 两勺卡士双皮奶 2022-01-15 18:49:29
过于难懂了一些。
0 有用 这么近,那么远 2019-01-05 20:01:27
可以。“本书以公理化思想为主导,从亚里士多德的三段论到哥德尔的不完全性定理,阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线,分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统,并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。”
0 有用 时钟 2022-05-20 00:37:20
入门必备
0 有用 时钟 2022-05-20 00:37:20
入门必备
0 有用 两勺卡士双皮奶 2022-01-15 18:49:29
过于难懂了一些。
0 有用 这么近,那么远 2019-01-05 20:01:27
可以。“本书以公理化思想为主导,从亚里士多德的三段论到哥德尔的不完全性定理,阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线,分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统,并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。”