数学证明:数学真理的来源?

对于一个数学实在论者来说,一个特别急迫的任务是回答数学证明是如何建立起关于数学对象的真理性问题。本文批判性考察由Resnik所提出的认知解答,指出了其中不成立的前提。并且在此基础上提出我们自己的解答,它是基于由Oliver．G所提倡的方面(aspects)概念而来的社会——论辩方案。

Proof:A Source of Truth in Mathematics

For mathematical realists an especially pressing question is that of how a proof can establish a conclusion about mathematical objects. This paper try to give own answer to this question by critically responsing to M. Resnik's Paper "Proof as a Source of truth". We examine the set of main propositions from Resnik, M, in his Paper, and concludes that there are not valid grounds for these and then give this question an alternative answer, inspired by concept--aspect from Oliver, G.