The Annotated Turing的书评 (22)

Silvery 2013-07-11 19:41:08 人民邮电出版社2012版

数学的严格化, 公理化, 形式化

鉴于是科普向就不发博客了.. 微积分发明后, 全欧洲的数学物理学家们疯狂的享受这种方法带来的方便. 那时的数学是带有浓厚的应用目的的, 几乎所有数学都是为解物理问题而存在, 人们用微积分求解物体间的作用, 天体的运动, 却未顾及方法的严谨性. 即使有怀疑的声音, 人们还是随...  (展开)
Marius 2013-03-03 23:14:33 人民邮电出版社2012版

Mission Impossible

《图灵的秘密》是关于图灵1936年那篇开创性论文的解读,内容很多很难,需要的背景知识包括数理逻辑,lambda演算,以及一些基本的数论。读完的笔记也许都会比原书多,这里想简洁或者宏观性地谈谈几个主角之间的“故事”。 实际上说争论更准确。 初(我目前所知道的),大神莱...  (展开)
飞林沙 2012-12-18 22:34:03 人民邮电出版社2012版

推荐给所有想学数学的程序员

其实这本书我并没有读完,因为到了第二部分,即使有了作者的解释和注释,图灵的论文也确实超出了我的能力范围之外了,把“可计算函数”一章的前半部分仔细读了三四遍之后还是读不懂之后,我不得不放弃了。但是这并不影响我仍然给这本书打五星力荐。 先说这本书,我想如果没有C...  (展开)
小凤 2012-11-08 14:59:34 人民邮电出版社2012版

精彩内容抢先看:图灵的学业——选自《图灵的秘密》第四章

阿兰•图灵(1912—1954)是英国数学家、逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献,美国计算机协会于1966年设立图灵奖,此奖项被誉为计算机科学界的诺贝尔奖。  ...  (展开)
无敌北瓜 2013-03-03 00:01:49 人民邮电出版社2012版

图灵的秘密

这本书对我来说真的很难读懂。看到大段大段的各种稀奇古怪的数学符号我就发求。但是这并不妨碍我从另一个角度来重新了解了图灵、数学、计算机….去年的时候曾听过Jeff讲过的一个session:《世界及宇宙的终极答案》。我敢确定至少一半的内容都是来自这本书。 图灵在论文中描述了...  (展开)
Gigantomachia 2012-12-18 21:44:01 人民邮电出版社2012版

谜一样的图灵

今年是图灵诞辰100周年,全世界都在发起纪念图灵的活动,接连不断的纪念活动把这位孤僻、低调而伟大的天才置于聚光灯下,而近日霍金、马丁里斯等11位著名科学家致函英国首相卡梅伦,再次要求为图灵1954年的同性恋罪行平反。图灵的一生如此短暂,为什么却迸发出了这么耀眼的光芒...  (展开)
平凡的老鱼 2014-06-02 18:02:33 人民邮电出版社2012版

寻根溯源,重温经典

Charles Petzold确实是一位大牛,作为windows程序员来说,《Windows程序设计》是一本经典之中的经典。不过对于我来说,熟悉大牛的深入浅出式的说明还是在《编码的奥秘》这本书(原句叫 coding,现在再版,书名叫《编码》),在那本书里面,指引着我们寻找计算机制造的基本原理...  (展开)
gilgemash 2010-07-13 13:43:03

由浅入深

介绍了图灵的数学理论,由浅入深,大学六级英语水平加高中数学知识要求。暂时只扫了一眼,看完后补上详尽的评论。  (展开)
beride 2013-01-07 11:52:00 人民邮电出版社2012版

图灵之歌

之所以没有选力荐不是因为书不够好,而是这本书对于大部分人来说很难全部读懂,我算是一个数学爱好者,虽然自己数学能力已经完全处于大学以下水平了。读这本书需要很多思考,毕竟他不是传记,不是故事,而是对一个完整的知识体系的详尽分析和解读,多谢作者在前面写了大量的补...  (展开)
天天向上 2012-11-06 13:58:05 人民邮电出版社2012版

创新思维卓越贡献、特立独行传奇人生--纪念图灵百年诞辰

