計算進化史讀后感
2+2=4 需要證明嗎?可以用計算的方式證明素數(shù)有無窮多個嗎?計算機可以代替人進行所有的數(shù)學(xué)證明嗎?如果你思考過這些問題又沒有明確的答案，那么可以看看這本《計算進化史》。
數(shù)學(xué)與算術(shù)的關(guān)系
數(shù)學(xué)與計算到底是什么關(guān)系?對于不同的人，可能答案會不一樣。小學(xué)的時候，數(shù)學(xué)對我來說就是算術(shù)(計算)，加減乘除、乘法口訣表到混合運算到簡單的解方程，所有的東西都是算算算……;到了初中開始學(xué)習(xí)幾何，才開始接觸簡單的公理、推理、證明;高中時代演繹、歸納成為挑戰(zhàn)，而對計算的能力要求已然退居幕后;大學(xué)伊始，高數(shù)里的無窮∞ 、連續(xù)、斷點、微分、積分對于沒有準(zhǔn)備的新生而言大多是揮之不去的夢魘。
為什么我們的數(shù)學(xué)學(xué)習(xí)生涯要這么設(shè)計?大概與人對數(shù)學(xué)的認(rèn)知過程和方式有關(guān)吧。媽媽教我數(shù)數(shù)是從掰手指頭開始的。美索不達米亞人的原始數(shù)學(xué)考慮的是：如果要把1152000份糧食分給164571個人，每個人能分幾份;100步長、100步寬的田產(chǎn)與1000步長、10步寬的田產(chǎn)哪個面積大的問題;埃及人要考慮怎樣丈量并切割出來的大石塊砌成大金字塔而不會倒塌;秦始皇鑿靈渠需要計算大小天平的尺寸來實現(xiàn)“三分入漓、七分入湘”。原始的數(shù)學(xué)一定是伴隨著人類的實際需求而生的。
古典數(shù)學(xué)的誕生與第一次數(shù)學(xué)危機
大部分人在一生之中也不會真正去去考慮“如果我有無窮的錢，該怎么花光”這樣的“實際”問題。只有在生產(chǎn)力發(fā)展到一定階段，有一部分人可以從體力勞動里解放出來，專門思考“一尺之棰，日取其半，萬世不竭”這樣的`問題，才會開始嘗試把“數(shù)學(xué)”對象從對自然物體進行“算術(shù)”的過程分離出來，成為抽象而獨立的概念。
數(shù)學(xué)的航船從勾股定理的誕生開始起航，遭遇到了畢達哥拉斯悖論，卷入了第一次數(shù)學(xué)危機的漩渦，希帕索斯甚至為了無理數(shù)的發(fā)現(xiàn)付出了生命的代價，最終在歐多克索斯的拯救下得以擺脫危局。經(jīng)過這次危機的洗禮，希臘人才不得不承認(rèn)：直覺、經(jīng)驗?zāi)酥翆嶒?任何實驗都只能得到用有理數(shù)表示的量)都不是絕對可靠的，而推理論證才是可靠的，證明的思想在希臘人心中扎根，而計算作為推理構(gòu)造的工具則應(yīng)隱藏在幕后。進一步，希臘人發(fā)展了邏輯思想并加深了對數(shù)學(xué)抽象性、理想化等特征的認(rèn)識。柏拉圖強調(diào)數(shù)學(xué)要奠基于邏輯之上，必須要有準(zhǔn)確的定義、清楚的假設(shè)和嚴(yán)格的證明，他的“應(yīng)從自明的假設(shè)出發(fā)進行嚴(yán)格的證明”的思想成為古希臘公理方法的發(fā)端。
相比之下，包括中國在內(nèi)的東方古代的數(shù)學(xué)家們將興趣集中于計算，忽略了無理數(shù)概念所涉及的邏輯難點，固然沒有碰上悖論的礁石，卻也同時失去了發(fā)展數(shù)學(xué)邏輯體系的契機。中國傳統(tǒng)數(shù)學(xué)以算為中心，卻最終沒有形成一個嚴(yán)密的公理化演繹體系，可稱為憾事。
古典數(shù)學(xué)統(tǒng)治的負(fù)面影響與第二次數(shù)學(xué)危機
古希臘人在解決第一次數(shù)學(xué)危機的過程中，對無理量建立了嚴(yán)密的理論，并構(gòu)建了幾何學(xué)的大廈，而自歐氏之后，代數(shù)與幾何被嚴(yán)格區(qū)分開來，由于幾何擁有“嚴(yán)格”數(shù)學(xué)的基礎(chǔ)，這就建立起古典數(shù)學(xué)中幾何對算術(shù)(計算)的絕對優(yōu)勢。這種重幾何、輕計算的思想使得算術(shù)、代數(shù)的發(fā)展受到極大的限制，以致于到19世紀(jì)時“geometrist”(幾何學(xué)家)還是所有數(shù)學(xué)家的代名詞。
實際上當(dāng)畢達哥拉斯學(xué)派發(fā)現(xiàn)不可公度量的存在時，他們就已經(jīng)面臨“離散與連續(xù)”的難題。事實上，離散量對地球人而言是直觀的，而連續(xù)、極限、無限這些概念甚至對于很多“考過”高等數(shù)學(xué)的人來說也是一道大檻。所以地球人花了近兩千年去跨這道坎也不足為奇。
計算技術(shù)的發(fā)展是文藝復(fù)興時期數(shù)學(xué)的重要成就，主要體現(xiàn)于代數(shù)學(xué)上的突飛猛進，符號體系的引入使得計算發(fā)生了重大的變革。而數(shù)學(xué)在天文學(xué)、力學(xué)研究中發(fā)揮的巨大作用使代數(shù)越來越成為解決問題的有效工具。笛卡爾創(chuàng)立的解析幾何則改變了數(shù)學(xué)的面貌，把原來被古希臘人割裂開來的幾何、數(shù)、形重新結(jié)合在一起，并直接促進了微積分的誕生!
“無窮小量究竟是否為0”的貝克萊悖論在微積分草創(chuàng)時代確實帶來了第二次數(shù)學(xué)危機，然而，微積分在科學(xué)研究、數(shù)學(xué)應(yīng)用(計算)中顯示了巨大的威力，依靠這個強有力的工具，地球人解決了無數(shù)數(shù)學(xué)和物理上的難題，也使得人們有信心為其打下堅實的數(shù)學(xué)基礎(chǔ)。
最終數(shù)學(xué)分析的基礎(chǔ)依賴實數(shù)、實數(shù)依賴有理數(shù)、有理數(shù)依賴自然數(shù)的逐層構(gòu)建，隨分析的算術(shù)(計算)化，使微積分有了嚴(yán)格的基礎(chǔ)。這個時期，計算又開始在數(shù)學(xué)的舞臺上扮演重要的角色。
集合論、第三次數(shù)學(xué)危機和計算機計算時代的到來
當(dāng)我們進入高中后，遇到的第一個數(shù)學(xué)概念就是：集合。集合是現(xiàn)代數(shù)學(xué)的基石，并在現(xiàn)代數(shù)學(xué)中占據(jù)統(tǒng)治地位。集合論的開創(chuàng)者康托爾的超限數(shù)理論引發(fā)了數(shù)學(xué)界的大戰(zhàn)，而這涉及數(shù)學(xué)證明的方法問題。數(shù)學(xué)中常用的證明方法有兩種：構(gòu)造性證明和存在性證明。
本書用了大量篇幅介紹這兩種證明的區(qū)別與聯(lián)系，此處不再贅述。集合論的誕生從本質(zhì)上揭示了無窮的特性，給數(shù)學(xué)開辟了廣闊的新領(lǐng)域，促使了現(xiàn)代數(shù)學(xué)的形成，并用集合論的語言重述或解決了代數(shù)、幾何、分析中長期存在的問題，并引出了實變函數(shù)、抽象代數(shù)、拓?fù)鋵W(xué)等眾多現(xiàn)代數(shù)學(xué)分支。
正當(dāng)數(shù)學(xué)家們沉醉于數(shù)學(xué)絕對嚴(yán)格性的時候，羅素捅了大漏子，引發(fā)了第三次數(shù)學(xué)危機和新的大論戰(zhàn)。以羅素為代表的邏輯主義、布勞威爾為代表的直覺主義和希爾伯特為代表的形式主義戰(zhàn)作一團。1930年希爾伯特宣稱：“把每個數(shù)學(xué)命題都變成一個可以具體表達和嚴(yán)格推導(dǎo)的公式，經(jīng)過這樣改造的數(shù)學(xué)所推導(dǎo)出來的結(jié)果無懈可擊!”
然而，富有戲劇性的是在他發(fā)出這一結(jié)論的前一天，在另一個研討會上，哥德爾發(fā)表了一項聲明，使得在場的希爾伯特的學(xué)生馮.諾伊曼立刻意識到希爾伯特的綱領(lǐng)是沒法實現(xiàn)了。哥德爾不完全性定理的推出結(jié)束了三大派的論戰(zhàn)，而數(shù)理邏輯成了最后的贏家。
哥德爾、丘奇、圖靈、克萊尼用各自的方式定義了一種語言來描述算法，最終他們的定義被證明具有等價性，而今天我們可以說，它們分別定義了一種“編程語言”。而在哥德爾發(fā)表聲明現(xiàn)場的馮.諾伊曼則最終造出了可以運行“編程語言”的計算機，并開啟了計算機計算的時代。
今天，我們每個人都離不開各式各樣的計算設(shè)備，而計算設(shè)備和算法本身也在發(fā)生著飛速的變化，阿爾法狗已經(jīng)擊敗了最強的人類圍棋手，“機器會思考嗎?”這個問題也許會在不遠的奇點處給出我們答案!
【計算進化史讀后感】相關(guān)文章：
計算的同義詞04-21
《簡便計算》優(yōu)秀說課稿范文03-16
關(guān)于計算機的謎語05-02
《曾國藩日記》讀后感 【讀后感】08-14
如何培養(yǎng)學(xué)生良好的計算習(xí)慣11-27
計算機實習(xí)日志5篇04-14
大學(xué)計算機專業(yè)自我鑒定11-30
雙語文章：計算機與詩人05-02
《口哨》讀后感10-11
《化身》讀后感10-09