那个想用逻辑吃掉所有数学的怪人，被同行无视了一辈子，最后自己推翻了自己

luyuanhong

那个想用逻辑吃掉所有数学的怪人，被同行无视了一辈子，最后自己推翻了自己

原创  南方 Er  南方 Er  2026 年 4 月 9 日 16:50  广东


弗雷格

你有没有想过一个问题：如果有一天，你提出了一套颠覆性的理论，自信能改变整个学科的走向，结果呢？

投出去的稿子没人看，写的书几乎没人买，身边的同事对你敬而远之，整个学术界仿佛当你不存在。你会不会怀疑人生？

说起来，这恰恰是德国数学家戈特洛布·弗雷格（Friedrich Ludwig Gottlob Frege）的日常。他这辈子干了一件惊天动地的大事——试图证明“数学完全可以建立在逻辑之上”。你可能会觉得，这听起来也没多炸裂啊？别急，让我换个说法：弗雷格想干的事，相当于在所有人都还在用马车拉货的年代，他直接画出了一辆汽车的完整图纸，甚至连发动机怎么点火都给你标得明明白白。

结果呢？周围人看了一眼，说：“哦，这玩意儿能跑？我还是觉得马车挺好的。”

然后就把图纸扔一边了。

这事儿搁谁身上不憋屈？

一个“不识时务”的数学天才

弗雷格 1848 年出生在德国北部港口城市维斯马。他爹亚历山大·弗雷格是当地一所女子中学的校长，家境说不上大富大贵，但也算书香门第。有意思的是，他母亲的娘家姓比亚沃布沃茨基，听着就不是德国本土的——实际上很可能是波兰裔。

小时候的弗雷格在本地文科中学上学，遇到了一位叫利奥·萨赫塞的老师。这位老师后来被证明对他影响极大，几乎可以说是萨赫塞一手把他推上了学术道路。说起来，一个好老师对学生的影响到底能有多大？看看弗雷格就知道了——萨赫塞不仅教他知识，还建议他去耶拿大学继续深造。在那个没有高考、没有知乎、没有“过来人经验贴”的年代，一个中学老师的建议，基本就决定了一个年轻人的人生走向。

弗雷格这个人有个特点：他对自己生活的梅克伦堡州有着近乎执拗的忠诚，甚至对当地的公爵家族也充满敬意。在政治上，他可不是什么民主派——他真心相信君主专制比民主选举更靠谱。这想法放在今天肯定要被喷，但在 19 世纪的德国，其实也不算太另类。



1866 年，他父亲去世了。也正是在这一年，普鲁士的铁血宰相俾斯麦开始搅动整个德意志的政治风云。弗雷格去耶拿大学上学是 1869 年，那时候欧洲的政治版图已经变了一轮——普鲁士在七周战争中干掉了奥地利，北德意志联邦成立，梅克伦堡也成了其中一员。紧接着是 1870 年的普法战争，普鲁士又赢了，1871 年德意志帝国正式诞生。

说这些政治背景，其实是想告诉你：弗雷格的学术生涯，恰好赶上了德国从分裂走向统一、从边缘走向中心的历史大转折。按理说，这种时代最容易出大人物。可偏偏，弗雷格这个大人物，是在死后才被承认的。

从几何论文到逻辑革命

在耶拿大学学了两年后，弗雷格又跑到哥廷根大学继续深造——学数学、物理、化学、哲学，啥都沾一点。1873 年，他从哥廷根拿到了博士学位，论文题目叫《论平面中虚数结构的几何表示》。听着就够拗口的，对吧？这其实就是他想给几何学的一部分打下严格的基础。

有意思的是，他拿博士学位的同一年，论文就在耶拿出版了。这在今天简直不可想象——现在的博士生能三年内把论文写完就不错了，哪敢奢望边写边出书？

靠着恩斯特·阿贝（Ernst Abbe）的支持，弗雷格 1874 年在耶拿大学完成了他的教授资格论文，题目叫《基于量纲概念扩展的计算方法》。说人话就是：这基本是一篇关于阿贝尔群和不变量理论的玩意儿。同年5月，他被聘为耶拿大学的数学讲师。

然后呢？他就在这个位置上，安安静静地干了一辈子。

