Loman关键词检索结果

2026年3月26日 07:19

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

Are Digitized Proofs Taking Rigor Too Far?

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

查看详细页面