S. 巴里·库珀(S. Barry Cooper)
本书付梓前不幸逝世。生前为利兹大学数理逻辑教授,欧洲“可计算性学会”主席,“图灵百年委员会”主席。他主编的《Alan Turing:His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖
安德鲁·霍奇斯(Andrew Hodges)
牛津大学数学研究所教授、高级研究员。他撰写了畅销全球的权威图灵传记《Alan Turing:The Enigma》,此书也是奥斯卡获奖影片《模仿游戏》的文学原本。
评分
评分
评分
评分
希望更多人能看到这本书
评分硬核图灵的继承者们,都是各领域大佬啊。部分章节没学数理逻辑是看不懂的。感觉最开始马丁·戴维斯的不可解性定理的证明和12章斯科特·阿伦森用“奈特不确定性”对“自由”进行数学形式化的部分还是值得看的。其实感觉很多东西玩来玩去到最后还是碰壁新世纪七大数学难题、哥本哈根解释、哥德尔不完备定理这些硬东西,由此也可以看出当年图灵的洞察力(其实香农也类似),一抓全是核心问题,还能在好几个核心问题上做出开辟,祖师爷级别的思维真不一样,他们会对问题进行特别的解构,绕过纠缠的部分,然后由此构建出新东西。
评分中译名没有翻出英文题目的那种感觉,,The once and future Turing: Computing the world。。
评分希望更多人能看到这本书
评分硬核图灵的继承者们,都是各领域大佬啊。部分章节没学数理逻辑是看不懂的。感觉最开始马丁·戴维斯的不可解性定理的证明和12章斯科特·阿伦森用“奈特不确定性”对“自由”进行数学形式化的部分还是值得看的。其实感觉很多东西玩来玩去到最后还是碰壁新世纪七大数学难题、哥本哈根解释、哥德尔不完备定理这些硬东西,由此也可以看出当年图灵的洞察力(其实香农也类似),一抓全是核心问题,还能在好几个核心问题上做出开辟,祖师爷级别的思维真不一样,他们会对问题进行特别的解构,绕过纠缠的部分,然后由此构建出新东西。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有