逻辑的引擎

按有用程度 按页码先后 最新笔记

• 

  第214页

  mvj3 (不鸣则已，一鸣惊人！)

  冯‧诺伊曼把计算机程序设计看作一种活动，把这种看法和图灵的看法做一番比较是很有趣的。冯‧诺伊曼称之为“编码”，并且明确指出它是一种办事员的工作，基本不需要理智参与有一件轶事颇能发人深省，高等研究院让学生用手摇计算机把人类易读的指令翻译成机器语言，有一个极富才华的年轻人提议写一个汇编器来自动完成这种转换。据说冯‧诺伊曼曾经气愤地说，让一个有用的科学工具去做一项办事员的工作简直是浪费时间。在ACE.. (更多)

  冯‧诺伊曼把计算机程序设计看作一种活动，把这种看法和图灵的看法做一番比较是很有趣的。冯‧诺伊曼称之为“编码”，并且明确指出它是一种办事员的工作，基本不需要理智参与有一件轶事颇能发人深省，高等研究院让学生用手摇计算机把人类易读的指令翻译成机器语言，有一个极富才华的年轻人提议写一个汇编器来自动完成这种转换。据说冯‧诺伊曼曾经气愤地说，让一个有用的科学工具去做一项办事员的工作简直是浪费时间。在ACE报告中，图灵说计算机程序设计过程“应当是非常吸引人的，它不应被沦为苦差事，因为任何非常机械的过程都可以交由机器本身去处理。”

  (收起)

  2011-05-16 22:18:26   回应

  收藏

  推荐
• 

  第185页

  西风凋碧树 (投身NLP 成为技术宅)

  

  作者低调得够可以啊，在脚注里默默地“炫耀”了自己是丘奇的学生。 马丁·戴维斯简介：http://en.wikipedia.org/wiki/Martin_Davis 阿隆佐·丘奇（1903-1995）在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》（Journal of Symbolic Logic），并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林（1909-1994）是丘奇的31位博士生之一（我也是其中之一）。 前年看了一些lambda... (更多)

  作者低调得够可以啊，在脚注里默默地“炫耀”了自己是丘奇的学生。

  马丁·戴维斯简介：http://en.wikipedia.org/wiki/Martin_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:10:03   回应

  收藏

  推荐
• 

  第143页

  西风凋碧树 (投身NLP 成为技术宅)

  发现了一处小错误，应该是翻译错误。 143页第一行：“哥德尔的哥哥写道，他们家里没有一个人对政治感兴趣……然后他继续写道：有两件事迅速地擦亮了我们的眼睛，总理多尔弗斯被暗杀，以及哲学家石立克被暗杀。石立棵教授是被一个国家社会主义的学生暗害的，我的哥哥曾经参加过他的学派”。 此处哥德尔的哥哥应该是指鲁道夫，因为哥德尔没有其他兄弟，上面那段引述的应该是鲁道夫的话，所以引述中第二个“哥哥”应该是弟弟，.. (更多)

  发现了一处小错误，应该是翻译错误。

  143页第一行：“哥德尔的哥哥写道，他们家里没有一个人对政治感兴趣……然后他继续写道：有两件事迅速地擦亮了我们的眼睛，总理多尔弗斯被暗杀，以及哲学家石立克被暗杀。石立棵教授是被一个国家社会主义的学生暗害的，我的哥哥曾经参加过他的学派”。

  此处哥德尔的哥哥应该是指鲁道夫，因为哥德尔没有其他兄弟，上面那段引述的应该是鲁道夫的话，所以引述中第二个“哥哥”应该是弟弟，“我的弟弟曾经参加过他的学派”，这样就不矛盾了，因为哥德尔确实参加过维也纳学派的讨论活动。

  PS：我看的是第一版（黑色封面），不知道第二版是否已经改正 (收起)

  2012-02-07 13:13:33   回应

  收藏

  推荐

• 

  第1页

  长风 (得且高歌失且哭，由他惊来由他笑)

  很惭愧，作为一个逻辑方向的学生，虽然主要方向不是这个，但还有这么多不清晰的地方，实在很丢人！ (更多)

  很惭愧，作为一个逻辑方向的学生，虽然主要方向不是这个，但还有这么多不清晰的地方，实在很丢人！ (收起)

  2011-09-01 13:47:31   回应

  收藏

  推荐
