在這部開創(chuàng)性著作中，數(shù)學(xué)家格雷戈里?蔡汀提出了關(guān)于進(jìn)化和生物創(chuàng)造性的一個數(shù)學(xué)理論，試圖揭示生物學(xué)深層的數(shù)學(xué)結(jié)構(gòu)。在阿蘭?圖靈和約翰?馮?諾伊曼的相關(guān)思想的基礎(chǔ)上，作者進(jìn)一步深化了生命作為不斷進(jìn)化的軟件的思想，開辟了一個稱為“元生物學(xué)”的新領(lǐng)域。
除了核心的數(shù)學(xué)證明，作者還從元生物學(xué)的視角重寫了分子生物學(xué)的早期歷史以及軟件的人類發(fā)現(xiàn)史，重新審視了圖靈和馮?諾伊曼的工作。他還探討了元生物學(xué)的神學(xué)和政治學(xué)意涵，強調(diào)創(chuàng)造性之重要，呼吁我們要有足夠的創(chuàng)造性去設(shè)計一個允許創(chuàng)造性的社會。
作者簡介：
格雷戈里?蔡汀（Gregory Chaitin）
1947年出生于美國芝加哥的一個阿根廷移民家庭，在紐約度過了童年時期。還是在高中時，他寫作了自己第一篇發(fā)表的學(xué)術(shù)論文。在就讀于紐約城市大學(xué)時，他寫作了一篇長篇論文，獨立發(fā)現(xiàn)了柯氏復(fù)雜性（另外兩位獨立的發(fā)現(xiàn)者是柯爾莫哥洛夫和所羅門諾夫），他因而被稱為算法信息論的開創(chuàng)者之一。但大二沒有結(jié)束，他中止了學(xué)業(yè)，隨父母返回阿根廷。其后他陸續(xù)在布宜諾斯艾利斯的IBM分公司擔(dān)任過程序員，在紐約的IBM沃森研究中心擔(dān)任過研究員。
之后，他全身心投入到算法信息論及相關(guān)領(lǐng)域的研究。他提出了著名的蔡汀常數(shù)Ω，一個可定義卻不可計算的實數(shù)。他對形而上學(xué)和數(shù)學(xué)哲學(xué)也有著深入的思考，認(rèn)為算法信息論是破解生物學(xué)和神經(jīng)科學(xué)等領(lǐng)域的一些重大問題的關(guān)鍵，并致力于發(fā)展關(guān)于進(jìn)化和生物創(chuàng)造性的一個數(shù)學(xué)理論。
他現(xiàn)為里約熱內(nèi)盧聯(lián)邦大學(xué)教授，擁有兩個名譽博士學(xué)位，著有《元數(shù)學(xué)！追尋奧米伽》（Meta Maths! The Quest for Omega）、《與一個數(shù)學(xué)家的對話》（Conversations with a Mathematician）以及《算法信息論》（Algorithmic Information Theory）等。
目錄：
一則寓言 v
自相矛盾的引文？ vi
中文版序 viii
英文版代序：解題家與理論家 xi
中文版前言 xiii
英文版前言 xv
第一章 引言：本書概述 1
第二章 生命作為不斷進(jìn)化的軟件：不斷突變的軟件的進(jìn)化 7
第三章 人類發(fā)現(xiàn)軟件：作為生物學(xué)家的圖靈與馮·諾伊曼 21
第四章 元生物學(xué)的數(shù)學(xué)：軟件空間中的隨機漫步 35
第五章 桑塔費研究所的講座：關(guān)于進(jìn)化和生物創(chuàng)造性的一個數(shù)學(xué)理論 49
第六章 元生物學(xué)的神學(xué)意涵 67
第七章 創(chuàng)造性的政治學(xué)（社會達(dá)爾文主義→社會元生物學(xué)） 73
第八章 數(shù)學(xué)最終能實現(xiàn)什么？元生物學(xué)及更多 81
附錄一 馮·諾伊曼的“DNA=軟件”論文 91
附錄二 證明的核心 103
參考文獻(xiàn) 107
譯后記 110
|
