作 者:(英)S.巴裡·庫珀(S.Barry Cooper) 等 著;堵丁柱 等 譯
定 價:119
出 版 社:機械工業出版社
出版日期:2018年05月01日
頁 數:356
裝 幀:平裝
ISBN:9787111596417
●譯者序
●前言
●本書作者
●本書譯者
●引言
●第一部分置身可計算的世界,探索普適性數學
●第1章算法、方程和邏輯
●馬丁·戴維斯
●1.1方法概覽
●1.2例子:接近平方數集
●1.3一些關繫
●1.4猜想變成定理的故事
●1.5通用方程
●1.6素數和一個丑陋的多項式
●1.7邏輯
●1.8關於數學
●1.9關於朱莉婭·羅賓遜的電影
●附錄:不可解性定理的證明
●參考文獻
●第2章被遺忘的圖靈
●部分目錄
圖靈誕辰百年至今,偉大思想的光芒恆久閃耀。S.巴裡·庫珀、安德魯·霍奇斯等著的《永恆的圖靈(20位科學家對圖靈思想的解構與超越)》雲集20位不同方向的科學家,共同探討圖靈計算思想的濫觴,特別是其對未來的重要影響。這些內容不僅涵蓋我們熟知的計算機科學和人工智能領域,還涉及理論生物學等並非廣為人知的圖靈研究領域,終形成各具學術鋒芒的15章。如果你想追上甚至超越這位謎一般的天纔,歡迎閱讀本書,重溫歷史,開啟未來。
(英)S.巴裡·庫珀(S.Barry Cooper) 等 著;堵丁柱 等 譯
S.巴裡·庫珀,本書付梓前不幸逝世。生前為利茲大學數理邏輯教授,歐洲“可計算性學會”,“圖靈百年委員會”。他主編的《Alan Turing: His Work and Impact》一書曾榮獲2013年美國專業與學術傑出出版獎。堵丁柱,世界有名數學家,攻克了斯坦納比難題,現為美國得克薩斯大學達拉斯分校計算機繫教授。同英文版一樣,中文版亦雲集了來自中外多所科研院校的前沿學者擔綱翻譯,希望藉由此書,為更多將要跨入計算世界之未來的讀者點燃星火。
前言The Once and Future Turing: Computing the World這本書源於數理邏輯學家巴裡·庫珀的提議。在2007年時,他已經在籌劃一個會議,紀念阿蘭·圖靈誕辰一百周年,不過,對於復興圖靈研究而言,這僅僅是他巨大的、充滿激情的奉獻的開端。2009年,在編輯圖靈的一部新的極為重要的論文專輯時,他(和我一起)向劍橋大學出版社提出了一個想法,出版一本關於“圖靈與計算之未來”的書。在與出版社的大衛·特納拉赫和塞維亞·芭比娜接觸以後,巴裡和我感覺這是個機會,讓當今很好的科學家們把圖靈遺產中動人且有挑戰性的部分帶給廣大讀者。 2010年,我們確定了書名The Once and Future Turing,並且開始約等