|
本帖最后由 elim 于 2019-7-28 12:47 编辑
无穷数列是以自然数全体N, 或 M=N-{0,...,k}为定义域的函数a(n).
如果N或M还缺失成员,那么这个函数就没有确切的定义.就算有通项公式,这个公式的自变量也不能超出序列的定义域.所以否认N的既存性即认定N的有限性,就是否定无穷序列的既存性.也就是只承认有限数列.
直觉主义者可以辩解说,由“后继公理”,我们可以得到包括任意事先给定项数的序列.这话听着似乎有点道理,但事先给定的数已经在“当下”那个发育不全的的N中了.所以序列自然也还是发育不全的有限列.
如果这个序列”收敛”,它的极限是什么?假定连续统已建立,那么我们就说,存在定数 A, 使得对任给 t >0, 存在m, 不等式 |a(n)-A|<t 对一切大于m的自然数 n 均成立.极限的这个定义,对【自然数集的无以扩充性】的依赖是绝对的.说白了,没有实无穷意义上的自然数集,极限就没有严格的意义, 否定实无穷就否定极限. 这点从谢芝灵和青山那里可得很清楚. 他们至少在这件事上是保持逻辑的一贯性的.
第二次数学危机的本质, 就是无穷小量, 极限这些数学观念缺乏严格的释义和坚实的逻辑基础. 实无穷,的实数理论是这个逻辑基础的核心. |
|