因为gemini老师十分给力，今年有很大可能把Davis的可计算与不可解撸完。目前还不知道下一本应该是Rogers的递归论，还是先退一步把Mendelson的数理逻辑或者Kleene的1952版元数学完整撸掉。排在队列里的还有badhap的序论格论和Kelley的拓扑。Scott domain，Marker的模型论，以及Troesltra主编的1973版直觉主义圣杯之作最快也要明年年中了。

----

AI时代，能问出有恰当的问题，相对于能解决问题，重要性提升了很多。所以实际上AI并不是让人可以不学习了，相反，它象健身房的器械或者训练机一样，更有效率和效果的build your mind muscle。

坚持每天都能让有一点难度的新知识流过身体的感觉。「长大是细微的积累，短时间内不易觉察。如果你今天跳过小溪，明天趟过大河，明天的明天，你就敢闯急流险滩，那时你就真的长大了，」就可以在送外卖的等待店家出餐时间里，思考一下如何证明黎曼猜想，不虚掷光阴，留下青春该有的底色。