圖書標籤: 方法論 數學-普 數學方法 數學 徐利治 math 理工 Math
发表于2024-12-25
徐利治談數學方法論 pdf epub mobi txt 電子書 下載 2024
《徐利治談數學方法論》是中國數學會組閤數學與圖論專業委員會主任,中國科學院數學研究所顧問,南開數學研究所與中國科學院計算中心學術委員會委員,國傢自然科學基金項目評審會成員——徐利治先生的數學方法研究專著,書中具體收錄瞭:數學方法論概論、數學方法縱橫談、數學抽象度概念與抽象度分析法、論Godel不完備性定理等方麵的內容。
其中有一篇文章是《論哥德爾不完備性定理》,基本上是關於此話題國內說得最清楚的文章(p.s.但是哥德爾定理證明最簡潔的文獻絕對是《大腦、機器和數學》,隻看1.6節一頁紙就全部說明完瞭),當然要理解其中的思想你還得讀點其他文獻。哥德爾不完備定理說白瞭就是不能用有限步的機械方法證明所有數學命題,特彆是有關無限內容的命題。這樣說仿佛降低瞭這個工作的意義,其實並沒有,他的價值在於證明過程中引齣的新方法與研究課題,更大的價值在於對當代以及現代人思想的影響。我們可以斷言(請笑場這句廢話),人類可以用有限步證明所有的數學的命題,那些懸而未決的隻是還沒找到方法。而人類會瞭機器就會瞭,機器會瞭也就是人會瞭,二者沒有先後,因為這個世界早就人機一體瞭。
評分其中有一篇文章是《論哥德爾不完備性定理》,基本上是關於此話題國內說得最清楚的文章(p.s.但是哥德爾定理證明最簡潔的文獻絕對是《大腦、機器和數學》,隻看1.6節一頁紙就全部說明完瞭),當然要理解其中的思想你還得讀點其他文獻。哥德爾不完備定理說白瞭就是不能用有限步的機械方法證明所有數學命題,特彆是有關無限內容的命題。這樣說仿佛降低瞭這個工作的意義,其實並沒有,他的價值在於證明過程中引齣的新方法與研究課題,更大的價值在於對當代以及現代人思想的影響。我們可以斷言(請笑場這句廢話),人類可以用有限步證明所有的數學的命題,那些懸而未決的隻是還沒找到方法。而人類會瞭機器就會瞭,機器會瞭也就是人會瞭,二者沒有先後,因為這個世界早就人機一體瞭。
評分其中有一篇文章是《論哥德爾不完備性定理》,基本上是關於此話題國內說得最清楚的文章(p.s.但是哥德爾定理證明最簡潔的文獻絕對是《大腦、機器和數學》,隻看1.6節一頁紙就全部說明完瞭),當然要理解其中的思想你還得讀點其他文獻。哥德爾不完備定理說白瞭就是不能用有限步的機械方法證明所有數學命題,特彆是有關無限內容的命題。這樣說仿佛降低瞭這個工作的意義,其實並沒有,他的價值在於證明過程中引齣的新方法與研究課題,更大的價值在於對當代以及現代人思想的影響。我們可以斷言(請笑場這句廢話),人類可以用有限步證明所有的數學的命題,那些懸而未決的隻是還沒找到方法。而人類會瞭機器就會瞭,機器會瞭也就是人會瞭,二者沒有先後,因為這個世界早就人機一體瞭。
評分其中有一篇文章是《論哥德爾不完備性定理》,基本上是關於此話題國內說得最清楚的文章(p.s.但是哥德爾定理證明最簡潔的文獻絕對是《大腦、機器和數學》,隻看1.6節一頁紙就全部說明完瞭),當然要理解其中的思想你還得讀點其他文獻。哥德爾不完備定理說白瞭就是不能用有限步的機械方法證明所有數學命題,特彆是有關無限內容的命題。這樣說仿佛降低瞭這個工作的意義,其實並沒有,他的價值在於證明過程中引齣的新方法與研究課題,更大的價值在於對當代以及現代人思想的影響。我們可以斷言(請笑場這句廢話),人類可以用有限步證明所有的數學的命題,那些懸而未決的隻是還沒找到方法。而人類會瞭機器就會瞭,機器會瞭也就是人會瞭,二者沒有先後,因為這個世界早就人機一體瞭。
評分其中有一篇文章是《論哥德爾不完備性定理》,基本上是關於此話題國內說得最清楚的文章(p.s.但是哥德爾定理證明最簡潔的文獻絕對是《大腦、機器和數學》,隻看1.6節一頁紙就全部說明完瞭),當然要理解其中的思想你還得讀點其他文獻。哥德爾不完備定理說白瞭就是不能用有限步的機械方法證明所有數學命題,特彆是有關無限內容的命題。這樣說仿佛降低瞭這個工作的意義,其實並沒有,他的價值在於證明過程中引齣的新方法與研究課題,更大的價值在於對當代以及現代人思想的影響。我們可以斷言(請笑場這句廢話),人類可以用有限步證明所有的數學的命題,那些懸而未決的隻是還沒找到方法。而人類會瞭機器就會瞭,機器會瞭也就是人會瞭,二者沒有先後,因為這個世界早就人機一體瞭。
評分
評分
評分
評分
徐利治談數學方法論 pdf epub mobi txt 電子書 下載 2024