终极的确定
数学追求什么?我们称古希腊的贤哲泰勒斯是古代数学第一人,是因为他不像埃及或巴比伦人那样,对任意一个规则物体求数值解,他的雄心是揭示一个系列的真理。比如圆,他的答案不是关于一个特殊圆,而是任意圆,他对全世界所有的圆感兴趣,他创造的理想的圆可以断言:任何经过圆心的直线都将圆分割为两等分,他找到的真理揭示了圆的性质。
数学要求普遍的确定性。
数学要划清结果和证明的界限。
世界再变幻不定,我们也总要有所凭信,有所依托,把这种凭信的根据推到极致,我们能体会到数学的力量。数学之大用也在于此。