生命的起源可以理解为软件的起源，也就是DNA的起源。DNA是在每一个细胞中发现的通用编程语言，是一种强大的编程语言，几乎可以表达任何用于构造和运行一个有机体的可能算法和指令集。
所有的决策都是基于当时已有的技术，比如低效率的“qwerty”打字机键盘，当初这样设计是为了避免早期的打字员因打字过快而卡住打字机，而这样的问题是现代键盘所没有的。
我们借助了哥德尔不完全性定理，用其与著名的图灵停机问题相关的一种形式，即忙海狸问题，这个问题要求命名非常大的整数，非常大的无符号整数。
为了度量进化速度，度量生物创造性的量以及生物创造性的速率，我们使用了所谓忙海狸函数BB(N
)，它被定义为使用不超过 N 比特的程序能够命名的最大正整数。
根据元生物学的观点，生命的目的在于创新性，而非延续自己的基因。
Overview
It's a course in book form that
Gregory Chaitin gave at the
Federal University of Rio Grande do Sul in Brazil. Chaitin argues that
biology lacks a mathematical foundation, without which it is essentially
unable to move from description to explanation. The book is an attempt
that we can prove how Darwin’s theory of evolution works on a
mathematical level.
About Gregory Chaitin
Born: Nov. 15, 1947
Gregory Chaitin is an
Argentine-American mathematician and computer scientist. He has been the
principal architect of algorithmic information theory, which he invented
as a teenager.
作者简介
格雷戈里·蔡汀（Gregory Chaitin），1947年出生于美国芝加哥的一个阿根廷移民家庭，在纽约度过了童年时期。还是在高中时，他写作了自己第一篇发表的学术论文。在就读于纽约城市大学时，他写作了一篇长篇论文，独立发现了柯氏复杂性（另外两位独立的发现者是柯尔莫哥洛夫和所罗门诺夫），他因而被称为算法信息论的开创者之一。但大二没有结束，他中止了学业，随父母返回阿根廷。其后他陆续在布宜诺斯艾利斯的IBM分公司担任过程序员，在纽约的IBM沃森研究中心担任过研究员。
之后，他全身心投入到算法信息论及相关领域的研究。他提出了著名的蔡汀常数Ω，一个可定义却不可计算的实数。他对形而上学和数学哲学也有着深入的思考，认为算法信息论是破解生物学和神经科学等领域的一些重大问题的关键，并致力于发展关于进化和生物创造性的一个数学理论。
他现为里约热内卢联邦大学教授，拥有两个名誉博士学位，著有《元数学！追寻奥米伽》（Meta
Maths! The Quest for Omega）、《与一个数学家的对话》（Conversations
with a Mathematician）以及《算法信息论》（Algorithmic
Information Theory）等。
——摘自图灵社区
