论文部分内容阅读
数学真理性的标准问题,数学界存在着不同的看法.有人认为,验证数学真理性的“最后标准”是形式逻辑.也有人认为,形式逻辑和社会实践二者都是验证数学真理性的客观标准.这些看法是值得商榷的.我认为,检验数学真理性的唯一标准只能是社会实践而不是形式逻辑.为什么呢?要回答这个问题,必须从分析实践验证(或称实践证明)和数学中的逻辑证明的特点、作用及其二者的关系入手.
There are different views on the standard of mathematical truth, and there are different views in mathematics.It is believed that the “final criterion” for verifying the truth of mathematics is formal logic, while others hold that both formal logic and social practice are objective facts to verify mathematical truth These views are debatable.I think the only criterion for testing the truth of mathematics can only be social practice rather than formal logic.Why? To answer this question, we must analyze the practical verification (or practice proof) and mathematics In the logical proof of the characteristics of the role and the relationship between the two start.