道格拉斯·理查·郝夫斯台特(Douglas Richard Hofstadter,1945年2月15日-),中文名侯世达,美国学者、作家。他的主要研究领域包括意识、类比、艺术创造、文学翻译以及数学和物理学探索。 因其著作《哥德尔、埃舍尔、巴赫》获得普立兹奖(非小说 类别) 和美国国家图书奖(科学类别)。
侯世达是美国印第安纳大学文理学院认知科学杰出教授,主管概念和认知研究中心。他本人和他辅导的研究生组成“流体类推研究小组”。1977年,侯世达原本属于印第安纳大学的计算机科学系,然后他开始了自己的研究项目,研究心理活动的计算机建模(他原本称之为“人工智能研究”,不久就改称为“认知科学研究”)。1984年,侯世达受聘于密歇根大学,任心理学教授,同时负责人类认识研究。1988年,他回到印第安纳大学,任“文理学院教授”,参与认知科学和计算机科学两个学科,同时还是科学史和科学哲学、哲学、比较文学、心理学的兼职教授,当然侯世达本人表示他只是在名义上参与这些系科的工作。2009年4月,侯世达被选为美国文理科学院院士,并成为美国哲学会会员。
侯世达曾说过他对“以计算机为中心的宅文化感到不适”。他承认“(他的受众中)很大一部分人是被技术吸引”,但提到他的成果“激励了很多学生开始计算机和人工智能方面的研究”时,他回应说尽管他对此感到高兴,但他本人“对计算机没有兴趣”。那次访谈中他谈到一门他在印第安纳大学教授过两次的课程,在那门课程中,他以“怀疑的眼光审视了众多广受赞誉的人工智能项目和整体的发展”。例如,就国际象棋选手卡斯帕罗夫被超级计算机深蓝击败一事,他评论说“这是历史性的转折,但和电脑变聪明了没有关系”。
集异璧-GEB,是数学家哥德尔、版画家艾舍尔、音乐家巴赫三个名字的前缀。《哥德尔、艾舍尔、巴赫书:集异璧之大成》是在英语世界中有极高评价的科普著作,曾获得普利策文学奖。它通过对哥德尔的数理逻辑,艾舍尔的版画和巴赫的音乐三者的综合阐述,引人入胜地介绍了数理逻辑学、可计算理论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面,构思精巧、含义深刻、视野广阔、富于哲学韵味。
中译本前后费时十余年,译者都是数学和哲学的专家,还得到原作者的直接参与,译文严谨通达,特别是在原作者的帮助下,把西方的文化典故和说法,尽可能转换为中国文化的典故和说法,使这部译本甚至可看作是一部新的创作,也是中外翻译史上的一个创举。
1985年,我在完全偶然的情况下得知有人准备把geb译成中文。我在密歇根大学的同事和友人亚瑟•伯克斯(Arthur Burks)刚从仍然沿用Peking拼法的Beijing大学回来,他无意中提到计算机系的吴允曾和马希文两位教授正在主持这项工作。 我惊喜交加,但不无担忧,因为之前在geb被译...
评分这书我是在看Linux Kernel Development的时候发现的。当时觉得LKD简直太棒了,意犹未尽之后翻到它的参考数目,结果发现了作者对GEB的强烈推荐,上面说这是一本对人类思想进行深刻研究的必备书籍,其内容覆盖众多主题,包括计算机科学。虽然这书严格来说与LKD没什么直接关系...
评分 评分这书我是在看Linux Kernel Development的时候发现的。当时觉得LKD简直太棒了,意犹未尽之后翻到它的参考数目,结果发现了作者对GEB的强烈推荐,上面说这是一本对人类思想进行深刻研究的必备书籍,其内容覆盖众多主题,包括计算机科学。虽然这书严格来说与LKD没什么直接关系...
神作
评分唯一不給五星的原因是,譯文就像跑了氣的可口可樂,你唾幾口吐沫進去,不等於說我就能喝出泡泡來。這本書在“智”的層面大概已臻極點。2 theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. 1st states that no consistent system of axioms whose theorems can be listed by an "effective procedure" ) is capable of proving all truths abou
评分从前有座山,山里有个庙,庙里有个侯世达在讲故事
评分世界上有两种人:一种是读过此书的人,一种是没读过的人。
评分唯一不給五星的原因是,譯文就像跑了氣的可口可樂,你唾幾口吐沫進去,不等於說我就能喝出泡泡來。這本書在“智”的層面大概已臻極點。2 theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. 1st states that no consistent system of axioms whose theorems can be listed by an "effective procedure" ) is capable of proving all truths abou
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有