1980年，美国数学家丘嫩（Kunen）把集合论的公理化“定格”在9条公理系统之上。
进入21世纪，2004年，美国计算机科学家威廉.麦昆（William McCune，1953 – 2011）创立Otter数学定理证明器（Prover），处理公理化的集合论，有了新工具，借助计算机，实现了数学（证明）的现代化。
在我们国内，对威廉.麦昆的创新性工作，不予注意，实在可悲也。
进入21世纪，2004年，美国计算机科学家威廉.麦昆（William McCune，1953 – 2011）创立Otter数学定理证明器（Prover），处理公理化的集合论，有了新工具，借助计算机，实现了数学（证明）的现代化。
在我们国内，对威廉.麦昆的创新性工作，不予注意，实在可悲也。
袁萌 3月22日
扫一扫
1027
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
