在《证明达尔文(进化和生物创造性的一个数学理论)》这部开创性著作中，数学家格雷戈里·蔡汀提出了关于进化和生物创造性的一个数学理沦，试图揭示生物学深层的数学结构。在阿兰·图灵和约翰·冯·诺伊曼的相关思想的基础上，作者进一步深化了生命作为不断进化的软件的思想，开辟了一个称为“元生物学”的新领域。
除了核心的数学证明，作者还从元生物学的视角重写了分子生物学的早期历史以及软件的人类发现史，重新审视了图灵和冯·诺伊曼的工作。他还探讨了元生物学的神学和政治学意涵，强凋创造性之重要，呼吁我们要有足够的创造性去没汁一个允许创造性的社会。
在《证明达尔文(进化和生物创造性的一个数学理论)》这部开创性著作中，数学家格雷戈里·蔡汀提出了关于进化和生物创造性的一个数学理论，试图从数学上证明达尔文的进化论。在约翰·冯·诺伊曼和阿兰·图灵的相关思想的基础上，作者进一步深化了生命作为不断进化的软件的思想，开辟了一个称为“元生物学”的新领域，为我们认识生物的本质打开了一个新的窗口。
一则寓言
自相矛盾的引文？
中文版序
英文版代序：解题家与理论家
中文版前言
英文版前言
第一章 引言：本书概述
第二章 生命作为不断进化的软件：不断突变的软件的进化
第三章 人类发现软件：作为生物学家的图灵与冯?诺伊曼
第四章 元生物学的数学：软件空间中的随机漫步
第五章 桑塔费研究所的讲座：关于进化和生物创造性的一个数学理论
第六章 元生物学的神学意涵
第七章 创造性的政治学（社会达尔文主义→社会元生物学）
第八章 数学最终能实现什么？元生物学及更多
附录一 冯·诺伊曼的“DNA=软件”论文
附录二 证明的核心
参考文献
译后记
