送交者: asker 于 2020-02-06, 01:27:41:

回答: 科学结论需要设计证伪实验来验证。比如对逻辑的天敌：诡辩作分析 由 scott 于 2020-02-05, 09:50:09:

• 程序里的高阶逻辑表达力有限，无法处理很多抽象思维和诡辩分析 - scott (147 bytes) 2020-02-06, 04:00:19 (857823)
  • 有很多细节需要探索，但不要神秘化这些东西 - asker (590 bytes) 2020-02-06, 05:17:05 (857825)
    • 高阶逻辑会导致悖论，在计算机中尤其严重。抽象思维需要不同于高阶逻辑。诡辩分析更难 - scott (89 bytes) 2020-02-06, 12:01:40 (857832)

加跟贴