数学的公理化与现代化
(2018-03-22 10:34:36)数学的公理化与现代化
1980年，美国数学家丘嫩（Kunen）把集合论的公理化“定格”在9条公理系统之上。
进入21世纪，2004年，美国计算机科学家威廉.麦昆（William McCune，1953 – 2011）创立Otter数学定理证明器（Prover），处理公理化的集合论，有了新工具，借助计算机，实现了数学（证明）的现代化。
在我们国内，对威廉.麦昆的创新性工作，不予注意，实在可悲也。
袁萌
喜欢
0
赠金笔
加载中…