雅书

内容简介： 数学、逻辑学、计算机科学三大领域实属一家，彼此成jiu，彼此影响。从古希腊哲学到计算机，数字、计算、推理这些貌似简单的概念在三千年里融汇、碰撞。如何将逻辑赋予数学意义?如何从简单运算走向复杂智慧?这背后充满了人类智慧的闪光：从柏拉图、莱布尼茨、罗素、香农到图灵都试图从数学公式中证明推理的合理性，缔造完整的思维体系。他们是凭天赋制胜，还是鲁莽地大胆一搏?本书描绘了一场人类探索数学、算法与逻辑思维，并走向人工智能的梦[……]阅读全文