具體描述
讀後感
全書的重點在於證明不完備性定理的前後， 由一階算術，原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫， 內容不包括一階邏輯的元定理和模型論，集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前，先...
評分全書的重點在於證明不完備性定理的前後， 由一階算術，原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫， 內容不包括一階邏輯的元定理和模型論，集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前，先...
評分全書的重點在於證明不完備性定理的前後， 由一階算術，原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫， 內容不包括一階邏輯的元定理和模型論，集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前，先...
評分全書的重點在於證明不完備性定理的前後， 由一階算術，原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫， 內容不包括一階邏輯的元定理和模型論，集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前，先...
評分全書的重點在於證明不完備性定理的前後， 由一階算術，原始遞歸到不完備性定理和以後的討論都錶達得非常清晰。 關於命題邏輯、一階邏輯隻有輕輕的描寫， 內容不包括一階邏輯的元定理和模型論，集閤論隻花瞭幾頁說明; 預設瞭讀者有基礎的邏輯和集閤論知識。 建議閱讀此書前，先...
用戶評價
數學教材的寫法哇，直奔公理係統……
评分曆經7個月斷斷續續，總算把這本書讀完瞭。
评分前半部分從代數觀點講的
评分裏麵講到代數總是虎頭蛇尾扯一下就結束，但是這種寫法大概是逼格稍高。相關內容可以看tarski的徒子徒孫們比如monk，givant等人寫的邏輯和布爾代數書。可讀性很強，證明沒有多少跳步，沒數學基礎的人（包括文科生大一時）也能很容易看完。
评分讀過最深入淺齣的數理邏輯書
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有