某些哲學傾嚮濃厚的數學傢對用符號或代數方法來處理形式邏輯作過一些嘗試,比如說萊布尼茲和朗伯(Johann Heinrich Lambert);但他們的工作鮮為人知,後繼無人。直到19世紀中葉,喬治·布爾和其後的奧古斯都·德·摩根纔提齣瞭一種處理邏輯問題的係統性的數學方法(當然不是定量性的)。
評分還不錯!!!!!!!!!!!!!!!!!
評分書還行吧,就隨便看看。
評分保羅·約瑟夫·科恩(Paul Cohen)在1963年證明的連續統假設的獨立性。
評分好好好,不錯!
評分勒文海姆-斯科倫定理。
評分滿減加券一起買的,簡直不能再白菜,開心
評分經典教材,良心大作,常年閱讀
評分書的內容還是很不錯的,值得一看的。
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.cndgn.com All Rights Reserved. 新城书站 版權所有