图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的个人经历,以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
这本书对我来说真的很难读懂。看到大段大段的各种稀奇古怪的数学符号我就发求。但是这并不妨碍我从另一个角度来重新了解了图灵、数学、计算机….去年的时候曾听过Jeff讲过的一个session:《世界及宇宙的终极答案》。我敢确定至少一半的内容都是来自这本书。 图灵在论文中描述了...
评分今年是图灵诞辰100周年,全世界都在发起纪念图灵的活动,接连不断的纪念活动把这位孤僻、低调而伟大的天才置于聚光灯下,而近日霍金、马丁里斯等11位著名科学家致函英国首相卡梅伦,再次要求为图灵1954年的同性恋罪行平反。图灵的一生如此短暂,为什么却迸发出了这么耀眼的光芒...
评分《图灵的秘密》是关于图灵1936年那篇开创性论文的解读,内容很多很难,需要的背景知识包括数理逻辑,lambda演算,以及一些基本的数论。读完的笔记也许都会比原书多,这里想简洁或者宏观性地谈谈几个主角之间的“故事”。 实际上说争论更准确。 初(我目前所知道的),大神莱...
评分最近一年断断续续在读《图灵的秘密》,现在终于有点眉目了。读图灵机时,第一台图灵机打印010101……倒好明白,第二台图灵机打印0010110111011110……就不太明白了,反复读了若干遍,终于有点明白了。但作者介绍的计算2的平方根的图灵机不懂。就跳过去了。直接看子程序,其中大...
评分看到了第七章后部,发觉似乎不是IT行业的人翻译的这本书,在遇到函数overload,翻译成“过载”而非“重载”
触到了Turing最初的想法
评分一阶谓词逻辑系统是完备的,但是加上算术系统后就是不完备的了
评分果然看不懂。。
评分有点天书的感觉
评分别被名字骗了,这是一本很硬的数学书。。。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有