1870年，乔治·康托尔勇敢地将“实无穷”纳入了数学的研究范围，让这个古老的概念焕发出新的生机。他的集合论拓展了数学的疆域，却也带来了让人头疼的悖论和争议。到了1963年，保罗·科恩用开创性的“力迫法”证明了连续统假设与策梅洛-弗兰克尔公理系统的独立性，给人们留下了关于无穷集合的深刻启示。这个时期的数学思想在不断震荡与重建，余娟翻译的新书《重塑数学》生动地描绘了这个百年探索的历程。这本书由德国学者埃涅阿斯·鲁奇撰写，商务印书馆引进出版。它以“无穷”这个概念为核心，引发了学界对数学本质和认知边界的再思考。大卫·希尔伯特提出了雄心勃勃的形式化纲领，希望给数学一个完备且一致的公理系统。然而，库尔特·哥德尔却证明了不完备性定理，揭示了形式化纲领的局限性。《重塑数学》不仅仅是一部数学史的回顾，更是一次深入哲学腹地的思考。它引导读者去追问：当数学家使用“无穷”这个工具时，他们是在揭示客观世界的结构还是在投射自己的心智模式？数学的“真理性”到底是发现还是发明？这本书的独到之处在于它不仅叙述了里程碑事件，还揭示了背后的哲学意义和思想交锋。 商务印书馆出版这本书契合了当前国内学术界对深度科学思想史著作日益增长的需求。它不仅为研究者和学子提供了宝贵参考资料，也给广大爱好者打开了理解现代科学思想源流与困境的窗口。《重塑数学》通过梳理“无穷”概念百年激荡史，生动展现了数学作为探索性学科的发展过程并非直线式的真理积累。它充满内部张力、自我批判与范式演进，提醒我们数学的活力不仅在于精确性和应用力量，还在于对自身基础永不停歇的追问与反思。这部著作致敬了一段关键思想史，也激励后来者面对认知困境，在确定性与不确定性之间探寻人类理性的边界与光辉。 这个过程中还涉及到罗素、策梅洛-弗兰克尔以及库尔特·哥德尔等人对数学基础问题的重要贡献。他们的工作推动了数学思想从1870年到1963年这段关键时期的发展。埃涅阿斯·鲁奇敏锐地捕捉到“无穷”概念演化是这场思想变革的核心脉络。从乔治·康托尔创立集合论开始，“实无穷”被纳入合法研究对象，数学疆域被极大拓展。但随之而来的悖论与争议也动摇了其看似稳固的基石。罗素悖论如同一道裂痕出现在严谨的数学大厦中，直指自指性陈述带来的根本性挑战。大卫·希尔伯特提出形式化纲领试图给数学一个确定的答案，然而库尔特·哥德尔的不完备性定理证明了算术系统中存在无法证真或证伪的命题。保罗·科恩运用“力迫法”证明了连续统假设与策梅洛-弗兰克尔公理系统独立。《重塑数学》没有停留在编年叙述上，而是深入揭示背后哲学意涵与思想交锋。 这部著作通过对“无穷”概念百年激荡史梳理生动展现了数学作为探索性学科发展充满内部张力、自我批判与范式演进过程提醒我们数学活力不仅在于精确性和应用力量还在于对自身基础永不停歇追问与反思这部著作致敬了一段关键思想史也激励后来者面对认知困境在确定性与不确定性之间探寻人类理性边界与光辉这部著作帮助公众理解现代科学思想源流与困境把握科学精神实质推动公众认知数学作为人类文化重要组成部分发展过程中曲折争论突破从而更全面地把握科学精神实质这部著作不仅是对关键思想史致敬更是激励后来者继续面对认知终极困境在确定性与不确定性之间探寻人类理性边界与光辉这部著作引发了学界对数学本质认知边界及其与现实世界关系再度思考这就是由商务印书馆出版由余娟翻译由德国学者埃涅阿斯·鲁奇撰写聚焦1870年至1963年这一关键历史时期这部深入数学思想腹地哲学性回溯《重塑数学》中文版与读者见面了。