计算机、证明和证据(英文)

作者：王启义

来源：逻辑学研究, 2012, (01): 50-67.

• 数学证明:6699
• 计算机:5213
• 证据:2848
• 电脑辅助:2343
• 四色定理:2078
• 哲学意义:1924
• 经验性:1874
• 审视:981
• 概念:963
• 论者:951

有论者认为以电脑辅助进行之数学证明其实包含了经验性之前提,因此要接受此类证明,就得修改传统的"数学证明"的概念。本文审视此说法;以讨论Thomas Tymoczko的一篇关于四色定理得哲学意义的论文为发端,进而论及Tyler Burge等人的相关观点,并由此对上述说法提出质疑。

• 单位
  香港中文大学