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

519 篇文章 7 订阅

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

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

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

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

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

袁萌  3月30日
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值