1、封面介绍
2、出版时间
2018年8月
3、推荐理由
如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇，那么这本书就是为你准备的.....
数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字 的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的能力，本书将会带你找到答案。
作者从数字的基础开始带你开启美丽的数学之旅，首先通过探讨一些有趣的和奇怪的数字，如整数、自然数、有理数、超过数、零、黄金比例、虚数、罗马数字、埃及分数和连分数，带你领略数字的趣味性、数字之美和数字之用，然后深入研究现代逻辑，包括线性逻辑、Prolog语言等，以及现代集合论和现代机械化计算的进展与悖论，带你感受数学的逻辑性和计算性。
4、作者简介：
Mark C. Chu-Carroll 拥有Delawre大学博士学位，目前在Spotify担任数据基础架构软件工程师，之前曾在Google、Twitter担任高级软件工程师。他一直从事编程语言和软件开发工具方面的研究工作，有超过20年的从业经验。他感兴趣的领域包括协同软件开发、 编程语言和工具，以及如何改善软件开发者的日常生活。业余时间，他是Scientopia.org的管理者和开发者，并撰写了博客Good Math/Bad Math，你可以通过http://scientopia.org/blogs/goodmath访问他的博客。
5、下载链接
由于版权的原因，不再对外公开，仅限内部学习和交流使用。
