随笔 · 2019-09-28

原来不仅物理学20世纪初有乌云，数学20世纪初也有过乌云。
1903的罗素悖论动摇了康托的集合论，随后公理化集合论的建立解决了这些问题。
公理化的集合论有多种不同的系统，比如ZFC和NBG。
ZFC集合论里用了Class却没有正式定义，NBG集合论里对Class做出了正式的定义，而NBG集合论的构建者之一就是冯诺依曼，正是冯诺依曼1925年将Class引入了集合论中。
面向对象编程中的关键词Class的来源大概就是这样了。
又想到之前看拓扑学，第一章就出现了闭包的概念，感慨某些编程语言里拗口的概念原来也是出自数学。。。
来源于数学世界的计算机术语肯定还有很多，难不成早期计算机体系的建立者都是数学家吗？）

（咦，我刚刚是想搜个什么东西的来着？）