《人工智能玩不轉(zhuǎn)》從語言、基本邏輯、量子力學(xué)等本源問題上探討人工智能做不了的事情,以及人與人工智能的差別。書中回顧了上100年物理學(xué)和數(shù)學(xué)的進展,包括量子計算、黑洞和暗物質(zhì)等,正本清源的讓一些神秘概念就這么簡單化,然后落腳在怎樣培養(yǎng)適應(yīng)人工智能共生時代的新人類,以及人類對宇宙的探索本質(zhì)上沒有盡頭的現(xiàn)狀。
1、人工智能無所不能嗎?人類會被取代嗎?本書作者馬兆遠,量子物理領(lǐng)域科學(xué)家,用通俗易懂的語言,為你梳理人工智能的產(chǎn)生邏輯,用專業(yè)嚴謹?shù)闹R幫你發(fā)現(xiàn)人類不可取代的價值。
2、為什么要閱讀這本書?本書用深入淺出的文字告訴你,人工智能能做什么,以及不能做什么,為人類未來厘清方向,也為你的工作、投資以及人生發(fā)展方向提供幫助,如何選中不會被人工智能淘汰的行業(yè)。
3、作者運用其專業(yè)知識從科學(xué)的根本邏輯出發(fā),通過對理性問題和人類認知問題絲絲入扣地剖析,對人機共生的關(guān)系進行了深度、冷靜的討論,讓你可以從務(wù)實主義的角度來理性地思考人工智能的未來。
4、本書作者馬兆遠,師從英國皇家科學(xué)院院士Keith Burnett爵士和諾貝爾獎物理學(xué)獎獲得者William Phillips,接受過正統(tǒng)的物理訓(xùn)練,現(xiàn)為清華大學(xué)未來實驗室首席研究員。本書有理有術(shù),并不局限于數(shù)理層面,也提出了新人類該怎么做的具體實踐和人文思考。
馬兆遠何許人也? 1997年通過全國物理奧林匹克競賽報送北京大學(xué)物理學(xué)院; 25歲獲得牛津大學(xué)物理學(xué)博士學(xué)位,師從“超冷原子之父”、英國皇家科學(xué)院院士Keith Burnett爵士; 美國國家標準局、加州大學(xué)伯克利分校博士后,師從“激光冷卻之父”William Phillips(1997年諾貝爾物理學(xué)獎獲得者); 30歲入選中學(xué)院百人計劃研究院、博導(dǎo),為中國空間站“天宮四號”設(shè)計了空間冷原子實驗平臺。 現(xiàn)任清華大學(xué)未來實驗室首席研究員,數(shù)字化先進制造中心主任,英國謝菲爾德大學(xué)智能專業(yè)終身教授。 著有《量子大嘮嗑》。
前 言 VII
第一章 知無不言
語言是可以理解的嗎? 006
語言是可靠的嗎? 009
第二章 基本的邏輯
同一律 024
矛盾律 025
排中律 027
充足理由律 029
邏輯和佛性 033
邏輯的自洽和完備 040
構(gòu)建一個知識體系 044
第三章 理性的終極理想
直覺? 051
時間 057
算術(shù)系統(tǒng) 063
集合定義自然數(shù) 069
第四章 偉大的聊天
話題之一:量子力學(xué) 087
話題二:時間和相對論 091
話題三:關(guān)于理性主義真理 094
哥德爾的一生 098
第五章 哥德爾不完備定理
理性的知識系統(tǒng) 103
終極理性的夢想 105
理性的典范:算術(shù) 109
語義和語法 115
哥德爾不完備定理的證明 125
對角線證明法 135
第六章 哥德爾問題的延伸
真理不能被語言描述 147
真理不能夠自證其真 153
哥德爾不完備定理是理性的邊界嗎? 162
哥德爾的理性主義 172
意識和夢境 184
第七章 人工智能的不能
深度學(xué)習 189
超越有限系統(tǒng) 194
圖靈機 202
圖靈機所不能夠 217
常識? 238
學(xué)習 245
第八章 沿著不完備而生長的物理學(xué)
落體悖論 258
光速問題 260
孿生子悖論 263
質(zhì)量問題 266
夜空為什么是暗的? 274
麥克斯韋妖的悖論 279
紫外災(zāi)難 281
量子糾纏的悖論 283
第九章 量子力學(xué)的完備性
量子力學(xué)和哥德爾:經(jīng)典邏輯之外? 289
海森堡不確定性原理 292
什么是量子計算機? 294
量子算法 305
量子計算的復(fù)雜性 308
更高一級的邏輯? 312
第十章 物理和數(shù)學(xué):自然與認知的邊界
數(shù)學(xué)的不能 317
樂觀主義者和悲觀主義者 322
世界觀和認知習慣的改變 335
第十一章 創(chuàng)新和突破
貼了標簽的人生 349
問題導(dǎo)向的學(xué)習 354
新工程教育 356
第十二章 不是結(jié)尾的結(jié)尾
后 記 387