|
楼主 |
发表于 2018-6-13 06:30
|
显示全部楼层
jzkyllcjl 兜售他的谬论,是从对 数,除法(四则运算),无尽小数,相等,无穷等概念的考量起步的。对于大多数学爱好者来说,这些概念并没有太大的困难,小学数学对它们的介绍已经足够,并不产生任何问题。但这个层次的认识对搞数学基础的人以及思想极度混乱的人不会满意。前者需要更严密的处理,后者因为小学的东西太难,试图在基础层次碰运气。于是就有了下面的故事.
1) 实数是什么?
学渣 jzkyllcjl的实数定义:实数是现实数量大小的符号-------。有理数,整数,实数的定义是一样的? 只有逻辑盲才不懂符号本身涉及一大堆规定性,没有这些规定性,它就什么也不是。这种定义类似于说,动物是一种物质形态。好像植物不是物质形态,狗屎不是物质形态似的。以 jzkyllcjl 的数学和逻辑程度,他根本给不出实数的定义。
人类数学的数的定义具有以下逻辑历程:
(0) 首先建立概念外延的数学表示:集合。对应于命题/逻辑演算,给出有关集合的公理。数学作为一种理论,必须使用概念。数学基础必须包括概念的理论,概念的理论就是集合论。
(1) 从无穷公理,皮亚诺公理导出自然数集合的存在性。这个集合的元素叫自然数,这样就定义了自然数。自然数系可以看作是人类计数层次实践的理论概括。任何无确定上限的实践的理论概括都导致实无穷论域的引入。自然数集合正是这样自然地,正常地成为实无穷集合。所谓实无穷集合,就是非有限的集合,所谓有限集合,就是空集或可以与某 {1,2,...,n} 建立一一对应的集合(n>0 是自然数). 按照外延公理,不存在不断增长着的集合。非正常集合不是数学对象。数学中没有物理时间。
(2) 自然数及其加法运算的逆运算定义了负整数,整数系被定义为含自然数并使加减法能够畅行的最小数系。这就定义了整数。
(3) 类似地,有理数系被定义为含整数系并使四则运算能够畅行的最小数系(除数不为0), 有理数也因此得到定义。
(4) 最后,实数系被定义为含有理数系,并含任意单调有界有理数序列的极限的最小数域。实数系的元素被定义为实数。
从上面的论说知道,人类数学的数的定义是循着必要性和最小性原则来定义的。任何对它的篡改必然导致数系性质的缺失或者逻辑混乱。
有没有问题? 有! 如果有人把数学的存在性建筑在有限构造性,而构造概念又建筑在主观遍历上,那么上面的一切就都失去了合法性。
换句话说,要么主观有限遍历合法,要么形式化公理化合法,二者不可调和。
首先,主观有限遍历的存在观是没有事实根据的。例如就算你把枪顶住 jzkyllcjl 的脑袋,他也说不出自然数到底构造到哪里了,或者哪个自然数还有待构造。0.333... 被 jzkyllcjl 认为是不确定的,变化中的东西,他的理由是主观感受---无限延伸,写不到底. 对人类数学而言,一个确定无尽小数是一个定数,因为其各位数值都是确定的。Pi 的十进制表示是个定数,因为即使没有人能算出其每个位置上的数值,这些数值的存在唯一性是毫无疑问的。这就好像一个大楼,jzkyllcjl 认为它的全部洗手间的马桶总计不是定数,除非他用每个马桶拉过屎。Pi 的十进制表示在人类数学是客观的存在,不以人对它的计算为转移,但按照 jzkyllcjl 的观点,他写不完的东西就不是确定的,存在的。我们知道科学精神就是把研究对象当作具有未知性质的客观存在。jzkyllcjl 的数学观中没有科学精神。
先停在这里。 |
|