图书标签: 图灵  计算机  计算机科学  数学  人工智能  传记  计算理论  思维   

喜欢 图灵的秘密 的读者还喜欢

• 
  计算的本质 pdf epub mobi txt 电子书 下载
• 
  研究之美 pdf epub mobi txt 电子书 下载
• 
  奇思妙想 pdf epub mobi txt 电子书 下载
• 
  论可计算数 pdf epub mobi txt 电子书 下载
• 
  数学的语言 pdf epub mobi txt 电子书 下载
• 
  计算机程序的构造和解释 pdf epub mobi txt 电子书 下载
• 
  计算理论导引 pdf epub mobi txt 电子书 下载
• 
  自动机理论、语言和计算导论 pdf epub mobi txt 电子书 下载
• 
  数学之美 pdf epub mobi txt 电子书 下载
• 
  概率论沉思录 pdf epub mobi txt 电子书 下载

一阶谓词逻辑系统是完备的，但是加上算术系统后就是不完备的了

昨天跟学生物的同学聊了下变异是否存在最优路径以及基因中是否存在判定最优路径的结构。一时间希尔伯特的判定问题，哥德尔不完备定理，程序的最优算法以及判定程序算法是否正确和最优的通用程序在脑袋里搅到了一块。#在黑格尔式民哲的大路上越走越远

对于我是数学再启蒙

因为图灵与乔布斯的故事，大家终于把这个天才记起来了。这书不错。

触到了Turing最初的想法

中文书名叫做《图灵的秘密》，副标题叫“他的生平、思想及论文解读”，内容读来和此有些差异。书的主要内容是解读图灵1936年发表的论文“On Computable Numbers, with an Application to the Entscheidungsproblem”（“论可计算数及其在判定性问题上的应用”），在这个大主题...  

介绍了图灵的数学理论，由浅入深，大学六级英语水平加高中数学知识要求。暂时只扫了一眼，看完后补上详尽的评论。  

之所以没有选力荐不是因为书不够好，而是这本书对于大部分人来说很难全部读懂，我算是一个数学爱好者，虽然自己数学能力已经完全处于大学以下水平了。读这本书需要很多思考，毕竟他不是传记，不是故事，而是对一个完整的知识体系的详尽分析和解读，多谢作者在前面写了大量的补...  

艾伦图灵 ：计算理论，论可计算数及其在判定性问题上的应用 oncomputable numbers，with an application to the Entscheidungsproblem 图灵写这篇论文的动机是想解决德国数学家大卫、希尔伯特构想的一个问题，希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证...  

其实这本书我并没有读完，因为到了第二部分，即使有了作者的解释和注释，图灵的论文也确实超出了我的能力范围之外了，把“可计算函数”一章的前半部分仔细读了三四遍之后还是读不懂之后，我不得不放弃了。但是这并不影响我仍然给这本书打五星力荐。 先说这本书，我想如果没有C...