哥德爾綱領 在線電子書 圖書標籤: 邏輯學 集閤論 哲學 數學哲學 《哥德爾證明》 數學 哲思 nemlophics
發表於2024-12-23
哥德爾綱領 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
前半部分適閤科普(科普部分有一丟丟小錯誤雖然可以忽略),後半部分技術性比較強,受限於篇幅很多概念證明跳步不適閤平民讀者????
評分前半部分適閤科普(科普部分有一丟丟小錯誤雖然可以忽略),後半部分技術性比較強,受限於篇幅很多概念證明跳步不適閤平民讀者????
評分其實從科普的性質上來講已經寫得很不錯瞭。 需要集閤論的基礎纔能讀懂,篇幅上的詳略安排得蠻到位的。看得齣來作者也是很用心在寫。
評分沒什麼好說的瞭,多讀
評分前半部分適閤科普(科普部分有一丟丟小錯誤雖然可以忽略),後半部分技術性比較強,受限於篇幅很多概念證明跳步不適閤平民讀者????
郝兆寬,復旦大學哲學學院教授。*自然辯證法協會常務理事,數學哲學專業委員會主任。中國數學學會數理邏輯專業委員會理事。主要研究領域為數理邏輯、數學哲學。
本書討論哥德爾綱領的曆史背景、對數學和哲學的影響以及數學傢們為實現這一綱領的重要工作。 哥德爾綱領可以看作是為解決連續統問題而提齣的一種研究方略。當數學傢們知道瞭連續統假設的獨立性之後,關於這個集閤論命題的哲學地位就産生瞭爭論。一派認為獨立性就是對這個問題的優選解決,連續統假設既不是真的也不是假的,這就是很後的答案,因此,這個方嚮的工作已經完成。而哥德爾則認為獨立性不是問題的解決,我們需要加強現有的公理係統以確定連續統假設的真值。這個方嚮上的工作纔剛剛開始,其核心就是尋找集閤論的新公理。在此之後,特彆是20世紀80年代以來,集閤論學傢在這個方嚮上取得瞭一係列重要的成就。2010年之後,整個圖景逐漸清晰起來。粗略地說,連續統問題的解決取決於我們是否能夠構造一個包含超緊基數的類似於L的內模型。如果這種構造能夠成功,那就在某種意義上齣現瞭一個優選的模等。
評分
評分
評分
評分
哥德爾綱領 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024