猫和不可达基数

有人半夜跟我聊集合论。

先发了一只猫的照片，然后问，你觉得怎么从阿列夫数到达不可达基数。

我说猫好可爱啊，跟这个硬核数学形成鲜明对比。

他认真地反驳我：描述一只猫，只要说外貌和动作就行了。但描述不可达基数，得从过去几乎所有的问题出发去思考。所以基数比猫难多了。

我想了想，他说得对。猫看两眼就能写完，黑白圆眼呆毛，完事。不可达基数不一样，它是从康托尔到策梅洛到冯·诺依曼，一堆人接力才摸到边的的东西。一个是眼前的风景，一个是脚下的路。

他说他卡在阿列夫以上的内容，刚开始接触集合论。

我给他从头捋了一遍。捋完他说，感谢提供灵感。

其实我挺喜欢这种对话的。一个刚入门的人，半夜不发牢骚不发疯，认认真真地想搞懂无限有多大。猫的照片放在最前面，当开场。

猫可爱，基数不可达，他都想要。