现代数学，寻根问祖，刨根不止

现代数学的“老爷子”究竟是谁？是康托尔的朴素集合论？思想深度不够。弗雷格的形式语言，开创现代数学之先河，才够资格。为什么？

十九世纪70年代，德国数学家弗雷格创立逻辑量词理论，在当时被学界所忽略，后来，弗雷格的奠基工作被意大利数学家皮亚诺和英国逻辑学家罗素介绍给后人。

进入二十世纪50年代，逻辑量词符号∀、 ∃才被波兰数学家莫斯托夫斯基的研究工作普及化。

回顾国内，1957年，我的恩师莫绍揆先生刚从瑞士留学回国不久，在授课时大量使用逻辑量词符号，节省板书时间。

现代数学的“老爷子”是谁？不言自明也。

袁萌  3月30日