导演:[美] 王浩
近代著名数理逻辑学家王浩哲学代表作,正面集中阐释其哲学思想,循着从柏拉图到哥德尔的“数学-哲学家”传统,展开一场从数学到哲学的智慧之旅。 叶峰、郝兆宽、杨跃联袂推荐!中译本首次出版,专业译者精心翻译! 【本书看点】 1.还原一个更真实、更全面的华裔天才哲学家王浩。 王浩是近代著名数理逻辑学家,早年就读于西南联大数学系,后在哈佛大学完成博士学位,又先后任教于哈佛大学、牛津大学。 他是“人工智能之父”明斯基崇拜的天才、“图灵奖”获得者库克的导师、蒯因的得意门生、库尔特•哥德尔的忘年挚友…… 他在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果,是人工智能重要研究领域“机器定理证明”的奠基人,是“王浩机”模型、“王氏悖论”命题的提出者。1952年他当选美国科学与艺术学院院士,1983年获得国际人工智能联合会与美国数学会共同授予的“定理证明里程碑奖”。 ...(展开全部)