高阶逻辑会导致悖论，在计算机中尤其严重。抽象思维需要不同于高阶逻辑。诡辩分析更难

高阶逻辑会导致悖论，在计算机中尤其严重。抽象思维需要不同于高阶逻辑。诡辩分析更难

所有跟贴·加跟贴·新语丝读书论坛

送交者: scott 于 2020-02-06, 12:01:40:

回答: 有很多细节需要探索，但不要神秘化这些东西由 asker 于 2020-02-06, 05:17:05:

这方面研究能稍取得些突破，就是非常重要的进展了。

现在主流学术界好像找不到深入的方法。