具体描述
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
作者简介
目录信息
第一部分 基 础
第1章 这个墓穴埋葬着丢番图 2
第2章 无理数和超越数 10
第3章 几个世纪以来的发展 28
第二部分 可计算数
第4章 图灵的学业 48
第5章 运作的机器 69
第6章 加与乘 86
第7章 子程序 97
第8章 万物皆数字 114
第9章 通用机 130
第10章 计算机与可计算性 150
第11章 机器与人 175
第三部分 判定性问题
第12章 逻辑与可计算性 188
第13章 可计算函数 216
第14章 主要证明 244
第15章 λ演算 266
第16章 对连续统的设想 285
第四部分 题外话
第17章 万物皆是图灵机？ 310
第18章 长眠的丢番图 333
参考文献 341
· · · · · · (收起)
读后感
鉴于是科普向就不发博客了.. 微积分发明后, 全欧洲的数学物理学家们疯狂的享受这种方法带来的方便. 那时的数学是带有浓厚的应用目的的, 几乎所有数学都是为解物理问题而存在, 人们用微积分求解物体间的作用, 天体的运动, 却未顾及方法的严谨性. 即使有怀疑的声音, 人们还是随...
评分最近一年断断续续在读《图灵的秘密》，现在终于有点眉目了。读图灵机时，第一台图灵机打印010101……倒好明白，第二台图灵机打印0010110111011110……就不太明白了，反复读了若干遍，终于有点明白了。但作者介绍的计算2的平方根的图灵机不懂。就跳过去了。直接看子程序，其中大...
评分图灵是一个有爱、但遗落了爱的人，普通而悲情，坚定而脆弱。 就像文章所言：“图灵将人与机器关联了起来”，这是当今人们记住他的最大原由。实际上，图灵的成就实在是影响巨大，任何赞美之词都可以毫无保留地送给他。 图灵的归宿是如此悲情，为助力人类由工业时代迈向信息时...
评分这本书对我来说真的很难读懂。看到大段大段的各种稀奇古怪的数学符号我就发求。但是这并不妨碍我从另一个角度来重新了解了图灵、数学、计算机….去年的时候曾听过Jeff讲过的一个session:《世界及宇宙的终极答案》。我敢确定至少一半的内容都是来自这本书。 图灵在论文中描述了...
评分艾伦•麦席森•图灵（Alan Mathison Turing）1912年6月23日生于英国伦敦梅达维洛（Maida Vale, London），今年正好是他100周年诞辰。这位英国皇家学会会员、数学家、逻辑学家，被国际公认为计算机科学与人工智能之父。正当他具有奔流不息的思维源泉和将其付诸实践的巨大热...
用户评价
幸亏有中文版，如果看英文版估计会疯掉。实质性部分（13-16章）几乎完全没看懂，但17-18章读完，仍然心潮澎湃……
评分对于我是数学再启蒙
评分靠被骗了……这是数学啊啊啊
评分论文那块读的比较费劲，还是没看太懂啊
评分昨天跟学生物的同学聊了下变异是否存在最优路径以及基因中是否存在判定最优路径的结构。一时间希尔伯特的判定问题，哥德尔不完备定理，程序的最优算法以及判定程序算法是否正确和最优的通用程序在脑袋里搅到了一块。#在黑格尔式民哲的大路上越走越远
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有