圖書標籤: 計算機  科學  數學  邏輯  計算機科學  學術  曆史  The   

喜歡 The Universal Computer 的讀者還喜歡

• 
  哥德爾、艾捨爾、巴赫 pdf epub mobi txt 電子書 下載

因為對太多的理論隻能淺嘗軛止，所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。

因為對太多的理論隻能淺嘗軛止，所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。

中文版叫“邏輯的引擎”

因為對太多的理論隻能淺嘗軛止，所以不喜歡讀通論讀物。最喜歡書裏關於George Boole和Alan Turing的兩章。

中文版叫“邏輯的引擎”

（一） 有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。 这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回，主持人跑到某个学校的厨房...  

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...  

用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...

// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...