本书讨论现代时期的数学；讨论微积分的起源，以及伴随着非欧几里德几何的诞生而出现的概念性转变；讨论数学中最富哲学性的术语：无限的概念和形式逻辑的基础，也讨论艾伦·图灵的天才想法，并试图阐明真理、证明与可计算性之间的关系；考虑数学在我们理解周围世界的过程中所扮演的角色。 

卢克·希顿博士（Dr Luke Heaton），以数学学科一等荣誉学士学位毕业于爱丁堡大学，随之在牛津大学获得数学与计算机逻辑基础理科硕士学位。现为牛津大学担任植物科学系的研究生研究助理，研究兴趣是数学的历史与哲学、与生物学。