数学极客：探索数字、逻辑、计算之美pdf百度网盘下载地址?
一本数学启蒙书！
一场别开生面的数学之旅！
如果你曾经对黄金比例、图灵机或者为什么圆周率永远算不完感到好奇，那么这本书就是为你准备的.....
数学是美丽的，它既有趣又令人兴奋，同时也很实用。本书探讨了两千多年的数学发展历程中一些伟大的突破和有趣的话题：从埃及分数到图灵机，从数字的真正意义到证明树、群对称和机械化计算。如果你想知道高中几何课中难以完成的证明背后到底隐藏着什么，或者什么限制了计算机的能力，本书将会带你找到答案。
作者从数字的基础开始带你开启美丽的数学之旅，首先通过探讨一些有趣的和奇怪的数字，如整数、自然数、有理数、超越数、零、黄金比例、虚数、罗马数字、埃及分数和连分数，带你领略数字的趣味性、数字之美和数字之用，然后深入研究现代逻辑，包括线性逻辑、Prolog语言等，以及现代集合论和现代机械化计算的进展与悖论，带你感受数学的逻辑性和计算性。
作者简介:
Mark C. Chu-Carroll 拥有Delawre大学博士学位，目前在Spotify担任数据基础架构软件工程师，之前曾在Google、Twitter担任高级软件工程师。他一直从事编程语言和软件开发工具方面的研究工作，有超过20年的从业经验。他感兴趣的领域包括协同软件开发、编程语言和工具，以及如何改善软件开发者的日常生活。业余时间，他是Scientopia.org的管理者和开发者，并撰写了博客Good Math/Bad Math，你可以通过http://scientopia.org/blogs/goodmath访问他的博客。
目录:
第1章 自然数 /2
第2章 整数 /8
第3章 实数 /14
第4章 无理数与超越数 /23
第二部分 有趣的数字第5章 零 /30
第6章 e：不自然的自然数 /36
第7章 φ：黄金比例 /41
第8章 i：虚数 /48
第9章 罗马数字 /56
9.4 传统的过失 /63第10章 埃及分数 /66
10.3 有时美胜过实用 /69第11章 连分数 /70
第12章 斯波克先生与不符合逻辑 /80
第13章 证明、真理和树 /93
第14章 使用逻辑编程 /103
第15章 时序推理 /118
第16章 康托尔对角化：无穷不仅是无穷 /128
第17章 公理化集合论：取其精华，去其糟粕 /139
第18章 模型：用集合作为搭建数学世界的积木 /151
第19章 超限数：无限集的计数和排序 /158
第20章 群论：用集合寻找对称性 /164
第21章 有限状态机：从简单机器开始 /178
第22章 图灵机 /192
第23章 计算的核心与病态 /204
第24章 微积分：不是那个微积分，是λ演算 /213
第25章 数字、布尔运算和递归 /224
第26章 类型，类型，类型：对λ演算建模 /238
第27章 停机问题 /248
点击下载