The Annotated Turing的书评 (22)
数学的严格化, 公理化, 形式化
鉴于是科普向就不发博客了.. 微积分发明后, 全欧洲的数学物理学家们疯狂的享受这种方法带来的方便. 那时的数学是带有浓厚的应用目的的, 几乎所有数学都是为解物理问题而存在, 人们用微积分求解物体间的作用, 天体的运动, 却未顾及方法的严谨性. 即使有怀疑的声音, 人们还是随...
(展开)
Mission Impossible
《图灵的秘密》是关于图灵1936年那篇开创性论文的解读,内容很多很难,需要的背景知识包括数理逻辑,lambda演算,以及一些基本的数论。读完的笔记也许都会比原书多,这里想简洁或者宏观性地谈谈几个主角之间的“故事”。 实际上说争论更准确。 初(我目前所知道的),大神莱...
(展开)
推荐给所有想学数学的程序员
其实这本书我并没有读完,因为到了第二部分,即使有了作者的解释和注释,图灵的论文也确实超出了我的能力范围之外了,把“可计算函数”一章的前半部分仔细读了三四遍之后还是读不懂之后,我不得不放弃了。但是这并不影响我仍然给这本书打五星力荐。 先说这本书,我想如果没有C...
(展开)
精彩内容抢先看:图灵的学业——选自《图灵的秘密》第四章
阿兰•图灵(1912—1954)是英国数学家、逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献,美国计算机协会于1966年设立图灵奖,此奖项被誉为计算机科学界的诺贝尔奖。 ...
(展开)
创新思维卓越贡献、特立独行传奇人生--纪念图灵百年诞辰
艾伦•麦席森•图灵(Alan Mathison Turing)1912年6月23日生于英国伦敦梅达维洛(Maida Vale, London),今年正好是他100周年诞辰。这位英国皇家学会会员、数学家、逻辑学家,被国际公认为计算机科学与人工智能之父。正当他具有奔流不息的思维源泉和将其付诸实践的巨大热...
(展开)
知道可能与不可能同样重要--《图灵的秘密》读后感
这篇书评可能有关键情节透露
本书必须五星推荐,但这不是一本教你如何编程的书,也许你看完后,对你的编程技巧不会有任何提升,但是对于你理解计算机是什么、能做什么,是有根本帮助。 图灵机器设计的最初目的,是为了解决可计算数的问题,对于理解这个问题,需要有一定的数学知识。这一部分读起来也很有意... (展开)看似合上了一扇门,其实打开了另一扇窗
在这之前因为简单看过一些哲学普及书,一直纠结于唯物论->因果论->机械论和自由意志之间的矛盾。我是相信唯物论的,但是又觉得自由意志这个东西并不能由简单的因果关系决定,直到看到了这本书。 这本书详细分析了图灵机的不可判定性问题和哥德尔的不确定性原理,在我看起来,虽...
(展开)
见到他就跟他说,《可计算数》是世界上最伟大的论文
本来,这书是我2021年开始看,看到1/3就搁在一边了,因为专业不对口。这是一本讲数理逻辑的书,根本不是给我们这些外人看的。但是这一阵,AI又火出圈了,第一台实体计算机ENIAC刚过完生日。我的内心就唯余两个灵魂拷问:现代计算机是谁发明的?机器能思考吗?于是我又翻开了这...
(展开)
专业性很强,但介绍的很好。
艾伦图灵 :计算理论,论可计算数及其在判定性问题上的应用 oncomputable numbers,with an application to the Entscheidungsproblem 图灵写这篇论文的动机是想解决德国数学家大卫、希尔伯特构想的一个问题,希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证...
(展开)
警告!读此书前请注意
终于将这本书翻完了,如释重负。 之所以这么说,因为这本书至少有70%的内容是在将图灵的思想和论文,此外还有大量文字讲解数学知识,初看还能接受,但后面竟有多个章节都是讲述这些理论,实在有些专业与乏味。 这本书严格意义上不能算是图灵的传记,少的是图灵的故事,多的是...
(展开)