• 

  第1页

  落伽

  作为一个IT专业的学生，虽然我们会学很多计算机方面的专业知识，但却对于计算机是如何被提出来，如何在莱布尼茨等一系列大师的努力下发展成为一门完备的科学。 (更多)

  作为一个IT专业的学生，虽然我们会学很多计算机方面的专业知识，但却对于计算机是如何被提出来，如何在莱布尼茨等一系列大师的努力下发展成为一门完备的科学。 (收起)

  2011-12-14 02:35:59   回应

  收藏

  推荐
• 

  第18页

  p1ng (少壮不努力，老大在内地)

  一大堆都是野史，还说以生动的笔触讲述逻辑，语言混乱，废话多，插图没标注。＂加号启发我们把这种操作看成与普通加法类似的运算，但它周围的圆圈却警告我们它与普通的加号并不一样＂ 这句话写的还不错 (更多)

  一大堆都是野史，还说以生动的笔触讲述逻辑，语言混乱，废话多，插图没标注。＂加号启发我们把这种操作看成与普通加法类似的运算，但它周围的圆圈却警告我们它与普通的加号并不一样＂ 这句话写的还不错 (收起)

  2011-07-15 11:06:57   回应

  收藏

  推荐

• 

  第185页

  西风凋碧树 (投身NLP 成为技术宅)

  

  作者低调得够可以啊，在脚注里默默地“炫耀”了自己是丘奇的学生。 马丁·戴维斯简介：http://en.wikipedia.org/wiki/Martin_Davis 阿隆佐·丘奇（1903-1995）在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》（Journal of Symbolic Logic），并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林（1909-1994）是丘奇的31位博士生之一（我也是其中之一）。 前年看了一些lambda... (更多)

  作者低调得够可以啊，在脚注里默默地“炫耀”了自己是丘奇的学生。

  马丁·戴维斯简介：http://en.wikipedia.org/wiki/Martin_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:10:03   回应

  收藏

  推荐
• 

  第143页

  西风凋碧树 (投身NLP 成为技术宅)

  发现了一处小错误，应该是翻译错误。 143页第一行：“哥德尔的哥哥写道，他们家里没有一个人对政治感兴趣……然后他继续写道：有两件事迅速地擦亮了我们的眼睛，总理多尔弗斯被暗杀，以及哲学家石立克被暗杀。石立棵教授是被一个国家社会主义的学生暗害的，我的哥哥曾经参加过他的学派”。 此处哥德尔的哥哥应该是指鲁道夫，因为哥德尔没有其他兄弟，上面那段引述的应该是鲁道夫的话，所以引述中第二个“哥哥”应该是弟弟，.. (更多)

  发现了一处小错误，应该是翻译错误。

  143页第一行：“哥德尔的哥哥写道，他们家里没有一个人对政治感兴趣……然后他继续写道：有两件事迅速地擦亮了我们的眼睛，总理多尔弗斯被暗杀，以及哲学家石立克被暗杀。石立棵教授是被一个国家社会主义的学生暗害的，我的哥哥曾经参加过他的学派”。

  此处哥德尔的哥哥应该是指鲁道夫，因为哥德尔没有其他兄弟，上面那段引述的应该是鲁道夫的话，所以引述中第二个“哥哥”应该是弟弟，“我的弟弟曾经参加过他的学派”，这样就不矛盾了，因为哥德尔确实参加过维也纳学派的讨论活动。

  PS：我看的是第一版（黑色封面），不知道第二版是否已经改正 (收起)

  2012-02-07 13:13:33   回应

  收藏

  推荐
