第886章 算学的涅槃

在图灵真人的帮助之下，这一场问答，便算是有惊无险的度过去了。

王崎“穿越”之前的年代，对于现代数理逻辑的研究已经远非哥德尔的时代可以相比。光是能够和图灵机、拉姆达算法等价的数学系统都不知道多少。...