具體描述
讀後感
全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...
評分全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...
評分全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...
評分全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...
評分全书的重点在于证明不完备性定理的前后， 由一阶算术，原始递归到不完备性定理和以后的讨论都表达得非常清晰。 关于命题逻辑、一阶逻辑只有轻轻的描写， 内容不包括一阶逻辑的元定理和模型论，集合论只花了几页说明; 预设了读者有基础的逻辑和集合论知识。 建议阅读此书前，先...
用戶評價
就想給五分
评分對 Godel 第二不完備性定理的證明很有趣，印象很深。。。大部分沒耐心看瞭。。。（恨智低
评分對 Godel 第二不完備性定理的證明很有趣，印象很深。。。大部分沒耐心看瞭。。。（恨智低
评分曆經7個月斷斷續續，總算把這本書讀完瞭。
评分曆經7個月斷斷續續，總算把這本書讀完瞭。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有