∑ 数学名人档案库
← 返回 伯恩哈德·波尔查诺 简介档案 深度档案
数学分析逻辑

伯恩哈德·波尔查诺（Bernhard Bolzano）

分析严格化与现代逻辑的双重先驱——当同时代人仍以几何直觉和无穷小论证微积分时，他已在 1817 年用纯算术语言定义了连续、极限与收敛，却因著作长期未刊而在生前几乎无人知晓；他对无穷、命题与"科学理论"的反思，使他被后世视为康托尔、弗雷格与现象学的共同先驱。

一、生平与时代背景

伯恩哈德·普拉西杜斯·约翰·内波穆克·波尔查诺（Bernhard Placidus Johann Nepomuk Bolzano）于 1781 年 10 月 5 日生于奥地利哈布斯堡领地波希米亚的布拉格（今捷克），出生在这座城市最古老的街区。父亲贝尔纳德·庞培乌斯·波尔查诺（Bernard Pompeius Bolzano）出生于意大利北部，后移居布拉格，以艺术品交易为生，家道小康但并不富有；他受过良好教育，是虔诚的天主教徒，并曾积极推动在布拉格建立一所孤儿院。母亲玛丽亚·塞西莉亚·毛雷尔（Maria Cecilia Maurer）是布拉格一位商人的女儿，说德语，同样笃信天主教。波尔查诺是父母 12 个孩子中的第四个，却只有他和一个兄弟约翰（Johann）活到成年；他自幼体弱，终身与呼吸道疾病抗争。

1791 至 1796 年，波尔查诺在布拉格的皮雅斯特（Piarist）文法学校就读，该校由追随西班牙人何塞·德·卡拉桑斯（Joseph Calasanz）的天主教修士任教。这一成长环境——父亲的行善实践与学校的道德教育——在他身上留下了深刻印记，使他对道德信念的坚守甚至超过了对基督教神学本身的接受。1796 年他进入布拉格查理大学哲学系，学习哲学、物理与数学；在数学上他深受凯斯特纳（Abraham Gotthelf Kästner）《数学初步》（Mathematische Anfangsgründe）的影响——凯斯特纳关心数学中的哲学问题，坚持对那些被认为"显然"而无需证明的结果给出严格证明。波尔查诺后来写道："我对数学的特殊乐趣，正在于它纯粹思辨的部分；换言之，我只珍视那同时也是哲学的数学。"

1799—1800 年，他与弗兰蒂谢克·约瑟夫·格斯特纳（František Josef Gerstner）一起从事数学研究，并开始思考自己的未来。1800 年秋，他不顾父亲意愿，在查理大学开始了三年的神学学习；其间他准备了一篇关于几何学的博士学位论文。1804 年他获博士学位，论文阐述了他对数学以及"何谓正确的数学证明"的看法，在序言中写道："如果一个完全严格的证明不是从待证命题所包含的概念中推导出来的，而是借助了某种偶然的、异质的中介概念，我便无法满意——那始终是一种向异类的错误过渡。"获学位两天后，他被祝圣为天主教神父。但正如 Russ 所指出，他逐渐意识到：真正定义他天职的是教学，而不是牧灵。多年的神学学习并未加强他对基督教教义的接受；他接受了一位教授的论证——若一种信仰能带来道德之善，则信仰它便是正当的，后来他把这发展为更一般的效用主义原则。

要理解波尔查诺的人生际遇，须了解波希米亚的背景：自 17 世纪初天主教势力击败波希米亚新教徒后，波希米亚一直受哈布斯堡统治，被并入奥地利帝国，德语成为中学与大学的教学语言，捷克民族主义受到压制。1781 年约瑟夫二世颁布宗教宽容令，但法国大革命带来的自由思想令统治者恐惧。1804 年，皇帝弗朗茨决定强化天主教会（倾向保守、反对自由思想）的控制，以对抗启蒙运动的影响，手段之一便是在大学设立宗教哲学讲座。查理大学有两个讲席通过竞争填补：一个是斯坦尼斯瓦夫·维德拉（Stanisław Vydra）去世后空出的数学讲席，另一个是皇帝新设的宗教哲学讲席。波尔查诺在两项竞争中均名列第一，但大学把宗教哲学讲席给了他，而把数学讲席给了 1801—1804 年间代理维德拉的拉迪斯劳斯·扬德拉（Ladislaw Jandera）。从设立该讲席的初衷看，波尔查诺恰恰是"错误的人选"——他是一位自由思想者，信奉社会正义、和平主义和说捷克语的波希米亚人的平等。

