如何理解“证明”是“数学基础”的核心概念

首先需要注意,“证明”是一个古老的概念,而相比之下,“数学基础”是一个较新的概念;自古希腊起,“证明”就是西方数学传统中最核心的概念之一,而“数学基础”这一论题或学科分支主要是在十九世纪末和二十世纪初才兴起的。 “证明”的要求使得西方文化中的数学不同于算术和测地学,数学追求的不仅仅是得出一个有效的结果,更在于严密推演论证的过程。但即便是在西方传统之内,对于数…

阅读全文