如题。
对阿莱杭德娜与费尔南多的关系,译者认为是乱伦,我没看出来。布鲁诺是费尔南多 —— 也就是比达尔 —— 的朋友,但我尚不清楚马丁怎么和他成为好朋友的,此外临近尾声时,博德韦纳放的录音是怎么回事?
总体而言,这本书简直要用悲壮二字形容!
另外今天看完后午睡,做了一个和故事有关的梦,感觉好像跌入到那段历史中,旁观一切。今天还突然想起来,一年前的这个时候,我开始读《终了之前》,要是没有那本书,我如今将于何处?不敢设想。
最近开始学代数了,李文威为主,李克正为辅,兰州大学的郭聿琦老先生也写了一本书,特色是讨论了半群,不过看起来没李文威好。有空我还想看看北大实验班的笔记。
同时,也开始真正学习数理逻辑,看的是人大教材,感觉比复旦的清晰许多。就目前所知而言,可总结如下:
我们希望的当然是:真命题必然可证,可证必然为真。这两点体现在如下定理中:
其中可靠性似乎比较好证明,完全性要用 Lindenbaum 定理,这个定理很容易证明。