Thurston 经典论文《论数学中的证明与进步》PDF 分享

FrnkNlsn 分享了数学家 William P. Thurston 的经典论文《On Proof and Progress in Mathematics》PDF。该文回应 Jaffe 与 Quinn 的《数学的文化综合》，主张数学的进步本质是增进「人类理解」而非仅积累定理与证明。文中以四色定理的机器证明争议为例，说明数学家对「人类可理解的证明」的诉求。