剧情简介：一本数学启蒙书！ 一场别开生面的数学之旅！ 如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇，那么这本书就是为你准备的..... 数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的能力，本书将会带你找到答案。 作者从数字的基础开始带你开启美丽的数学之旅，首先通过探讨一些有趣的和奇怪的数字，如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数，带你领略数字的趣味性、数字之美和数字之用，然后深入研究现代逻辑，包括线性逻辑、Prolog语言等，以及现代集合论和现代机械化计算的进展与悖论，带你感受数学的逻辑性和计算性...(展开全部)
作者：马克·C. 查-卡罗尔
出版社：机械工业出版社
ISBN：9787111602590
