读完了《英雄与坟墓》

如题。

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

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

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

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

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

• 语法：形式上完全确定了什么是 “证明”，完全不论意义，这样可以确定所有的可证表达式，也只能这样确定可证表达式。命题的可证性独立于其真值，只要语法所规定的推理规则足够差，假命题也可以被证明。
• 语义：通过真值指派，赋予合式公式真值。命题的真独立于可证，只要真值指派足够差，可证命题也可以为假。

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

• (可靠性) 可证命题必真。
• (完全性) 真命题必可证。

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