众所周知,开创现代数学的三位数学巨匠是:
一、德国 1848-1925;
二、意大利 Peano 1858-19322;
三、英国 Russel 1872-1970。
根据数学史料记载,知名意大利数学家皮亚诺(Peano)
在数学发展历史上,皮亚诺是一个“承上启下”的人物,上有弗雷格(Frege),下有罗素(Russel)。
弗雷格是德国数学家、逻辑学家和哲学家。他是数理逻辑和分析哲学的奠基人,代表作为《概念演算--一种按算术语言构成的思维符号语言》。
1888年,皮亚诺以自然数公理化闻名于世界,继承了Frege的数学思想。
进入20世纪,英国Russel基于Peano算术公理
化的一致性(无矛盾性)展开了全部现代数学。
由此可见,算术公理化是现代数学的出发点。
袁萌 陈启清 1月15日