这种逻辑拒绝排中律
海廷的直觉主义逻辑挑战了经典推理。它拒绝排中律。它要求数学真理有构造性证明。它还影响了计算机科学等领域。
经典逻辑认为一个陈述非真即假。但海廷的直觉主义逻辑不同意。阿伦德·海廷在20世纪30年代发展了它。这个系统要求任何数学真理都有一个构造性证明。没有证明，一个陈述和它的反面不能同时被认为是真的。
故事还有更多内容 — 打开应用继续阅读。
在应用中继续阅读
还有1个段落 · 再加3题测验
相关事实
数学 →数学概念、理论、谜题和应用
获得完整体验