圖書標籤: 數學 計算機 計算理論 科普 圖靈 計算機科學 人工智能 編程
发表于2024-07-06
論可計算數 pdf epub mobi txt 電子書 下載 2024
1936年,24歲的圖靈發錶瞭現代計算領域奠基性的論文《論可計算數及其在判定問題上的應用》。這篇論文堪稱圖靈一生中最重要的貢獻。然而,大眾對圖靈的瞭解多停留在破解德國的著名密碼係統Enigma,幫助盟軍取得二戰的勝利上。對於數學傢圖靈,人們往往知之甚少。
在本書中,作者深入分析瞭圖靈的這篇論文,讀者隻需具備高中水平的數學知識,即可輕鬆讀懂這篇劃時代的論文,瞭解其對現代計算發展的傑齣貢獻。正如人工智能之父馬文•明斯基所說,圖靈的論文有著超乎尋常的簡潔性及數學之美。任何希望深入瞭解圖靈及其工作的讀者都不該錯過這本書!
剋裏斯•伯恩哈特是美國費爾菲爾德大學數學係的一位教授,他從數學的角度入手,研究圖靈的可計算數理論及現代計算的誕生,堪稱圖靈理論最深入的研究者。
雖然翻譯有瑕疵還是必須5顆星。
評分不知道英文原版如何,反正中文翻譯之爛也是沒誰瞭,Lambda積分、差異引擎這種無厘頭的東西都齣來,我還能說些什麼?
評分書是好書,翻譯太爛
評分書是好書,翻譯太爛
評分天纔般的想法,優雅的證明。
从目录看,《论可计算数》原著肯定是好书,但译者太糟。仅就前面的一点翻译来说,就看到把“反证法”译为“矛盾证明法”,“不可公度量”译为“无法测量的长度”。最不能忍的是“希尔伯特证明,如果算术是连续的,那么欧式几何也是连续的”这一句了,根据前后文我估计“连续”...
評分第一章是从无理数讲起的,虽然只是为了带出来后来希尔伯特的第十问题,但是此处却暗含玄机,因为后面核心的主题就是由无理数证明出来的。当然在这一章里面,还引入很多的理论大牛作为背景,以待后面登场。 第二章,简单的列举了三个不可判定问题,实际上只详细的讲了第一个pos...
評分在数学和计算机史上,图灵的伟大不言而喻,被称为计算机之父,人工智能之父。1951年,由于在可计算数方面所取得的成就,成为英国皇家学会会员,时年39岁。故这本书主要介绍的是:图灵24岁时写的一篇论文——《论可计算数及其在判定问题中的应用》。 为了解释这篇论文,...
評分在数学和计算机史上,图灵的伟大不言而喻,被称为计算机之父,人工智能之父。1951年,由于在可计算数方面所取得的成就,成为英国皇家学会会员,时年39岁。故这本书主要介绍的是:图灵24岁时写的一篇论文——《论可计算数及其在判定问题中的应用》。 为了解释这篇论文,...
評分第一次知道图灵还是在大学学习计算机基础的时候,当时才知道虽然比尔盖茨靠电脑系统当上了世界首富,但是对电脑真正具有奠基地位的应该是图灵,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发,成为世界上第一位把计算机实际用于数学研究的科学家。也...
論可計算數 pdf epub mobi txt 電子書 下載 2024