证明达尔文

存在没有设计师的设计…其实有一多半没看懂。04-06

感觉写得很含糊，关于生物进化的数学模型，语焉不详。将DNA编码与计算机编程相提并论，也已经是陈词滥调了。10-31

虽然篇幅冗长，行文啰嗦，而且充满了无效信息，但是冲着ideology给四星：一句话概括：生物系统的进化是软件的进化，是算法的进化，计算机科学未来的发展方向也是基于此；而传统观点中计算机科学的进化是物理意义上的硬件的进化，这种趋势在现代逐渐趋于饱和。生物学中的进化概念可以套用在信息时代的系统演化上，计算机科学即可以看作一种宏观意义上的仿生学，亦或说本质上我们还是利用了新的系统化的方式在探索自然给予我们的信息与智慧。这是刻意而为之的对生物学的效仿与致敬，还是人类根据直觉对于生命本源的探索，这个问题不一定在first priority, 但是十分有趣。10-27

应该用数学描述进化，还是用进化描述数学，我更倾向于后者。02-15

哦！不！这不唯物！！！w(ﾟДﾟ)w04-23

难以相信一本一百多页的薄书会给人闲话太多的感觉，但阅读感受就是这样。实质性的内容其实只是计算理论中的一个结果，如果说从这个结果到“元生物学”的引申虽然略显牵强但还算富有启发性的话，那么从“元生物学”到神学，政治，科学发展的引申就完全是放飞自我了12-04

将DNA视作软件，以数学高观点研究生物进化，自称是开创性的元生物学。作者以哥德尔不完全性定理为起点，结合图灵停机问题，用忙海狸函数BB(N )度量生物创造性的量以及速率，总之非数学专业读者很难看明白。欠缺处在于过于笼统，只相当于一个大纲，语言亲切但不够紧凑06-08

上午开会前浏览了新收到的人民邮电出版社出版、图灵新知制作的新书《证明达尔文：进化和生物创造性的一个数学理论》，这本翻译小书一下子吸引住了我。作者认为，生命作为不断进化的软件，软件不断突变，还提到社会达尔文主义等创造性政治学的解释。书中特别介绍了美国桑塔费（圣菲）研究所的复杂性理论，我立刻想起了博士导师陈禹教授，他是第一个去圣菲研究所的中国人，十几个人的小飞机，到了机场旅客散去后竟然空无一人，独自拖着行李箱步行，各种经历直到9个小时以后才到旅馆。从此复杂性理论被介绍到中国……06-23

数学家中的自由主义、严格的科学著作，我看过的数学作品中继《数学与后现代思想的根源》之后第二本神作。02-17

#PDF# 4.0 分。02-14

新意，作者说的累积的随机进化时间是介于N²到N³的，这不是意味着时间分形么。。。另外那位赵海平同学也不用纠结嘛，你应该顺着蔡廷的路走下去，做生物和计算机科学结合的元生物学就好啦。04-23

如果不是因为蔡汀的名字，这本书实在算不上是一本一般意义上的书，因为真正的好书都是基本一信核心观念的成体系的展开，这本书严格上来说只有第四章后半和第五章是核心观点，即在软件空间中的随机游走通过进化可以达到N^2到N^3的算法复杂度来解决例如BB问题。附录一是关于冯诺依曼的自复制机的ABC结构，与正文似乎没有关系。08-09

昨晚写的算也不算是书评的文章：《图灵，蔡汀，达尔文：计算中的上帝》　http://www.jianshu.com/p/cc3a3f4edb1d02-07

讲了一些数理逻辑中常识性的东西，核心思想是DNA是程序，程序会自我进化，所以生命也会。核心章节是第四章，实际上是说可以构造一个自我进化的程序，不断改进计算忙海狸问题的效率。总之，太玩具了一些。只能说是一个有趣的想法。值二星半，看在作者的份上，给三星吧。09-25

怎么说呢，这本书不太配得上一代大师Chaitin的名气，他想用算法信息论来理论化进化论，但是他的模型太含糊了，而且没有哪怕一个实在的例子来详细分析。书里面大部分内容只能说是观点，提供一些启发的方向。12-01