期刊
STUDIA LOGICA
卷 96, 期 2, 页码 261-272出版社
SPRINGER
DOI: 10.1007/s11225-010-9280-4
关键词
mathematical proof; mathematical rigour; foundations; formalisation; formal method
资金
- Faculty of Arts of the University of Bristol
The aim of this paper is to provide epistemic reasons for investigating the notions of informal rigour and informal provability. I argue that the standard view of mathematical proof and rigour yields an implausible account of mathematical knowledge, and falls short of explaining the success of mathematical practice. I conclude that careful consideration of mathematical practice urges us to pursue a theory of informal provability.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据