演算法資訊理論之父蔡汀:未來,我們可以為DNA重新程式設計(圖靈訪談)
格雷戈裡·蔡汀(Gregory Chaitin)是一位數學家以及電腦科學家。他是演算法資訊理論的創立者之一,如今這門學科已經成為電腦科學專業的必修課。用蔡汀的話來說,演算法資訊理論就是“把夏農的資訊理論和圖靈的可計算性理論放進雞尾酒杯裡,然後使勁地搖”。蔡汀曾是IBM的Thomas J. Watson研究中心的研究員,現在是里約熱內盧聯邦大學的教授。他對元生物學(metabiology)以及進化論理論形成論有著深入的思考,他認為演算法資訊理論是破解生物學和神經科學等領域的一些重大問題的關鍵,並致力於發展關於進化和生物創造性的一個數學理論。在他的最新著作《證明達爾文:進化和生物創造性的一個數學理論》中,他嘗試了在數學層面上證明達爾文的進化論,並提出了一門元生物學,即研究生物科學的數學基礎的學科。
譯/ 樓偉珊
問:作為演算法資訊理論的奠基者之一,你可否向我們簡單介紹一下,演算法資訊理論是什麼,它對我們今天的電腦科學有何意義?
20世紀的科技發展開始讓我們從資訊和計算的視角重新審視我們的世界。量子位元是量子力學,我們現在最為深刻的物理理論的基礎,而演算法資訊理論研究的是數學化的資訊,包括儲存在計算機和DNA中的資訊。
問:資訊理論試圖為人類的通訊加以量化,那我們是否可以說,演算法資訊理論是對人類知識的一種量化?如果如此的話,這是否意味著人類的知識可以對應於相應的演算法?又是否意味著存在永遠無法解決的科學難題,而決定論是錯誤的?
演算法資訊理論告訴我們如何以位元度量一個物理或數學理論在概念上的複雜度。我們無法用一個具有N位元複雜度的數學理論去證明一個程式長度超過N位元的計算機程式是“優雅的”(elegant)。也就是說,沒有比某個程式更簡短(當然,前提是以同一種語言寫成)的程式能輸出與該程式相同的結果。因此,純數學上不存在能解釋一切的“萬有理論”。
問:生物技術現在日新月異,催生其進展的突破又是什麼?曾經發展的限度是什麼?
這個突破就是,人們開始認識到,DNA是一種數字軟體,而我們可以為DNA重新程式設計。
問:比爾•蓋茨曾預測,下一個類似計算機的技術奇蹟將會出現在生物技術領域。在你看來,生物學的下一個突破會是什麼?
合成生物學(synthetic biology)為具體的工業和醫學應用量身設計“人造生命”,前景可期。
問:一些大企業和研究機構現在正在嘗試用電子部件製造人造神經元網路來模擬人類智慧,你覺著這種途徑走對了嗎?試圖藉助硬體而非軟體來實現,這是否是最佳之選?而嘗試去模擬人類智慧而非其他生命形式的又是否是當下的明智之舉?
人造神經元網路目前的記憶或計算能力還不能讓我眼前一亮。我認為,人腦的神經元層次不過只是處理輸入輸出的前端。人體在分子生物學層次的記憶和計算能力要比在細胞層次的強得多得多。這也就是在DNA/RNA層次,人體的免疫系統就巧妙用到了這一層次,那會不會人腦也是如此呢?
問: IBM的人造神經元網路與一些歐洲的研究機構的仿生電子電路有什麼區別?此類研究會對改進演化理論有所幫助嗎?
如前所述,我相信此類研究沒有走對路子。
問:元胞自動機(CA)、圖靈機和人工神經網路之間的聯絡是什麼?
這三種計算的模型現在已經過時了。目前大家在理論上感興趣的計算模型是在量子電路中利用量子位元進行計算,以及在分子生物中利用諸如DNA和RNA這樣的長鏈分子進行計算。
問: Stephan Wolfram對元胞自動機的研究做出了巨大貢獻,你對他的Mathematica程式怎麼看?
Mathematica確實是一種極高水平的程式語言,但它已經被Wolfram Language和Wolfram Alpha所超越了。Wolfram Alpha在我看來是第一個真正的人工智慧。
問:你覺得像IBM的沃森這樣的人工智慧會在將來得到廣泛應用嗎?在今後的幾十年會出現巨大的進展嗎?
人工智慧已經在我們身邊了。毋庸置疑,它將對人類社會產生極大的影響。
問:對於藉助計算機破解生物學難題,你最樂觀的預測會是什麼?
利用大型計算機對囊括全體人類的全部基因組的資料庫進行資料探勘,在此基礎上,應該有可能實現對人類基因組的重新程式設計。
如果我們繼續努力並充分發揮我們的想象力,未來無疑會十分美好。所以努力讓它實現吧。
更多精彩,加入圖靈訪談微信!
相關文章
- Anson:關於Google Glass,我們在做的是未來(圖靈訪談)Go圖靈
- 世界級Oracle專家Jonathan Lewis:我很為DBA們的未來擔心(圖靈訪談)Oracle圖靈
- 松本行弘:程式碼的未來(圖靈訪談)圖靈
- 池建強:我的人生超程式設計(圖靈訪談)程式設計圖靈
- 蔡學鏞:這一題不答(圖靈訪談)圖靈
- Python 之父談論 Python 的未來Python
- Susan Lammers:與程式設計大師們的對話(圖靈訪談)程式設計圖靈
- [視訊]Jez Humble:我們為什麼要“持續交付”(圖靈訪談)圖靈
- Objective-C之父Brad Cox訪談:我的程式設計之路Object程式設計
- C++之父Bjarne Stroustrup訪談問題有獎徵集(圖靈訪談)C++JAR圖靈
- [英]Susan Lammers:與程式設計大師們的對話(圖靈訪談)程式設計圖靈
- 知名科普作家James Gleick:可以穿越的話,肯定是去未來(圖靈訪談)圖靈
- @程式設計師鄒欣 訪談問題有獎徵集(圖靈訪談)程式設計師圖靈
- 作為程式設計師,我們理應自豪程式設計師
- 惠新宸:我也曾經是“不適合”程式設計的人(圖靈訪談)程式設計圖靈
- 譯後訪談《Scratch少兒趣味程式設計》作者阿部和廣(圖靈訪談)程式設計圖靈
- 《我的第一本程式設計書》作者平山尚,訪談問題有獎徵集(圖靈訪談)程式設計圖靈
- 圖靈訪談圖靈
- 圖形化語言Scratch之父談程式設計程式設計
- “閃總”曹力:創業是為了自由,程式設計是為了快樂(圖靈訪談)創業程式設計圖靈
- 雲風:一個程式設計的自由人(圖靈訪談)程式設計圖靈
- 我和圖靈訪談的2017圖靈
- 《Erlang程式設計(第2版)》作者Joe Armstrong訪談問題有獎徵集(圖靈訪談)程式設計圖靈
- 《程式碼本色》作者Daniel Shiffman:藝術家也程式設計(圖靈訪談)程式設計圖靈
- 《黑客與設計》作者David Kadavy:我要解構設計的配方(圖靈訪談)黑客圖靈
- 《演算法圖解》作者Adit Bhargava訪談問題徵集(圖靈訪談)演算法圖解圖靈
- 原來很多元素我們可以直接訪問
- React Hooks 可以為我們帶來什麼,及為什麼我覺得React才是前端的未來ReactHook前端
- 樑斌:終身Coder,可以嗎?(圖靈訪談)圖靈
- 讓我們談談自動駕駛的未來和「道德」自動駕駛
- 當我們談論格鬥遊戲時,我們在談論什麼遊戲
- Flash遊戲開發專家Gary Rosenzweig:先成為程式設計師,再做AS程式設計師(圖靈訪談)遊戲開發ROS程式設計師圖靈
- 工業智慧化專家李傑:資料預見未來(圖靈訪談)圖靈
- 《Java程式設計師修煉之道》作者Ben Evans訪談問題有獎徵集(圖靈訪談)Java程式設計師圖靈
- 來一起讓我們越來越懶,面向CSS、JS未來程式設計CSSJS程式設計
- [視訊]Martin Fowler:我希望可以創造永恆的價值(圖靈訪談)圖靈
- 圖靈機與計算理論圖靈
- 用彈性盒子理論打造一個靈活的網頁設計的未來網頁