他的任命须经维也纳确认，维也纳当然明白他并非他们所期望的天主教保守派，确认因此被拖延，直到 1807 年才获准。他在讲台上讲授带有强烈和平主义与社会主义色彩的宗教与道德哲学，向数以百计的学生宣讲一种乌托邦式的社会主义：证明人类本质上的平等，抨击不劳而获的私有财产，劝勉听众为争取人权牺牲一切。奥地利统治者对他心存猜忌；他批评他所见到的一切歧视——主要是说德语的波希米亚人对捷克同胞的歧视，也包括德语与捷克波希米亚人共同表现出的反犹主义。教会内部也有人不满，因为他的讲座含有理性主义成分。他在教会内亦有支持者，如重要的布拉格大主教以及莱特梅里茨神学院院长 Fessl 博士。1815 年他被选入波希米亚皇家学会（一个双语学会，成员主要来自德语区，但也吸收捷克语区人士）。1816 年他发表《论波希米亚两个民族的状况》，把他对捷克波希米亚人受德语波希米亚人支配的担忧付诸文字。尽管 1816 年维也纳宫廷已对他提起指控，他的事业仍在发展，1818 年当选查理大学哲学系主任。

1819 年 12 月，在奥地利政府施压下，波尔查诺被停职；除被解除教授职务外，他还被软禁，信件遭到审查，并被禁止出版。1821 至 1825 年他受教会审判，尽管他为自己的观点作了有力辩护，仍被要求收回所谓的异端主张；他拒绝并辞去讲席。自 1823 年起，他夏天住在波希米亚南部特霍布兹（Techobuz）村附近、朋友约瑟夫与安娜·霍夫曼（Josef and Anna Hoffmann）的庄园，冬天则与兄弟约翰同住布拉格。J. J. I. 霍夫曼是一位数学家，曾评阅过波尔查诺的几部早期著作。1830 至 1841 年，他全年与霍夫曼一家同住，得以把大量时间用于研究。1841 年安娜·霍夫曼病重，波尔查诺与霍夫曼一家搬回布拉格与约翰同住（安娜于 1842 年去世）。此后他再度成为波希米亚皇家学会的活跃成员，并于 1842—1843 年任会长。他大半生受呼吸道疾病困扰，晚年愈发严重；1848 年冬他染上感冒，鉴于其肺部状况已极差，终致不起，于 1848 年 12 月 18 日在布拉格逝世。尽管部分著作因政府审查须在奥地利帝国境外出版，他仍持续写作并在本国知识生活中扮演重要角色；事实上他后来获得了出版禁令的部分解除，只被禁止发表任何宗教或政治性内容。

二、学术生涯年表

年份 事件
1781 10 月 5 日生于奥地利哈布斯堡领地波希米亚布拉格（今捷克），洗礼名 Bernhard Placidus Johann Nepomuk Bolzano
1791—1796 在布拉格皮雅斯特（Piarist）文法学校就读，深受道德教育影响
1796 入布拉格查理大学哲学系，学习哲学、物理与数学；受凯斯特纳著作启发
1799—1800 与格斯特纳一起从事数学研究
1800 秋，不顾父亲意愿开始三年神学学习，同时准备几何学博士论文
1804 获博士学位（论数学观与正确证明）；两天后受祝圣为天主教神父
1807 在维也纳（经拖延确认）正式出任查理大学新设的宗教哲学讲席教授；此前在两项讲席竞争中均名列第一
1810 出版《数学的更有根据的表述》（Beyträge zu einer begründeteren Darstellung der Mathematik）第一部分
1815 当选波希米亚皇家学会会员
1816 发表《二项式定理》（Der binomische Lehrsatz）；发表《论波希米亚两个民族的状况》
1817 出版《纯粹分析的证明》（Rein analytischer Beweis），给出介值定理的严格证明，并定义后称"柯西序列"的概念
1818 当选查理大学哲学系主任
1819 12 月被奥地利政府停职，软禁、信件遭审查、禁止出版
1821—1825 受教会审判，拒绝收回主张，辞去讲席
1823 起 夏居特霍布兹霍夫曼庄园、冬居布拉格；约 1830 年代构造处处连续却处处不可微的函数（生前未刊）
1830—1841 全年与霍夫曼一家同住，专心著述
1834 出版《宗教学教程》（Lehrbuch der Religionswissenschaft）
1837 出版四卷本《科学理论》（Wissenschaftslehre），系统阐述逻辑学与知识论
1841 安娜·霍夫曼病重，举家迁回布拉格与兄弟约翰同住（安娜 1842 年去世）
1842—1843 任波希米亚皇家学会会长
1848 12 月 18 日卒于布拉格
1851 遗著《无穷的悖论》（Paradoxien des Unendlichen）由其学生普日洪斯基（František Přihonský）整理出版

