证明达尔文：进化和生物创造性的一个数学理论

草长莺飞，鸢飞鱼跃，生物的创造性让我们叹为观止。达尔文的进化论真能解释这一切吗？现在存在许多经验证据支持达尔文理论，但却没有数学证明。算法信息论开创者格雷戈里•蔡汀对此进行了大胆尝试，提出了关于进化和生物创造性的一个数学理论。

- 将生命视为不断进化的软件，蔡汀进一步发展了图灵和冯·诺伊曼的思想，重新检视了分子生物学的早期历史以及软件的人类发现史，并指出创造性的重要性——我们要有足够的创造性去设计一个允许创造性的社会。

内容简介：

在这部开创性著作中，数学家格雷戈里•蔡汀提出了关于进化和生物创造性的一个数学理论，试图揭示生物学深层的数学结构。在阿兰•图灵和约翰•冯•诺伊曼的相关思想的基础上，作者进一步深化了生命作为不断进化的软件的思想，开辟了一个称为“元生物学”的新领域。

除了核心的数学证明，作者还从元生物学的视角重写了分子生物学的早期历史以及软件的人类发现史，重新审视了图灵和冯•诺伊曼的工作。他还探讨了元生物学的神学和政治学意涵，强调创造性之重要，呼吁我们要有足够的创造性去设计一个允许创造性的社会。

作者简介：

格雷戈里•蔡汀（Gregory Chaitin）

1947年出生于美国芝加哥的一个阿根廷移民家庭，在纽约度过了童年时期。还是在高中时，他写作了自己第一篇发表的学术论文。在就读于纽约城市大学时，他写作了一篇长篇论文，独立发现了柯氏复杂性（另外两位独立的发现者是柯尔莫哥洛夫和所罗门诺夫），他因而被称为算法信息论的开创者之一。但大二没有结束，他中止了学业，随父母返回阿根廷。其后他陆续在布宜诺斯艾利斯的IBM分公司担任过程序员，在纽约的IBM沃森研究中心担任过研究员。

之后，他全身心投入到算法信息论及相关领域的研究。他提出了著名的蔡汀常数Ω，一个可定义却不可计算的实数。他对形而上学和数学哲学也有着深入的思考，认为算法信息论是破解生物学和神经科学等领域的一些重大问题的关键，并致力于发展关于进化和生物创造性的一个数学理论。

他现为里约热内卢联邦大学教授，拥有两个名誉博士学位，著有《元数学！追寻奥米伽》（Meta Maths! The Quest for Omega）、《与一个数学家的对话》（Conversations with a Mathematician）以及《算法信息论》（Algorithmic Information Theory）等。

专业书评：

尽管他在书中没有这样子说，但达尔文的根本思想可以表述为，存在没有设计师的设计。所以《证明达尔文》的根本思想也不妨表述为，存在没有程序员的编程。通过数学证明借助随机突变和自然选择实现进化是可能的，我的书试图从数学上证明达尔文的进化论。

——格雷戈里•蔡汀

生命起源、物种起源、进化过程，这些一直是生物学界的核心话题。随着新技术、新方法的产生和运用，尤其是进入组学时代，人们对生物本质的了解会越来越深入。用数学语言阐释达尔文的进化理论是一种有益的尝试，也许会为我们认识生物的本质打开一个新的窗口。

——王德华（中国科学院动物研究所研究员）

证明达尔文-试读.pdf