第2097章型论【第三更】

书名：走进修仙
作者名：吾道长不孤
本章字数：3039字
更新时间：2018-09-09 02:43:22

类型论的根基，是直觉主义逻辑。

海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。

类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。

算主提...

后续精彩内容，上QQ阅读APP免费读