三、核心成果（逐条技术解析）

1. 《纯粹分析的证明》与介值定理（1817）

问题背景：18 世纪的分析（微积分）建立在"无穷小"和几何直观之上。介值定理——连续函数从负值变到正值必在某处取零——通常被当作"显然"的几何事实，或借助曲线连续不断的图像来"证明"。波尔查诺认为这种证明是"向异类的错误过渡"：它用了几何的中介概念，而命题本身是纯分析的。

关键思想：在 1817 年的《纯粹分析的证明：在任意两个给出相反结果的值之间，方程至少有一个实根的定理》（Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege）中，他第一次给出了连续的纯算术定义（不依赖几何、不依赖无穷小），并以此严格证明了介值定理。

精确表述：他对连续性的定义（用现代语言转述）是：$f$ 在点 $x$ 连续，当且仅当对任意给定的（正）量 $\omega$，能使差 $f(x+\omega)-f(x)$ 的绝对值小于任意预先给定的量，只要 $\omega$ 取得足够小——这已是后世 $\varepsilon$-$\delta$ 定义的雏形。介值定理（波尔查诺定理）：若函数 $f$ 在闭区间 $[a,b]$ 上连续，且 $f(a)$ 与 $f(b)$ 异号（即 $f(a)f(b)<0$），则存在一点 $c\in(a,b)$ 使 $f(c)=0$。他的证明方法是反复二分区间（区间套方法），构造出那个根。

与前人关系：在波尔查诺之前，高斯（1799 年代数基本定理的证明中）曾默认使用介值性质但未证明；波尔查诺是第一个把它当作需要证明的定理并给出纯分析证明的人。他在这篇论文中还定义了今天所说的柯西序列（满足柯西收敛准则的序列），比柯西在 1821 年《分析教程》中给出同一概念早了四年；学界一般认为柯西并未读到波尔查诺的这篇工作，二者是独立发现。

局限性：波尔查诺已经意识到一个更深的问题——要让分析严格，还必须刻画实数本身的完备性（"最小上界"性质）。他在 1817 年的论文中触及了这一点，但其完整的实数理论写于《量论》（Grössenlehre）手稿中，生前未发表，故未能影响分析严格化的主流进程；实数的严格构造后来由戴德金、康托尔、梅雷（1850—1870 年代）完成。

2. 波尔查诺—魏尔斯特拉斯定理

问题背景：证明极限存在往往需要一个"紧致性"事实：有界的无穷点集不会"散开"，必有聚点。

关键思想：波尔查诺在 1817 年的工作中已证明了一个关键引理（用区间套方法）：每一个有界的无穷实数集至少有一个聚点（极限点）。等价地，每个有界实数列都含有收敛子列——这就是今天的波尔查诺—魏尔斯特拉斯定理。

精确表述：若 ${x_n}$ 是 $\mathbb{R}$ 中的有界序列（即存在 $M$ 使 $|x_n|\le M$ 对一切 $n$），则存在子列 ${x_{n_k}}$ 收敛于某实数。更一般地，$\mathbb{R}^d$ 中的有界序列必有收敛子列。

与前人关系：波尔查诺先于魏尔斯特拉斯得到这一结果，但因著作长期未刊而鲜为人知；魏尔斯特拉斯在 1860 年代的柏林讲义中独立证明并传播了它，故定理以二人联名。这是实分析中最基本的紧致性定理之一。

局限性：波尔查诺当时的证明依赖他对实数完备性的理解，而严格的实数基础尚待建立；完整、广为流传的形式由魏尔斯特拉斯及其学派确立。

3. 处处连续却处处不可微的函数（约 1831）

问题背景：18 世纪及 19 世纪初的数学家普遍相信，连续函数至多在个别点不可微，"连续即可微"几乎是默认的直觉。第一个反例长期被归于魏尔斯特拉斯（1872 年公布）。

