keendawn想读的书 >

• 

  哥德尔证明

  9.2 (414人已评价)

  中国人民大学出版社 | 2008-3

  欧内斯特·内格尔（ErnestNagel）(1901—1985）内格尔出生于现在捷克共和国的首都布拉格（当时是奥匈帝国的一部分），十岁时随家庭移居美国。1923年获纽约城市学院学士学位，1925年获哥...

  数学

  哲学

  哥德尔

  数理逻辑

  逻辑

  我对《哥德尔证明》的评价： 2017-06-06 我的标签： 修改
• 

  哥德尔

  8.5 (153人已评价)

  [美] 王浩 | 上海译文出版社 | 2002-9

  分为上下两篇，上篇考察了歌德尔的事迹，从献身基本理论的角度来讲述歌德尔的生平；下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

  哥德尔

  传记

  哲学

  数学

  逻辑

  我对《哥德尔》的评价： 2017-06-06 我的标签： 修改
• 

  科学的极致：漫谈人工智能

  8.1 (166人已评价)

  集智俱乐部 | 人民邮电出版社 | 2015-7

  集智俱乐部是一个从事学术研究、享受科学乐趣的探索者组成的团体，倡导以平等开放的态度、科学实证的精神进行跨学科的研究与交流，力图搭建一个中国的“没有围墙的研究所”。这些令人崇敬的、充满激情与梦想的集智俱...

  人工智能

  科普

  AI

  计算机科学

  复杂系统

  我对《科学的极致：漫谈人工智能》的评价： 2017-06-06 我的标签： 修改
• 

  计算机程序的构造和解释

  9.5 (1718人已评价)

  机械工业出版社 | 2004-2

  《计算机程序的构造和解释(原书第2版)》1984年出版，成型于美国麻省理工学院(MIT)多年使用的一本教材，1996年修订为第2版。在过去的二十多年里，《计算机程序的构造和解释(原书第2版)》对于计算...

  计算机科学

  计算机

  编程

  SICP

  程序设计

  我对《计算机程序的构造和解释》的评价： 2017-06-06 我的标签： 修改
• 

  金刚经说什么

  8.9 (5900人已评价)

  南怀瑾 | 复旦大学出版社 | 2002-6

  作者依据梁代昭明太子的分法，将《金刚经》分为32品（相当于章），然后逐品作了讲解，每一品均以一首偈颂作总结，以阐发他的心得。

  南怀瑾

  佛学

  金刚经

  宗教

  哲学

  我对《金刚经说什么》的评价： 2017-06-06 我的标签： 修改