期刊
PHILOSOPHIA MATHEMATICA
卷 23, 期 3, 页码 295-310出版社
OXFORD UNIV PRESS INC
DOI: 10.1093/philmat/nkv008
关键词
-
资金
- Caroline Elder Scholarship
- a St Andrews/Stirling Philosophy Scholarship
Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but conclude that overgeneration is a major obstacle to a successful account of informal proofs in this direction.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据