論数学归納 |
| |
引用本文: | L.漢金,高恆珊.論数学归納[J].数学通报,1963(9). |
| |
作者姓名: | L.漢金 高恆珊 |
| |
摘 要: | 引言依照近代邏輯严格性的准則,每一个純粹数学分支都需要利用下述两种方法之一来奠定基础:或者它的全部基本概念应該借某些先行数学分支的概念之助来加以定义,在这一情形,它的定理可以由这些先行数学分支的定理連同这些定义推演出;或者它的基本概念被当作未定义的,它的定理則由含有这些未定义术語的公理集合推演出。自然数0,1,2,3,…属于我們幼年时期研习的数学对象的范围;我們对于这些数及其性貭的知識一般地讲是带有直观的特征的。然而如果我們期望对这些数建立精确的数学理論,我們不可能依靠非形式化的直观作为理論的基础,而必須用上述两种方法之一为此理論奠基。事实上两种方法都是可行的。正如德国数学家Frege所指出,从純邏輯和集合
|
本文献已被 CNKI 等数据库收录! |
|