读完了《英雄与坟墓》

如题。

对阿莱杭德娜与费尔南多的关系,译者认为是乱伦,我没看出来。布鲁诺是费尔南多 —— 也就是比达尔 —— 的朋友,但我尚不清楚马丁怎么和他成为好朋友的,此外临近尾声时,博德韦纳放的录音是怎么回事?

总体而言,这本书简直要用悲壮二字形容!

另外今天看完后午睡,做了一个和故事有关的梦,感觉好像跌入到那段历史中,旁观一切。今天还突然想起来,一年前的这个时候,我开始读《终了之前》,要是没有那本书,我如今将于何处?不敢设想。


最近开始学代数了,李文威为主,李克正为辅,兰州大学的郭聿琦老先生也写了一本书,特色是讨论了半群,不过看起来没李文威好。有空我还想看看北大实验班的笔记。

同时,也开始真正学习数理逻辑,看的是人大教材,感觉比复旦的清晰许多。就目前所知而言,可总结如下:

我们希望的当然是:真命题必然可证,可证必然为真。这两点体现在如下定理中:

其中可靠性似乎比较好证明,完全性要用 Lindenbaum 定理,这个定理很容易证明。