送交者: scott 于 2020-02-06, 04:00:19:

回答: 为什么不能？高阶逻辑和程序语言早就在电脑中实现了。 由 asker 于 2020-02-06, 01:27:41:

• 有很多细节需要探索，但不要神秘化这些东西 - asker (590 bytes) 2020-02-06, 05:17:05 (857825)
  • 高阶逻辑会导致悖论，在计算机中尤其严重。抽象思维需要不同于高阶逻辑。诡辩分析更难 - scott (89 bytes) 2020-02-06, 12:01:40 (857832)

加跟贴