萨宁

从学校回来后，就立刻去图书馆借了阿尔志跋绥夫的《萨宁》。

这部书给我留下了太深刻的印象，以至于我以后一定会再读。7 月 15 日夜里（极地大冲击之夜），我读完了第三十八章，那一段（卡尔萨维娜与萨宁在船上相拥、做爱）也是全书的最高潮，读完后，我真可谓掩卷深思！想到了很多事，当夜记录下来，结果如下（没错，最近也趁坐地铁时读隋树森先生编辑的《古诗十九首集释》）：

《萨宁》和古诗十九首之“生年不满百，常怀千岁忧。昼短苦夜长，何不秉烛游？为乐当及时，何能待来兹。愚者爱惜费，但为后世嗤。”，太必读了。《萨宁》这部书，真正让我体会到了什么叫作“掩卷深思”！

在永恒的犹豫、痛苦和忧郁之中，人因为一种普照的光明选择了救命稻草，以自作多情的正义与诚意对待畏葸不前的内心所编造出来的神话，以为生命有了寄托，以为生命终于有了出路，以为一切都会因为某个人而被拯救、被爱。但是最终，一切都是虚空，都是捕风，都是自己无意义生命之中同样无意义的一小段臆想，发觉这一点后，人陷入更痛苦的境界中，甚至麻木，终于心死。没有神性，更没有彼岸，这就是我所知道的后现代，有的永远只是被嘲弄、被蔑视、被遗忘，未来永远是自己的梦，沉醉、沉醉。

读毕《萨宁》第三十八章，我思考了很久，甚至想起了一些荒唐的事，书里的我都不认识，好像又认识，我为人物的命运感到苦痛，甚至悲哀，也许是因为我自己。我觉得，这样一部书，足以成为我心目中的必读书目。读《萨宁》，更能体会到“愚者爱惜费，但为后世嗤” 的心酸与痛楚，唉，真是“昼短苦夜长，何不秉烛游”！

阿尔志跋绥夫是当之无愧的英雄，是值得我深深敬重的灵魂。

古诗十九首更是真正的典中典。

凭《萨宁》这四百多页的故事，一幅生活理论的巨大图景已浮现在我眼前。而我对“愚者爱惜费，但为后世嗤”的曲解，又让这巨大的图景消失在脑海中。就连极地大冲击也无法让我情不自禁地飞起来 high 起来了。

当然，前文扎鲁丁的死也是非常有力的描写，至于后面尤里的死，则有些仓促，恰似他的人生。

最近还在读普拉东诺夫的《基坑》（徐振亚译），非常俄式幽默的书，《美好而狂暴的世界》那一篇充满想象力。同是普拉东诺夫的译作，徐振亚的译笔在我看来比池济敏好得多。

也开始逐步学习，因为暑校和自己内心的愧疚（这么大了还不会逻辑），开始学习模型论，没想到竟意外的好懂，在我这个初学者看来，模型论比其他有“闹麻了”性质的逻辑分支容易理解太多，证明论类型论那一套还是有点抽象，而且学的时候也忧心忡忡，不知道学了能（在数学中）有什么用；而模型论则是天生神力的代表，在域论中大杀四方，何况非标准分析也依靠紧性定理而存在。

通过模型论，学到了很多，比如恶补了一下域论、了解到几何群论这个分支的存在、发现滤子理论大有用处（甚至能和单子缝合）、可达范畴和模型论的关系等等。个人认为，如果不排斥稍稍抽象的语言，模型论简直是非常好的融合学科，谁都可以来插一脚，而且还能触类旁通，实在是好！

姑且记录一下用到的材料：

• Sets, Models and proofs：SUMS 系列丛书，Ieke Moerdijk 和 Jaap van Oosten 合著。逻辑入门书，但是也很清楚完备，我就是从这里看到对紧性定理的超积证明的（以小习题形式提供了很多预备知识，我很喜欢），应该也讲了证明论和集合论之类的，书虽薄，但实在是不可多得的宝物（Moerdijk 是谁不用多说了吧）！
• An Invitation to Mathematical Logic：GTM 301，David Marker 著。不止模型论，数理逻辑几个分支都有讲，但是 Marker 本人似乎是模型论大师。这书非常好，层次分明、思路清晰、参考文献丰富而且新（一本出版于 2022 年的超滤著作也被 Marker 捕捉到了），还介绍了紧性定理的超积证明，我个人感觉比完备性定理那个进路要直观很多（当然传统证明他也讲了）。是学逻辑的好书！
• A Course In Model Theory：Katrin Tent 和 Martin Ziegler 合著，模型论的专门教材，GTM 301 的内容远不如此丰富，不过有点难，也更专业。教授 Tent 博士（因为是德国人所以狠狠尊称一下）在明斯特，属于模型论领域的大师。
• Model Theory Courses Note：某意大利老哥的幽默笔记，内容也挺多，看起来和 GTM 301 并不完全重合，注记不少，澄清了很多误区，也指明了一些更深入的分支（主要是太幽默）；

希望暑校能听懂😭。