证明达尔文

内容简介：

格雷戈里•蔡汀（Gregory Chaitin）

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

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

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

作者简介：

格雷戈里•蔡汀（Gregory Chaitin）

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

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

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

目录：

一则寓言v

自相矛盾的引文？vi

中文版序viii

英文版代序：解题家与理论家xi

中文版前言xiii

英文版前言xv

第一章 引言：本书概述 1

第二章 生命作为不断进化的软件：不断突变的软件的进化 7

第三章 人类发现软件：作为生物学家的图灵与冯·诺伊曼 21

第四章 元生物学的数学：软件空间中的随机漫步 35

第五章 桑塔费研究所的讲座：关于进化和生物创造性的一个数学理论 49

第六章 元生物学的神学意涵 67

第七章 创造性的政治学（社会达尔文主义→社会元生物学） 73

第八章 数学最终能实现什么？元生物学及更多 81

附录一 冯·诺伊曼的“DNA=软件”论文 91

附录二 证明的核心 103

参考文献 107

译后记 110

文章试读：高等生命形态按照这种方式［达尔文的进化论］出现的几率，堪比垃圾场的废物旧货在龙卷风的作用下自发组装出一架波音747飞机。 ——弗雷德•霍伊尔，《智能宇宙》，1983年 在我看来，如果达尔文理论如它的信奉者所相信的那样简单、本质和基础，那就应该存在一个同样基本的关于它的数学理论，通过它可以一般、精确且抽象地表达达尔文理论的思想，如同我们在纯数学中习以为常的那样。 ——格雷戈里•蔡汀，《关于生物...