现代数学的基本元素—思维符号

当今，我们所面对的“数学”是现代数学。这是一种“共识”。

在数学家的脑壳中，对于不断发生的思维活动，德国数学家弗雷格发明了一种思维（表意）符号语言。按照弗雷格的说法，称为“思维符号”语言。也就是说，数学家相互交流使用的就是“思维符号语言”。

一百多年之后，人们把弗雷格发明这套“思维符号语言”称为数理逻辑。

回顾过去，南京大学数学天文系。在恩师莫绍揆教授倡议下，在国内高校系统最先成立了数理逻辑专业。我的小班同学沈伯英、吕义忠参与其中。

这种数学“思维符号”语言，实质上，就是我们平时所说的“形式语言”。

当今，数学教员谈论数学，出口闭口“牛顿-莱布尼兹”老爷子，成了大笑话。

袁萌   3月27日