详细内容或原文请订阅后点击阅览

数字化证明是否过于严格？

2026年3月26日 07:19 33 Comments

Leila Sloman，Quanta 杂志在古希腊，欧几里得表明，如果你同意一小部分初步原理或公理，你就可以使用演绎推理来揭示各种......

来源:RealClearScience

数字化证明是否过于严格？

在古希腊，欧几里得表明，如果你同意一小部分初步原则或公理，你就可以使用演绎推理来揭示各种新的数学真理。但是，尽管这些数学家所说的早期证明是利用逻辑定律推导出来的，但它们有时也包含隐藏的、未陈述的假设或依赖于误导性的直觉。

数字化利用陈述推导直觉一小部分公理依赖于隐藏的欧几里得演绎推理揭示假设证明过于误导性定律逻辑