艾伦•麦席森•图灵(Alan Mathison Turing)1912年6月23日生于英国伦敦梅达维洛(Maida Vale, London),今年正好是他100周年诞辰。这位英国皇家学会会员、数学家、逻辑学家,被国际公认为计算机科学与人工智能之父。正当他具有奔流不息的思维源泉和将其付诸实践的巨大热...  (展开)
Wattskemov 2021-02-03 14:52:54 人民邮电出版社2012版

知道可能与不可能同样重要--《图灵的秘密》读后感

这篇书评可能有关键情节透露

本书必须五星推荐,但这不是一本教你如何编程的书,也许你看完后,对你的编程技巧不会有任何提升,但是对于你理解计算机是什么、能做什么,是有根本帮助。 图灵机器设计的最初目的,是为了解决可计算数的问题,对于理解这个问题,需要有一定的数学知识。这一部分读起来也很有意...  (展开)
lupurs 2013-12-13 14:46:16 人民邮电出版社2012版

看似合上了一扇门,其实打开了另一扇窗

在这之前因为简单看过一些哲学普及书,一直纠结于唯物论->因果论->机械论和自由意志之间的矛盾。我是相信唯物论的,但是又觉得自由意志这个东西并不能由简单的因果关系决定,直到看到了这本书。 这本书详细分析了图灵机的不可判定性问题和哥德尔的不确定性原理,在我看起来,虽...  (展开)
林鸽🎀 2023-03-02 04:31:47 人民邮电出版社2012版

见到他就跟他说,《可计算数》是世界上最伟大的论文

本来,这书是我2021年开始看,看到1/3就搁在一边了,因为专业不对口。这是一本讲数理逻辑的书,根本不是给我们这些外人看的。但是这一阵,AI又火出圈了,第一台实体计算机ENIAC刚过完生日。我的内心就唯余两个灵魂拷问:现代计算机是谁发明的?机器能思考吗?于是我又翻开了这...  (展开)
兰德尔 2020-04-17 14:50:05 人民邮电出版社2012版

可能的勘误

2014年2月北京第3次印刷 Truing simulator: http://morphett.info/turing/turing.html p159,“如果我们没有办法计算这个极限,那么它便不是一个可计算数,只是另一个不可计算的实数,于是我们便无法证明可计算数是可数的”根据英文原文或应改为“于是我们就没有否证可计算数...  (展开)
一种态度 2019-09-07 17:56:52 人民邮电出版社2012版

专业性很强,但介绍的很好。

艾伦图灵 :计算理论,论可计算数及其在判定性问题上的应用 oncomputable numbers,with an application to the Entscheidungsproblem 图灵写这篇论文的动机是想解决德国数学家大卫、希尔伯特构想的一个问题,希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证...  (展开)
崩溃侠 2016-09-23 00:46:09 人民邮电出版社2012版

疑似非专业翻译

看到了第七章后部,发觉似乎不是IT行业的人翻译的这本书,在遇到函数overload,翻译成“过载”而非“重载”  (展开)
yilitongdouzi 2016-07-09 15:14:38 人民邮电出版社2012版

伟大的著作

最近一年断断续续在读《图灵的秘密》,现在终于有点眉目了。读图灵机时,第一台图灵机打印010101……倒好明白,第二台图灵机打印0010110111011110……就不太明白了,反复读了若干遍,终于有点明白了。但作者介绍的计算2的平方根的图灵机不懂。就跳过去了。直接看子程序,其中大...  (展开)
锅巴肉片 2014-09-14 10:47:17 人民邮电出版社2012版

警告!读此书前请注意

终于将这本书翻完了,如释重负。 之所以这么说,因为这本书至少有70%的内容是在将图灵的思想和论文,此外还有大量文字讲解数学知识,初看还能接受,但后面竟有多个章节都是讲述这些理论,实在有些专业与乏味。 这本书严格意义上不能算是图灵的传记,少的是图灵的故事,多的是...  (展开)
小凤 2012-11-27 09:22:01 人民邮电出版社2012版

图灵无秘密

图灵是一个有爱、但遗落了爱的人,普通而悲情,坚定而脆弱。 就像文章所言:“图灵将人与机器关联了起来”,这是当今人们记住他的最大原由。实际上,图灵的成就实在是影响巨大,任何赞美之词都可以毫无保留地送给他。 图灵的归宿是如此悲情,为助力人类由工业时代迈向信息时...  (展开)
<前页 1 2 后页> (共22条)

订阅The Annotated Turing的书评