10.3969/j.issn.1674-3202.2012.01.004
计算机、证明和证据
有论者认为以电脑辅助进行之数学证明其实包含了经验性之前提,因此要接受此类证明,就得修改传统的“数学证明”的概念。本文审视此说法;以讨论Thomas Tymoczko的一篇关于四色定理得哲学意义的论文为发端,进而论及TylerBurge等人的相关观点,并由此对上述说法提出质疑。
数学证明、计算机、证据、哲学意义、四色定理、经验性
5
O141.2(数理逻辑、数学基础)
2012-08-02(万方平台首次上网日期,不代表论文的发表时间)
共18页
50-67