用于表示数学证明结束的墓碑符号通常被称为“哈尔莫斯”（halmos），这是保罗·哈尔莫斯（Paul Halmos）持久影响力的证明。这位匈牙利裔美国数学家于1916年出生在布达佩斯，他因在代数、泛函分析和集合论方面的严谨方法而声名鹊起，同时也塑造了数学概念如何传达给未来学者一代的方式。
学术背景与早期工作
在13岁移民美国后，哈尔莫斯就读于林肯公园高中，随后进入伊利诺伊大学厄巴纳-香槟分校。他在三年内完成了学位，最初攻读哲学，随后转向数学。在约瑟夫·L·杜布（Joseph L. Doob）的指导下，他于1938年完成了博士论文《Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems》。不久之后，他转入高等研究院，在那里他与约翰·冯·诺依曼（John von Neumann）的合作极大地影响了他早期的专业发展。
数学贡献与阐述
哈尔莫斯因其原创性研究及其作为阐述者的清晰度而受到认可。在他1962年的著作《Algebraic Logic》中，他引入了多项代数作为一阶逻辑的一个版本。他1960年的教材《Naive Set Theory》仍然是对该领域的重要贡献。他著名地主张将数学视为一种创造性艺术，而非机械过程。在他的职业生涯中，他引入了“当且仅当”的常用数学符号（缩写为iff），并正式确立了使用墓碑符号来界定证明结论的做法。
职业任期与认可
他的职业生涯跨越了众多机构，包括雪城大学、芝加哥大学、密歇根大学和夏威夷大学系统。后来，他在加州大学圣塔芭芭拉分校和圣塔克拉拉大学任职，从1985年一直工作到2006年去世。在他的一生中，他获得了1947年的肖夫内奖（Chauvenet Prize）、1983年的勒罗伊·P·斯蒂尔奖（Leroy P. Steele Prize）以及多个保罗·R·哈尔莫斯-莱斯特·R·福特奖。他1985年的著作《I Want to Be a Mathematician》是一部数学自传，详细记录了他在20世纪美国的学术生活。
快速事实
- 出生：1916年，布达佩斯 - 去世：2006年，洛斯加托斯 - 国籍：匈牙利；美国 - 重要著作：《Naive Set Theory》 - 教育：伊利诺伊大学厄巴纳-香槟分校 - 1983年奖项：乔治·波利亚奖、勒罗伊·P·斯蒂尔奖
读者常见问题
### 墓碑符号的起源是什么？
保罗·哈尔莫斯被认为是第一位使用墓碑符号（有时现在被称为哈尔莫斯）来标记证明结束的数学家。
### 哈尔莫斯所说的“数学自传”是什么意思？
他用这个词来描述他1985年的回忆录，因为叙述几乎完全集中在他作为数学家的职业生涯上，而不是他的个人历史。
.jpg)