论文部分内容阅读
有论者认为以电脑辅助进行之数学证明其实包含了经验性之前提，因此要接受此类证明，就得修改传统的“数学证明”的概念。本文审视此说法；以讨论Thomas Tymoczko的一篇关于四色定理得哲学意义的论文为发端，进而论及TylerBurge等人的相关观点，并由此对上述说法提出质疑。
计算机、证明和证据
【摘 要】
：
有论者认为以电脑辅助进行之数学证明其实包含了经验性之前提，因此要接受此类证明，就得修改传统的“数学证明”的概念。本文审视此说法；以讨论Thomas Tymoczko的一篇关于四色定
【机 构】
：
香港中文大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2012年1期
其他文献
中国逻辑史第十五次全国学术研讨会于2013年7月26日至29日在河南省鲁山县隆重召开。此次研讨会由中国逻辑学会中国逻辑史专业委员会主办，毕节学院逻辑与文化研究中心、平顶山
介绍了红叶二级水电站的工程概况,水文、气象特点,以及二期导流的优化.通过两种方案比较论证,阐述了优化方案的经济、社会效益及优缺点.
随着以怀特海的过程思想、有机哲学为基础的建设性后现代主义思想对诸多学术领域的深度影响,在这种视域中研究法律逻辑似乎也具有了可能性。随着非形式逻辑、论证理论、法律