如书名：证明达尔文
首先，这是一本值得写书评的书。就凭核心思想的原创性和蔡汀的名字。
其次，当我想写点什么的时候，发现实在很难找到合适的话来描述所谓的这本书， 其实这本书的名字已经总结得很好了，作者提了一个数学理论，叫元生物学， 想从信息的角度证明一定长度的信息(or程序，这个不需要严格区分)，是可以从累积的随机突变的变异中进行进化，从而获得复杂性的进化。正如书名所言，这是一个关于进化和生物创造性的一个数学理论，其目的是“如果达尔文的理论正如生物学家认为的那样根本，那么就应该存在一个一般性的、抽象的进化数学理论，它能从数学上把握达尔文的本质”，所以书名是 ：证明达尔文。
下面开始吐槽：
1 这实在不是一本好的书，第五章以前水了大半本书，基本上都是一些类似讲座的讲话稿的东西，我估计是他上课讲话的口头记录整理的，用他自已的话说，更像是一门哲学和思想史的课程，所以这种课基本上都是扯蛋。
2 就其核心的第五章，其实也是在圣塔非的一次讲座，核心的思想就是前面提到的四张PPT（居然会有人在写书的时候，直接截图了四张PPT作为后面内容的索引，这是有多么的随意。。）， 整个论证过程：
a. 前提说明生命是不断进化的软件结构，生物不是机器是软件
b. 提出元生物学是把生命定义为不断进化的东西然后给出数学证明
c.对于一个K bit长的算法，可以从A突变到B,每个突变都有概率，每个变体都可以在Orace(神喻)下进行判定是否比原来的算法（or 有机体，在作者这里，这种元生物的有机体就是算法或程序）具有更好的适应性.
d. 判断适应性的是否更好，是看对于忙海狸问题给出的结果是否更好。
e. 经过评估，发现随机进化的时间复杂度在N^2和N^3之间，远远小于穷举搜索， 近似于智能设计。
OK，核心内容基本就这些。
然后就关于这个核心理论开始扯关于神学和政治学的意义，真正的扯蛋。 用他自已的话说，这本书里面估计会有很多的细节性的东西会是错误的，但是关于这个思想，还是可以展开考虑的。
在书的附录1里面，提到了冯的自复制结构，从计算->图灵机->通用图灵机->自复制机->ABC结构，
附录2没有看懂，或许应该看一下信息论和计算复杂性的东西。
由于牵涉到oracle TM的问题，这个理论在计算机上的可实现性？尤其是牵涉到BB问题的计算。。。。？貌似比起Tierra和Avida要深刻多了
其次，当我想写点什么的时候，发现实在很难找到合适的话来描述所谓的这本书， 其实这本书的名字已经总结得很好了，作者提了一个数学理论，叫元生物学， 想从信息的角度证明一定长度的信息(or程序，这个不需要严格区分)，是可以从累积的随机突变的变异中进行进化，从而获得复杂性的进化。正如书名所言，这是一个关于进化和生物创造性的一个数学理论，其目的是“如果达尔文的理论正如生物学家认为的那样根本，那么就应该存在一个一般性的、抽象的进化数学理论，它能从数学上把握达尔文的本质”，所以书名是 ：证明达尔文。
下面开始吐槽：
1 这实在不是一本好的书，第五章以前水了大半本书，基本上都是一些类似讲座的讲话稿的东西，我估计是他上课讲话的口头记录整理的，用他自已的话说，更像是一门哲学和思想史的课程，所以这种课基本上都是扯蛋。
2 就其核心的第五章，其实也是在圣塔非的一次讲座，核心的思想就是前面提到的四张PPT（居然会有人在写书的时候，直接截图了四张PPT作为后面内容的索引，这是有多么的随意。。）， 整个论证过程：
a. 前提说明生命是不断进化的软件结构，生物不是机器是软件
b. 提出元生物学是把生命定义为不断进化的东西然后给出数学证明
c.对于一个K bit长的算法，可以从A突变到B,每个突变都有概率，每个变体都可以在Orace(神喻)下进行判定是否比原来的算法（or 有机体，在作者这里，这种元生物的有机体就是算法或程序）具有更好的适应性.
d. 判断适应性的是否更好，是看对于忙海狸问题给出的结果是否更好。
e. 经过评估，发现随机进化的时间复杂度在N^2和N^3之间，远远小于穷举搜索， 近似于智能设计。
OK，核心内容基本就这些。
然后就关于这个核心理论开始扯关于神学和政治学的意义，真正的扯蛋。 用他自已的话说，这本书里面估计会有很多的细节性的东西会是错误的，但是关于这个思想，还是可以展开考虑的。
在书的附录1里面，提到了冯的自复制结构，从计算->图灵机->通用图灵机->自复制机->ABC结构，
附录2没有看懂，或许应该看一下信息论和计算复杂性的东西。
由于牵涉到oracle TM的问题，这个理论在计算机上的可实现性？尤其是牵涉到BB问题的计算。。。。？貌似比起Tierra和Avida要深刻多了
有关键情节透露
