理解哥德尔：数学与爱

这是个「伪传记」式的小说，1980年现代的故事线是作者虚构的，而1920年代开始的阿黛尔回忆则是根据历史合理推测的。