• 

  Book note:《逻辑的引擎》

  牧南 (生命是荷叶上的一滴露珠。)

  第一章 莱布尼茨之梦 17世纪 莱布尼茨青年时的奇思妙想：找到一个人类思想的真正的符号系统以及操纵这些符号的恰当的计算工具。 莱布尼茨认为他的宏伟计划由三个主要部分组成：1.创造涵盖人类知识的纲要或百科全书；2.为知识的概念提供合适的符号；3.对这些符号进行操作，完成推理演算。 但他没有完成任何具体的工作。 第二章 布尔把逻辑变成代数 19世纪 乔治·布尔的灵光闪现：逻辑关系也许可以表示成一种代... (更多)

  第一章 莱布尼茨之梦

  17世纪

  莱布尼茨青年时的奇思妙想：找到一个人类思想的真正的符号系统以及操纵这些符号的恰当的计算工具。

  莱布尼茨认为他的宏伟计划由三个主要部分组成：1.创造涵盖人类知识的纲要或百科全书；2.为知识的概念提供合适的符号；3.对这些符号进行操作，完成推理演算。

  但他没有完成任何具体的工作。

  第二章 布尔把逻辑变成代数

  19世纪

  乔治·布尔的灵光闪现：逻辑关系也许可以表示成一种代数。

  xx=x;0x=0;1x=1;

  布尔代数的逻辑体系不仅包含了亚里士多德的逻辑（eg：三段论），而且还远远超越了它。但这距离莱布尼茨的梦仍旧非常遥远。

  乔治·布尔的伟大成就是一劳永逸地证明了逻辑演绎可以成为数学的一个分支。

  第三章 弗雷格：从突破到绝望

  19-20世纪

  弗雷格的贡献极为重要。他提出了把普通数学中一切演绎推理都包含在内的第一个完备的逻辑体系，他用逻辑分析工具来研究语言的开拓性工作为哲学的主要发展提供了基础。

  弗雷格试图找到一个能够包含数学实践中全部演绎推理的逻辑系统。

  弗雷格的逻辑比布尔的逻辑前进了一大步。第一次有一个精密的数理逻辑体系至少在原则上包含了数学家们通常使用的全部推理。

  //概念文字包含了普通数学中所用到的逻辑->用数学方法来就数学活动本身成为可能->能够找到计算方法，能够说明弗雷格的逻辑中某一推理//是否是正确？->没有这种方法->阿兰图灵发现通用机器，可以执行任何可能的计算。

  第四章 康托尔：在无限中摸索

  19世纪

  康托尔：把集合论发展成了一门独立学科。

  第五章 希尔伯特的营救

  20世纪20年代

  希尔伯特：用数学来证明数学本身的合理性。

  第六章 哥德尔使计划落空

  20世纪

  第七章 图灵构想通用计算机

  1935年 阿兰图灵

  1834年，查尔斯·巴贝奇的差分机，打算采用机械部件，过于复杂，失败。

  图灵发现了通用计算机的数学模型。

  用于计算的一维纸带。

  任何计算都可以被看作是以下面的方式进行的：

  计算通过在一条纸带上写下符号进行；

  执行计算的人每次只注意其中一个方格中的符号；

  她的下一步只取决于这个符号和她的心灵状态；

  她的下一步：在当前方格下一个符号，然后把注意力移向左或右边的方格。

  就计算而言，机器如何制造或由什么来制造都无关紧要，重要的只是它能够控制一个具有不同布局（也被称作状态）的数，当它处于每一种布局或状态时，都可以作相应的处理。

  图灵机的关键：可能得出结论，通过某种算法程序可计算的任何东西都可以通过一台图灵机来完成。

  第八章 研制第一批通用计算机

  指令和程序之间的这种不固定的界限就意味着，我们可以设计出把其他程序当成数据的程序。

  图灵、冯诺依曼……

  第九章 超越莱布尼茨之梦

  1950年，图灵《计算机与智能》，图灵测试

  智能？计算机真的会下棋？

  谨慎。

  第十章 尾声

  横跨3个世纪的卓越革新者，他们中每一位都以这样那样的方式关注人类理性的本性。他们每个人的贡献加在一起便构成了理智的母体，由此便孕育除了通用数字计算机。除了图灵，他们之中没有一个人意识到自己的工作可以被如此应用。

  如果只注重眼前利益，而轻视那些不会带来直接回报的研究，那么最终遭殃的还是我们的未来。

  译后记

  计算机技术可以分为两大部分，其一是它的工程实现方面，另一则是它的思想或逻辑方面。

  工程师所做的工作时制造一种通用的图灵机，而正是通用计算机的观念才是真正革命性的和更为本质的。

  计算机实际是逻辑机器，它的电路体现了几个实际以来一大批逻辑学家所提出的观点之精华。

  再复杂的东西其实也就是由简单的东西根据一定的规则组合而成的。

  (收起)

  2012-01-09 00:35:56   回应

  收藏

  推荐