p1ng对《逻辑的引擎》的笔记(6)

p1ng
p1ng (慢有引力)

读过 逻辑的引擎

逻辑的引擎
  • 书名: 逻辑的引擎
  • 作者: [美] 马丁·戴维斯
  • 页数: 293
  • 出版社: 湖南科学技术出版社
  • 出版年: 2005-5
  • 第18页
    一大堆都是野史,还说以生动的笔触讲述逻辑,语言混乱,废话多,插图没标注。"加号启发我们把这种操作看成与普通加法类似的运算,但它周围的圆圈却警告我们它与普通的加号并不一样"    这句话写的还不错
    2011-07-15 11:13:29 回应
  • 第40页
    布尔真是一个极度理性的人,这套体系都能想出来,原来任何带有推理性质的话语都有布尔的逻辑体系在支撑,如果将其提取出来,那几个字符就可以表达几句话的意思
    2011-07-15 12:17:33 2回应
  • 第62页
    罗素悖论  the set of all those things that can be defined in fewer than 19       
    English words.
    2011-07-16 16:36:23 回应
  • 第80页
    原来阿列夫零这个别扭的符号是康托尔发明的!
    2011-07-16 20:06:27 回应
  • 第139页
    原来逻辑学在数学之上
    2011-07-22 15:46:21 回应
  • 第149页
     "数究竟是什么?它们仅仅是人类的构造,还是有着某种客观的存在性?在地球上的人们断定2+2=4之前,它是真的吗? " 真是个长久的问题
    2011-07-23 18:30:08 回应