你可能会想：当个讲师有什么了不起的？确实，在学术圈的鄙视链里，讲师属于食物链底端。但弗雷格似乎并不在意这些——他跟学生和同事的接触少得可怜，基本上就是那种“下课就走、从不参加学术饭局”的孤僻型学者。唯一跟他保持长期学术交流的，是哲学系的鲁道夫·奥伊肯——这位老兄后来拿了 1908 年的诺贝尔文学奖，跟罗素、萨特一样，属于那种“跨界大神”。

1878 年，就在弗雷格还没来得及发表任何重要成果的时候，他母亲也去世了。

说实话，读到这里我忍不住想：弗雷格这人，是不是命里带点“被忽视”的宿命？亲人接连离世，学术上也没啥声响，换了别人可能早就转行了。但他没有。

那本“没人看得懂”的天书

1879 年，弗雷格出版了他的第一部重要著作——《概念文字：一种模仿算术语言构造的纯思维公式语言》。

这书名，搁现在就是劝退级别的。但你猜怎么着？这本书后来被评价为“自亚里士多德以来逻辑学领域最伟大的贡献”，甚至有人说它是“逻辑学史上最伟大的单篇著作”。



为什么这么牛？因为在这本书里，弗雷格第一次提出了一个我们今天习以为常、但在当时完全是天方夜谭的东西—— 一套形式逻辑系统，包含否定、蕴含、全称量化，甚至还有真值表的思想。换句话说，他基本上把“如何用符号精确地表达推理”这件事，给系统化了。

打个比方吧。在弗雷格之前，逻辑学家们推理就像是用自然语言吵架——“如果怎么怎么样，那么怎么怎么样”，全凭语感和上下文。而弗雷格干的事，相当于发明了一套“逻辑的数学符号”，让推理变得像做算术题一样精确、机械、可验证。

那他用的符号长什么样？我告诉你，绝对不会让你觉得眼熟。比如“A 蕴含 B”这个在现代逻辑里写成“A→B”的东西，弗雷格的写法是：把 A 写在一条横线下面，B 写在横线上面。你没看错，是上下排列的。这种符号系统为什么没能流传下来？原因很简单——太难写了，也太占地方了。

但你不能因为这个就否定他的成就。就像你不能因为莱布尼茨的微积分符号跟牛顿的不一样，就说莱布尼茨是错的。

问题在于，当时的学术界根本没人关心这事儿。

《概念文字》一共收到了六篇书评。听起来还不错？但你仔细看这六篇的阵容：前三篇——赖因霍尔德·霍佩、约翰·维恩（John Venn）、保罗·坦纳利——基本就是“翻了翻目录就扔一边”的态度，完全没当回事。后三篇虽然稍微友好一点，但也没好到哪去。

你可能会问：等等，约翰·维恩？就是那个发明维恩图的维恩？没错，就是他。连维恩都没看懂弗雷格的价值，你就知道这事儿有多离谱了。

数字到底是什么？

弗雷格这个人有个特点：他不光要建系统，还要刨根问底。1884 年，他出版了《算术基础》。这本书跟《概念文字》不一样，它不那么技术化，没用什么奇怪的符号，更多的是在讲道理。



他在书里问了两个看似简单、实则要命的问题：

第一，数字到底是什么？

第二，算术真理的本质是什么？

为了回答这两个问题，他把之前所有数学家对“数字”的定义挨个批判了一遍。弗雷格的结论是：你们全搞错了。

错在哪？他说，之前的人把“数字”和“多数”给混淆了。“多数”指的是某一堆具体的东西——比如两把椅子、两支铅笔、两栋房子。但“数字 2 ”呢？它是所有“两个东西的集合”的集合，是“多数的多数”。这个区别，以前没人搞得清楚。

这么说可能还是有点绕。换个更直白的例子：你说“红色”这个词，跟具体某个红色的苹果、红色的衣服，是不是一回事？当然不是。“红色”是所有红色东西的抽象集合。数字也一样——“2”不是具体的两把椅子，而是“所有成对的东西”这个抽象概念。

听起来很哲学，对吧？但弗雷格要的就是这个效果——他要用纯逻辑，把数字这个概念一层层拆解到不能再拆，然后再从零开始，用纯逻辑把它重新建立起来。

