本書讓我知道的是，計算機並不能解決所有問題。
「圖靈把這個信條貫徹到了極致。老實說，我一開始對他的做法還挺惱火的。每次他給我布置乙個任務，我完成以後，他都不肯賞臉看一看我的解法，而是會自己先解一遍；只有自己先初步嘗試一遍之後，才會看我的解法。我很快就看到了他這樣做的好處。首先，他如果不親自嘗試，是不會輕易接受別人的想法的，不過更重要的是，他經常會想出一些具有獨創性的方法。這些方法我可能想都沒有想過，而且他要是一開始就看我的解法，也不一定想得出來。」
有一位理髮師，他只為不給自己刮臉的人刮臉。那麼他給不給自己刮臉呢？ 如果他不給自己刮臉，他就屬於「不給自己刮臉的人」，他就要給自己刮臉，而如果他給自己刮臉呢？他又屬於「給自己刮臉的人」，他就不該給自己刮臉。唯一說得通的解釋是，他既給自己刮臉，又不給自己刮臉——但這在邏輯上是不可能的。所以說這是乙個悖論。
當時的機器只能做一件事情，那就是它們被設計出來做的事情。但是希爾伯特提出的挑戰是製造一台萬能機，這台機器必須通曉任何數學語言，能夠看懂人們用數學語言表述出來的任何命題。要做到這一點，它必須能夠按照任何順序進行任何可能的數**算，從而給操作者留出充分的餘地改變問題
圖靈認為，要想判斷他的機器會不會停機，那就需要再構造一台圖靈機，以對第一台機器進行檢測，因為他知道，他假想的機器在理論上可以進行任何數**算。於是他假想出第二台圖靈機，如果檢測到第一台圖靈機永不停機，那麼第二台機器就會停機，然後輸出「不停機」；如果檢測到第一台圖靈機停了機，那麼第二台機器就會一直運轉下去。 現在，腦筋急轉彎的地方來了。假如第二台機器反觀自身，判斷自己會不會停止計算，那會發生什麼情況？圖靈對此進行了設想，他突然發現了乙個悖論：如果機器檢測到自己會永不停機，那麼它就會停機，然後輸出「不停機」；如果機器檢測到自己停了機，那麼它就會一直運轉下去。這在邏輯上是不可能的，由此證明，有些圖靈機是不可判定的——我們永遠也無法判斷它們會不會停機。 儘管這樣說或許令人費解、甚至不可思議，但是不可判定或不可計算的問題的確大量存在——自此之後，這樣的事實一直讓計算機程式設計師備受困擾。圖靈的研究結果表明，有些數學問題是計算機無法解決的，這與計算機的運算能力、運算速度和記憶體容量無關。
邱奇連吃早飯的方式都很有邏輯：「先把牛奶倒進空碗裡，放適量的糖，用早餐勺攪拌均勻，然後放一兩勺麥片。吃完這點麥片後，再接著放一兩勺，邊吃邊放。這樣一來，糖就會在牛奶中充分溶解，分布均勻，而且麥片也不會泡得太軟。」
理論計算機科學家羅蘋·赫希（robin hirsch）研究了這些思想。「這個世界上存在三種型別的事物，」他說，「第一種在理論上可能做到，但卻無法解決；第二種在實際上可能做到（因此在理論上也必定可能做到）；第三種在理論上可能做到，但在實際上卻未必可能做到——雖然說是在理論上可能做到，但往往是比較匪夷所思的型別，即使宇宙的壽命終結也不一定能夠完成，所以從實際角度講，我們也解決不了。在電腦科學領域，大多數有趣的問題都屬於這個範疇。」
在電腦科學領域，我們常用的詞是「演算法」，而不是「方法」。這個術語主要用於描述我們打算寫入電腦程式的方法或過程，它給出了程式執行的所有步驟。因此，所謂排序演算法，就是指為一系列事物排序的方法。
計算機，一部歷史
作為一名計算機專業的同學，讀完才明白沒有明白計算機歷史的專業學習只會是機械式的學習，正確的學習是應該是了解計算機的歷史，明白自己現在是如何站在巨人的肩膀上，明白乙個個新的領域是如何通過計算機的創新技術而發生革命性的改變的，也許通過學習，就能夠激發自己對於特定方面領域的興趣並持之以恆的研究下去。我們目...
計算機系統讀書筆記一
源程式是由值0和1組成的位 位元 序列。8個位是乙個位元組。每個位元組表示程式中的文字字元。ascii ascii碼用唯一的單位元組大小的整數值賴表示每個字元。2 8 256個字元。基本思想 系統種的所有資訊，包括磁碟檔案 記憶體中的程式 記憶體中存放的使用者資料以及網路上傳送的資料，都是由一串位元...
計算機網路讀書筆記
路由器 在網路核心部分起特殊作用，它是一種專用計算機 但不是主機 路由器是實現分組交換的關鍵構件，其任務是 收到的分組，這是網路核心部分的最重要的功能。路由器用於 分組，即進行分組交換。路由器收到乙個分組，先暫時儲存下來，再檢查其首部，查詢路由表，按照首部中的目的位址，找到合適的介面 出去，把分組交...