西风凋碧树对《逻辑的引擎》的笔记(2)

西风凋碧树
西风凋碧树 (世界上最弯的直男)

读过 逻辑的引擎

逻辑的引擎
  • 书名: 逻辑的引擎
  • 作者: [美] 马丁·戴维斯
  • 页数: 293
  • 出版社: 湖南科学技术出版社
  • 出版年: 2005-5
  • 第143页
    发现了一处小错误,应该是翻译错误。
    143页第一行:“哥德尔的哥哥写道,他们家里没有一个人对政治感兴趣……然后他继续写道:有两件事迅速地擦亮了我们的眼睛,总理多尔弗斯被暗杀,以及哲学家石立克被暗杀。石立棵教授是被一个国家社会主义的学生暗害的,我的哥哥曾经参加过他的学派”。
    此处哥德尔的哥哥应该是指鲁道夫,因为哥德尔没有其他兄弟,上面那段引述的应该是鲁道夫的话,所以引述中第二个“哥哥”应该是弟弟,“我的弟弟曾经参加过他的学派”,这样就不矛盾了,因为哥德尔确实参加过维也纳学派的讨论活动。
    PS:我看的是第一版(黑色封面),不知道第二版是否已经改正
    2012-02-07 13:23:38 回应
  • 第185页
    作者低调得够可以啊,在脚注里默默地“炫耀”了自己是丘奇的学生。
    马丁·戴维斯简介:http://en.wikipedia.org/wiki/Martin_Davis
    Matin Davis
    Matin Davis
    阿隆佐·丘奇(1903-1995)在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》(Journal of Symbolic Logic),并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林(1909-1994)是丘奇的31位博士生之一(我也是其中之一)。
    前年看了一些lambda演算的知识,丘奇提出了lambda calculus来定义可计算性,一个函数是可计算的,当且仅当它能够被写成一个lambda表达式(lambda term)。1936年,church和curry证明了自己的lambda可计算函数和哥德尔提出的一般递归函数是等价的(所谓的丘奇论题)。1937年,图灵在其《可计算性和lambda可定义性》中证明了图灵机可计算函数和lambda可计算函数等价,对丘奇论题进行了扩充,因此被称为丘奇-图灵论题。《计算理论导引》讲述可计算理论内容的一章的标题就是《丘奇-图灵论题》。
    另外,丘奇也是图灵在普林斯顿访问时的导师,当时图灵是以研究生的身份去普林斯顿大学,在两年的时间里完成了博士论文。
    2012-02-09 14:21:30 3人推荐 4人喜欢 1回应