这本书写得精彩到什么程度呢？哲学家迈克尔·达米特后来评价说：“就算你对数学哲学毫无兴趣，这本书也一样迷人，因为它在过程中呈现的许多想法，对整个哲学领域都意义重大。”

然而，学术界对这本书的反应呢？

就一篇书评。

你没看错，就一篇。

写书评的人是谁？格奥尔格·康托尔（Georg Cantor）——就是那个发明集合论、告诉你“无穷大也有大小之分”的康托尔。按理说，康托尔是那个时代最接近弗雷格思想的人，他的集合论跟弗雷格的逻辑主义几乎就是天生一对。

结果康托尔写了篇差评，极尽嘲讽之能事，而且最要命的是——他根本没怎么认真读这本书。

你能想象这种打击吗？整个学术界你最期待的那个人，不仅没给你点赞，还在没看懂的情况下把你臭骂一顿。


弗雷格

意义与指称：那个“启明星=长庚星”的例子

虽然被打击得不轻，但弗雷格没撂挑子。接下来的几年里，他写了一系列哲学文章，不断打磨自己的想法。其中最出名的一篇，是1892年发表的《论意义与指称》。

这篇文章里有个经典例子，我讲给你听，你就明白弗雷格的天才之处了。

金星这颗行星，在古代叫“启明星”（早晨出现）和“长庚星”（傍晚出现）。在人们发现它们是同一颗星之前，这两个名字指代的是不同的东西。后来天文学家发现：哦，原来“启明星”和“长庚星”是同一个星球。

现在问题来了：你说“启明星=长庚星”这个陈述，跟“启明星=启明星”这个陈述，是一回事吗？

显然不是。因为“启明星=启明星”是一句废话（逻辑上叫重言式），但“启明星=长庚星”是有信息量的——它告诉了你一个你不知道的事实。

那为什么会有这个差别？弗雷格说：因为一个名字有两层东西——一个是“意义”，一个是“指称”。“启明星”和“长庚星”的指称是同一个（都是金星），但意义不同（一个指早晨出现的那个，一个指傍晚出现的那个）。

就这么一个区分，后来成了整个分析哲学的基石。你说牛不牛？

那套注定失败的体系

1893 年，弗雷格出版了他一生中最重要的著作——《算术基本法则》第一卷。在这本书里，他建立了一套比《概念文字》更完善的形式逻辑系统，然后在这个系统里，严格地推导出了数论的基本定理。那些在《算术基础》里只是草草带过的证明，现在全都写得明明白白。



他在序言里毫不掩饰自己的失望——抱怨别人根本不了解他的想法。他大概是指望这本书能引起轰动的，毕竟这是他心目中的“巅峰之作”。

结果呢？

除了朱塞佩·皮亚诺（Giuseppe Peano）写了一篇书评之外，整个学术界再次沉默了。

你想想这个画面：一个人花了十几年，呕心沥血写出一套他认为能改变数学基础的理论，结果连个骂他的人都没有。这种“冷暴力”式的无视，比批评更让人绝望。

弗雷格原本计划出三卷。第二卷直到十年后的 1903 年才出来——这十年里他干了什么？大概就是在反复纠结和自我怀疑吧。这第二卷里，他把实数直接从整数构造出来，跳过了通常先定义有理数的步骤。但整本书弥漫着一种浓烈的苦涩——他开始攻击前人的工作，用词相当不客气，尤其是对康托尔和戴德金的实数理论，批得那叫一个狠。

你能感觉到，他在发泄。对那些年积压的、被无视的、被误解的愤怒，全都在字里行间喷涌而出。

但最要命的事情，在这本书还没出版的时候就发生了。

1902 年 6 月 16 日，弗雷格收到了一封信。写信的是一个叫伯特兰·罗素（Bertrand Russell）的年轻哲学家。罗素非常客气地指出：你的系统里有一个矛盾。


伯特兰·罗素

这就是后来举世闻名的“罗素悖论”。

用大白话解释这个悖论，可以这么说：假设有一个集合，它包含所有“不包含自己的集合”。那么问题来了——这个集合本身，包不包含自己？如果它包含自己，那它就不应该包含自己（因为它的定义是只包含“不包含自己的集合”）；如果它不包含自己，那它就应该包含自己（因为所有不包含自己的集合都属于它）。

这是一个逻辑上的死循环。而弗雷格的整个算术体系，就是建立在这种集合论的基础上的。换句话说，地基裂了。

