现代数学的“老爷子”究竟是谁?是康托尔的朴素集合论?思想深度不够。弗雷格的形式语言,开创现代数学之先河,才够资格。为什么?
进入二十世纪50年代,逻辑量词符号?、 ?才被波兰数学家莫斯托夫斯基的研究工作普及化。
回顾国内,1957年,我的恩师莫绍揆先生刚从瑞士留学回国不久,在授课时大量使用逻辑量词符号,节省板书时间。
现代数学的“老爷子”是谁?不言自明也。
袁萌 3月30日
现代数学的“老爷子”究竟是谁?是康托尔的朴素集合论?思想深度不够。弗雷格的形式语言,开创现代数学之先河,才够资格。为什么?