|
|
|
本冊講述的是1975年獲得圖靈獎的赫伯特·西蒙和邁克爾·拉賓。赫伯特·西蒙篇的故事以一段奇幻的迷宮之旅為線索，描繪了至今唯一的諾貝爾獎和圖靈獎雙料得主赫伯特·西蒙如迷宮般岔路眾多的人生軌跡。當他第一次在蘭德公司遇到初出茅廬的艾倫·紐厄爾，同樣超乎尋常的想象力和實力以及相近的學術觀點，讓他們成為重要的科研夥伴。在橫跨半生的合作過程中，他們共同開發出首個實際工作的人工智能程序“邏輯理論家”，一起參加被公認為人工智能起源的達特茅斯會議，為我們呈現了“亦師亦友”的感人情誼。
邁克爾·拉賓篇講述了圖靈獎獲獎科學邁克爾·拉賓，不走尋常路的成長和科研經歷。大學時期，他受圖靈機的啟發，對當時尚不存在的計算機科學產生濃厚的興趣。後來，在IBM參加夏季研究講習班時，他和達納·斯科特合作完成了計算複雜性理論領域最早的文獻——《有限自動機及其決策問題》，開創了非確定性有限狀態自動機理論，對以“計算複雜性”為理論基礎的現代密碼學、算法分析等一系列學科做出了傑出的貢獻。
張立波，中國科學院軟件研究所副研究員、碩士生導師、軟件所優青、青促會會員。主要研究方向為人工智能，在相關領域頂級會議和期刊發表學術論文30多篇，曾獲得中科院朱李月華獎和中國人工智能學會MINdSpore學術獎勵。
武延軍，中國科學院軟件研究所總工程師、研究員、博士生導師。主要研究方向為操作系統，擔任開源歐拉操作系統社區副理事長，《智能計算》期刊編委，載人航天工程軟件專家組組專家。
趙琛，中國科學院軟件研究所所長、研究員、博士生導師。長期從事形式邏輯、程序語言和基礎軟件科研工作，曾獲國務院政府特殊津貼和國家科技進步獎二等獎。