弗雷格怎么反应？他在第二卷的末尾加了一个附录，承认了这个矛盾，并试图修改一条公理来修补它。但他心里清楚，这一改，第一卷里的大部分定理就推不出来了。

实际上，后来有逻辑学家证明，就算他改了，系统还是不协调的。只不过弗雷格到死都不知道——因为他1925年去世后，斯坦尼斯瓦夫·莱希涅夫斯基才证明了这一点。

很多人因此说：弗雷格一辈子白干了，他的系统根本就是错的。

真的是这样吗？

罗素自己都不这么看。他在《西方哲学史》里写道：“尽管弗雷格的发现具有划时代的意义，但他一直完全不被认可，直到 1903 年我引起大家对他的注意。”

换句话说，罗素虽然捅破了弗雷格的系统，但同时也是第一个公开承认弗雷格价值的人。

被罗素“击垮”之后，真正的黑暗才刚开始

说起来，很多人以为弗雷格被罗素那封信彻底击垮了，从此一蹶不振、放弃研究。这说法吧，不算全错——他确实再也没出版计划中的《算术基本法则》第三卷。但一个人沉下去的原因，哪有那么简单？


弗雷格

另一个更沉重的打击接踵而至：1904 年，他的妻子玛格丽特·李塞贝格去世了。两人没有亲生子女，虽然收养了一个儿子阿尔弗雷德，后来也成了工程师，但妻子的离开，似乎把弗雷格最后一点跟外界连接的纽带也带走了。他变得更沉默了，更深地缩进了自己的壳里。

与此同时，德国的政治局势也在折磨着他。你还记得吗？他骨子里是个老派君主制的信徒，对统一后德意志帝国那套民主议会制度，打心眼里反感。尤其是社会民主党的势力越来越大，他就更坐不住了。这种情绪到了什么程度？他开始攻击同行，而且是那种超出学术批评的人身攻击。比如同在耶拿任教的托马埃，就被他骂得体无完肤。他的日记里更是毫不掩饰地流露着对法国人、天主教徒和犹太人的深深敌意。

说白了，那段时间他就像一只受伤的刺猬，逮谁扎谁。

1917 年，弗雷格从耶拿大学退休。从 1904 年到退休这十几年间，除了几篇跟托马埃打嘴仗的骂战文章，他几乎没发表过什么正经东西。1912 年罗素曾邀请他去剑桥的一个数学大会上演讲，你猜他怎么回复的？婉拒了。那语气里的消沉，跟当年那个对自己天才充满自信、坚信自己想法会被认可的弗雷格，简直判若两人。

不过，事情在 1918 年出现了转机。他又开始发表重要文章了，这次是关于“思想”的本质。这些文字带着他早期作品的那种新鲜感——你能感觉到，那股缠了他十几年的抑郁，至少是松动了一些。

最后的转折：自己推翻了自己

然后就是 1923 年，一个让人唏嘘的转折。

弗雷格自己得出结论：他这辈子奋斗了大半辈子的目标——把算术建立在逻辑之上——是错的。他转而认为，整个数学应该建立在几何学的基础上。

你想想，一个人花了五十年，写了那么多书，建立了一套精密的系统，最后自己把它否了。这需要多大的勇气？或者说，多大的绝望？

他开始着手研究这个新方向，但没来得及走多远。1925年7月26日，弗雷格在巴特克莱嫩去世。关于几何奠基的想法，他一个字都没来得及发表。



安静了一辈子的人，最终还是被人听见了

也许你会觉得，这是一个悲剧——一个天才，生前被无视，晚年自我否定，最后带着未完成的工作离开。

但我不这么看。

评价一个人的价值，不是看他有没有活成自己最初想要的样子，而是看他留下的东西有没有在别人心里生根发芽。弗雷格的思想，后来成了现代数理逻辑的源头——这个领域不光影响了抽象数学，还渗透进了计算机科学和哲学。

用一位研究者的话来收尾吧：“戈特洛布·弗雷格的著作对当代思想产生了深远影响。他那革命性的新逻辑，是现代数理逻辑的起点——这个领域的重要性，不仅限于抽象数学，也关乎计算机科学和哲学。”

安静了一辈子的人，最终还是被人听见了。

只不过，他本人没能等到这一天。



南方 Er