|
|
本帖最后由 elim 于 2016-8-5 07:54 编辑
实数序列本质上是一个自然数集合到实数系的映射(或曰函数): 每个自然数n 理论或操作地对应一个唯一的实数 a(n).
所以实数序列概念的合法性的前提是自然数集合的既存性以及实数系的既存性。集合的既存性是指无缺失性,也就是说它不是什么处于扩充过程中的变动着的东西。自然数集合不仅是含有且仅仅含有自然数的集合,而且是已经含有全部自然数的集合。
数学意义上的存在性和经验意义上的存在性是很不同的。经验上人们只活在有限性中,人类的全部活动不仅现在,连将来都是有限的,拿一个魔方来说,它有 8!(3^7)(12!/2)(2^11) = 43252003274489856000 个不同的状态。宇宙的年龄 < 1370000000×365.26×24×60×60=432350956800000000秒。不及前者的百分之一。所以魔方的大部分状态人类从来没有“遍历”到,你能说魔方的状态数在增长中,不是个定数?如果人类将与太阳系一起消亡,那么人类永远也遍历不了一个魔方的全部状态! 然而在全部自然数中难道 8!(3^7)(12!/2)(2^11) = 43252003274489856000 不是一个很小的自然数吗?所以用写来支撑数的存在是极其荒谬的,用写不完来支撑自然数没“完成”跟誓死吃狗屎在畜生不如性上是等价的。这不等于说无穷可以写完,而是说无穷集合的既存性不以人们对它的书写为转移。不错,自然数是无有尽头;同样不错,自然数全体是一个既存的无穷集合。对现代人类来说,搞了一辈子不理解这点无疑是畜生不如。
数列的极限的定义是这样的:对数列 {a(n)}, 如果存在实数 A 使得对任意给出的正数 ε, 存在自然数 N, 使得 |a(n) -A| < ε 对一切大于 N 的自然数 n 成立,则称 A 是数列 {a(n)} 的极限,记作 lim a(n) = A.
从这个定义知道,
(1)A 的存在和确定的大小在逻辑上是‘先于’ 取极限这一“运算”的。
(2) 如果自然数集“没完成”,自然数集缺失自然数,那么极限定义中的“一切大于 N 的自然数 n”就是不可判定的或者是与“向上提发起飞”一样无意义的片语。简言之,坚持自然数集“没完成”的观点的逻辑结果是极限理论的破产。
以上用一些简单的分析批判了jzkyllcjl 的无穷观和数学本体论。现在来看jzkyllcjl 的数学真理观。
数学之所以有用,不是因为它是实践的机械反映或临摹而是对实践制约的克服,破解,超越。pi 在逻辑上不可能是测不准原理的结果,也不是实际测量的结果。为什么jzkyllcjl 并没有因此就说 pi 不合实践是虚假的,无用的?因为"不合实践"根本就推不出虚假和无用么。1/2 是实践上不可能的,没有人可以把一个物体分成绝对合同的两部分,jzkyllcjl 是不是要消除 1/2? 事实表明,虽然 jzkyllcjl 的理论畜生不如,导致数系空空如也,他并没有消除 1/2, pi 的意愿,于是他引进了理想实数的概念。这样一来,数在jzkyllcjl 那里凭他高兴的时候就是存在的,否则就是虚假的无用的。他解决不了的问题就是不可判定问题,是不合法的问题,他一翘辫子,全部问题都是不可判定问题。jzkyllcjl 是墨索里尼总是有理。但恰恰是这种有理使他当之无愧地夺得了畜生不如的头衔。
虽然无尽小数无底可定义因而无底可写,称“无尽小数是写不到底的事物”在逻辑上是无意义的,我们一般可以解读他的说法为把无尽小数各位都写出来是不可能的。我们并不否定后一种说法的真理性。但是这并不导致诸如 π = 3.14159265... 的不正确或者无意义或者无用。这个等式意味着 π = 3.14159265... 有一个唯一的无尽小数表达式,这个表达式的每位有效数字均被所表示的实数唯一确定,它的前几位有效数字被列了出来。说它无意义是因为jzkyllcjl 不知道其意义即不识无尽小数;称自己不懂的东西不正确,其无理是不言而喻的;不识数而不会用虽然顺理成章,但怪不得别人,只能怪自己无能。最后,虽然变量 {3,3.1,3.14,3.141,...}的极限是π ,但{3,3.1,3.14,3.141,...}不是3.14159265... 所以后者也不是变数。毕竟把3.14159265... 定性为{3,3.1,3.14,3.141,...}的简写只是jzkyllcjl 个人别有用心的一厢情愿而已。
无尽小数是写不到底的事物,jzkyllcjl 是吃狗屎停不下来的事物等等说法虽然本质上八九不离十,但都不是数学判断或定义。指出一个对象不具有某种性质不能定义这个对象。更何况这种“写不到底性”是随进制的转移而转移的,所以不是数的本质。最后,“写不到底”与“不是定数”没有必然的联系。到底jzkyllcjl 吃错了什么药会这么想, jzkyllcjl 可以进一步研究。
先揭发这些。 |
|