保羅·哈爾莫斯 保羅理察哈爾莫斯匈牙利語Halmos Pál或英語Paul Richard Halmos年月日年月日美國數學家主要研究概率論特別是遍歷理論統計學和泛函分析特別是希爾伯特空間及算子理論 使用iff來表示if and only if若且唯若有時認為是哈爾莫斯的功勞但哈爾莫斯說他只是借用的 數學家之中哈爾莫斯率先使用墓碑符號而非源自拉丁語的QED來代表證明完畢