非科普，不大读得来。
看了序言不禁心动，深感其中师生情谊。中国有好的博导，也有好的学生。数学不但是不完全的，而且是不可完全的。本质就是形式系统中的可证命题与数学真理集之间永远有一个超穷距离，不用超穷手段不但填不满这一距离，甚至没有希望去逼近。世界的意义在于事与愿违。
