那是1870年，一场巨变悄然降临。到了1963年，数学的根基已经摇摇欲坠。直到2025年7月，这部由余娟翻译、德国哲学家埃涅阿斯·鲁奇所写的著作——《重塑数学》问世了，商务印书馆把它推给了读者。作者就用“无穷”这块放大镜，去审视从1870到1963这六十年里，康托尔、哥德尔、罗素、希尔伯特还有科恩这几位大师的理论脉络。 他指出，当年康托尔那一套集合论搞出的大动静，不光是学科内部的技术争论，其实把形式系统跟直观认知之间的大裂缝给露出来了。鲁奇把哥德尔不完备定理放在更宽的大背景下解读，说这不仅是在揭露系统的缺陷，更是在说人拿符号去把握无限时的那条认知界线在哪儿。 他对比罗素悖论和希尔伯特的形式化纲领，看得更深一层：数学基础研究里，“建构”和“解构”其实是同时在发生的。更有意思的是，他对科恩用“力迫法”证明连续统假设独立性的解读很有新意。他认为这是个转折点，它动摇了大家对数学客观真理的传统看法，让人不得不重新琢磨：数学对象到底是独立存在的实体，还是咱们脑子想出来的？ 通过这些分析，这本书提出了一堆好问题：数学要是拿“无穷”当工具去看宇宙，是不是在拿自己的认知框架去套有限的世界？数学体系的搭建到底是在反映咱们脑子的结构？这些追问把科学史研究带上了一条新路。《重塑数学》不光是给国内做数学哲学的人提供了参考，还告诉大家怎么把专业研究和人文关怀结合起来写书。 它通过追着“无穷”的线索往前找，把数学发展背后那些不为人知的挣扎和突围都摆了出来。你看那些形式符号背后的世界其实是充满生命力的。把这种思想成果介绍进来，对咱们国家构建自己的科学哲学知识体系肯定有好处。