波希米亚知识分子伯恩哈德·博尔扎诺在19世纪初处理了他作为天主教神父的职责与进步政治信仰之间的张力。尽管他由于拒绝放弃自由主义教义而于1819年结束了在查理大学的学术生涯，但他随后的几十年里一直在数学分析和形式逻辑领域产出严谨的基础性著作。
学术与教会生涯
博尔扎诺1781年出生于布拉格，曾就读于皮亚рист学院和文理中学，随后于1796年进入查理大学。他攻读了数学、物理学和哲学，并于1804年晋升为天主教神父。到1805年，他已担任宗教哲学讲座教授。他的任期充满争议；他公开批评军国主义带来的社会代价并倡导结构性改革。这一立场导致他在1819年被解除教授职务。被解职后，他在乡间过着流亡生活，专注于写作。
数学分析的基础
博尔扎诺试图从数学中清除时间和运动等直观概念，转而强调逻辑严密性的必要性。在他1810年的著作《对数学更具依据的表述的贡献》（Beyträge zu einer begründeteren Darstellung der Mathematik）中，他为这种方法奠定了基础。他的贡献包括发展了极限的ε-δ定义，以及对代数基本定理和介值定理（现称为博尔扎诺定理）的首次纯解析证明。他的遗产还由阐明实数性质的博尔扎诺-魏尔斯特拉斯定理所定义。
逻辑与哲学综合
除了对数学的贡献外，博尔扎诺于1837年撰写了四卷本的《科学学》（Wissenschaftslehre），这是一部涵盖逻辑学、认识论和科学知识结构的综合论著。他还写了《无限的悖论》，于1851年死后出版。这些文本探讨了抽象对象、命题以及逻辑真理之间的客观关系。他在1848年逝世后，其思想影响力显著扩大，尤其是随着后来的数学家和逻辑学家重新发现他早期洞见的深邃之处。
核心事实
- 出生：1781年，布拉格 - 逝世：1848年，布拉格 - 国籍：波希米亚王国 - 主要职业：神父、数学家、哲学家 - 学术归宿：查理大学 - 埋葬地：奥尔沙尼公墓 - 语言：德语、捷克语 - 重要贡献：博尔扎诺-魏尔斯特拉斯定理
读者常见问题
### 博尔扎诺为何被查理大学解雇？
他于1819年被解职，原因是他拒绝收回自由主义政治观点（其中包括对军国主义的公开批评）。
### 博尔扎诺的数学工作何时产生影响？
尽管他在19世纪初进行了核心分析工作，但他的发现在死后才获得广泛认可，特别是在被奥托·施托尔茨和卡尔·魏尔斯特拉斯重新发现之后。
