證明達爾文：進化和生物創造性的一個數學理論

在這部開創性著作中，數學家格雷戈里?蔡汀提出了關於進化和生物創造性的一個數學理論，試圖揭示生物學深層的數學結構。在阿蘭•圖靈和約翰•馮•諾伊曼的相關思想的基礎上，作者進一步深化了生命作為不斷進化的軟件的思想，開辟了一個稱為「元生物學」的新領域。

除了核心的數學證明，作者還從元生物學的視角重寫了分子生物學的早期歷史以及軟件的人類發現史，重新審視了圖靈和馮•諾伊曼的工作。他還探討了元生物學的神學和政治學意涵，強調創造性之重要，呼吁我們要有足夠的創造性去設計一個允許創造性的社會。

格雷戈里•蔡汀（Gregory Chaitin），1947年出生於美國芝加哥的一個阿根廷移民家庭，在紐約度過了童年時期。還是在高中時，他寫作了自己第一篇發表的學術論文。在就讀於紐約城市大學時，他寫作了一篇長篇論文，獨立發現了柯氏復雜性（另外兩位獨立的發現者是柯爾莫哥洛夫和所羅門諾夫），他因而被稱為算法信息論的開創者之一。但大二沒有結束，他中止了學業，隨父母返回阿根廷。其后他陸續在布宜諾斯艾利斯的IBM分公司擔任過程序員，在紐約的IBM沃森研究中心擔任過研究員。

之后，他全身心投入到算法信息論及相關領域的研究。他提出了著名的蔡汀常數Ω，一個可定義卻不可計算的實數。他對形而上學和數學哲學也有着深入的思考，認為算法信息論是破解生物學和神經科學等領域的一些重大問題的關鍵，並致力於發展關於進化和生物創造性的一個數學理論。

他現為里約熱內盧聯邦大學教授，擁有兩個名譽博士學位，著有《元數學！追尋奧米伽》（Meta Maths! The Quest for Omega）、《與一個數學家的對話》（Conversations with a Mathematician）以及《算法信息論》（Algorithmic Information Theory）等。