关键思想：波尔查诺在大约 1831 年（1830 年代）就构造了一个处处连续但处处不可微的函数，通过一个无穷的几何迭代过程（不断折线段）定义。他最初只声称该函数在一个稠密集上不可微，但实际上它处处不可微。

精确表述：该函数是用归纳方式构造的连续折线序列的极限；其构造思想与后来科赫雪花、分形曲线的"无限弯折"一脉相承。

与前人关系：它比魏尔斯特拉斯 1872 年的著名例子早了约 40 年，但波尔查诺的手稿直到 20 世纪初才被发现并刊行（据 J. 马谢克 1920 年代初的报道，相关手稿 1922/1930 年方付印），因此在 19 世纪并未产生影响。存疑：该函数的确切构造年份学界一般记为"约 1831 年"或"1830 年代"，不同来源表述略有出入；但"早于魏尔斯特拉斯、生前未刊、未产生即时影响"这一核心事实是确定的。

局限性/意义：它是分析学"直觉危机"的最早信号之一，表明"连续"远比几何想象丰富；但因其未发表，动摇数学直觉的历史任务由魏尔斯特拉斯的例子完成。

4. 无穷的悖论与集合论的先声（1851 年刊）

问题背景：自古以来"无穷"就是一个充满矛盾的概念（伽利略悖论：正整数与平方数可一一对应，却似乎"一样多"又"不一样多"），多数数学家回避谈论实无穷。

关键思想：在《无穷的悖论》（Paradoxien des Unendlichen，写于逝世前最后两年，1851 年由其学生普日洪斯基整理出版）中，波尔查诺正面研究无穷集合，指出一个无穷集合的特征性悖论：一个无穷集合可以与它的一个真子集建立一一对应。例如，自然数集 ${1,2,3,\dots}$ 与其真子集偶数集 ${2,4,6,\dots}$ 可由 $n\mapsto 2n$ 一一对应。他据此认识到无穷集合之间有"大小"之别，"整体大于部分"这一原则不适用于无穷。

精确表述：该书是数学史上第一部系统讨论无穷集合的著作，"集合"（Menge）一词在这里首次出现。波尔查诺给出了无穷集与真子集一一对应的多个例子，并讨论了无穷级数的求和等问题。

与前人关系：他的思想直接预见了康托尔 1870 年代创立的无穷集合论（基数、一一对应）；但他并未像康托尔那样系统建立超限数的算术，也未完全摆脱传统的"潜无穷"观念的束缚。戴德金后来把"能与真子集一一对应"作为无穷集合的定义（戴德金无穷），其源头可追溯到波尔查诺。

局限性：由于该书迟至 1851 年才出版，且其论证在若干处不够严格，它对康托尔的直接影响有限；康托尔独立发展了自己的理论，但后世公认波尔查诺是集合论的重要先驱。

5. 逻辑学与《科学理论》（1837）

问题背景：在康德之后，逻辑被视为已经完成的学科；波尔查诺是 19 世纪最早把逻辑作为独立理论对象、进行严格形式化重构的思想家之一。

关键思想：在四卷本《科学理论》（Wissenschaftslehre，1837）中，他引入了"自在之命题"（Sätze an sich）与"自在之表象"（Vorstellungen an sich）——即脱离思维主体而存在的抽象命题与概念，并研究命题之间的客观逻辑关系（可演绎性、概率、相容性）。他提出了后来由塔尔斯基严格定义的逻辑后承与逻辑真的核心直觉：一个命题是其他命题的逻辑后承，当且仅当在对非逻辑成分作任意代入时，前提真则结论真。

精确表述：前两卷讨论逻辑哲学，第三卷提出科学发现的理论，第四卷讨论教科书与方法论。他还在该书中批评了康德的"先验综合判断"与范畴命令，倡导一种以"促进整体之善"为最高原则的效用主义。

与前人关系：斯坦福哲学百科称他是"莱布尼茨与弗雷格之间最伟大的逻辑学家"（甚至有人认为是唯一最伟大者）。他的逻辑后承概念直接影响了塔尔斯基（1936 年），其本体论（自在命题）影响了胡塞尔的现象学。

局限性：他的逻辑体系在他生前几乎无人阅读，直到 19 世纪末 20 世纪初才被重新发现；他未发展出完整的符号演算，形式化程度不及后来的弗雷格。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源