|
本帖最后由 春风晚霞 于 2020-6-25 08:53 编辑
Jzkyllcjl先生:根据你182楼对春风晚霞回复的几个问题,现回答于后:
第一、关于数学不能只解决个人的特殊经验问题
根据“纯数学具有不依赖于任何个人的特殊经验的意义,这当然是正确的,而且这也适用于各门科学的已经确定的事实,甚至适合于所有的事实。”(参见恩格斯《反杜林论》P38页)现对jzkyllcjl先生第一中涉及的两个问题回复于后:
(1)、由马克思《数学手稿》所给出的极限等式1∕3=3∕10+3∕100+3∕1000+……得出;1∕3=0.333……(注意,可根据该式还原马克思的极限等式);推演过程中只用了欧几里得的等量公理。春风晚霞确实只用了马克思的这个等式,但并不是“对马克思理论的断章取义的歪曲。”jzkyllcjl先生认为这个等式右端的“无穷级数和是其前n项和的数列的趋向性极限”,即这个级数的右端应该是你的C托尔基本序列{0.3,0.33,0.333,……}的“趋向性”极限。由于jzkyllcjl先生的“趋向性”极限是“趋向于1∕3,但不等于1∕3。所以,按jzkyllcjl先生的见解,马克思的极限等式就成了矛盾式:1∕3=3∕10+3∕100+3∕1000+……≠1∕3;即马克思的等式变形为1∕3≠1∕3。jzkyllcjl先生,你认为到底是谁“对马克思理论的断章取义”和“歪曲”呢?(2)、吴咸“极限概念不仅包含极限过程,它同时也包含极限结果。作为过程是潜在无限;作为结果,是实在无限”的认识是正确的。徐利治先生也有“数学上的任何极限表达式都同时体现了潜无限与实无限两个侧面,着眼于变量的变化过程是潜无限,着眼于整个极限过程及其计算结果(极限值)则是实无限”(参见徐利治《论无限》P25页)。虽然先生有“无穷是完成了的整体的实无穷观点违背无穷是无有穷尽无有终了的事实”的个人特殊经验;但遗憾的是“纯数学具有不依赖于任何个人的特殊经验的意义”。所以,jzkyllcjl先生还是认真反省一下自己的认知,倒底是唯物主义的认识,还是“唯吾”主义的狡辩?
第二、对于伽利略猜想,jzkyllcjl先生取材于张锦文先生《集合论与连续统假设浅说》P19〈伽利略问题〉,虽然张锦文先生在《集合论与连续统假设浅说》一书中没有对伽利猜想给出证明,但张锦文先生作出了明确的判断:集合论从康托尔“给出了度量集合的基本概念:一一对应,从而正确地回答了上述问题(即伽利略猜想)”。由于伽利略猜想只是《实变函数》中“无限集与其真子集等势”定理的一个特例,且春风晚霞在以往交流中多次给出过证明,故此处证明从略。春风晚霞深知,对于jzkyllcjl先生这样的“唯吾”主义者,凡属你不懂的东西,一定是别人错了,再给几次、几十次证明都是对牛弹琴,所以也无证明之必要。
第三、再论“实数集是不可列集”的证明的曲直:
(1)等价全称命题的作用:数理逻辑中,对集合A中所有元素a具有性质P,与集合A中任意元素a具有性质P是等价全称命题。当我们不能穷举集合A中所有元素a具有性质P时,我们可改证集合A中任意元素a具有性质P;(参见王宪钧《数理逻辑引论》)
(2)jzkyllcjl先生认为:“关于夏道行先生证明这个命题(即实数在(0,1]内不可列)的方法是反证法。证明(反证法)说到:‘如果tii=1,令ai=2,如tii≠1,那么取ai=1就行了’的话是个形式,事实是:无尽小数的位数是无穷多的,对无穷多个i,夏道行的tii 是不是等于1的判断无法进行到底,所以是不可判断问题,不能使用排中律与反证法”;在这个证明中,夏道行先生深知要穷举(0,1] 中的所有实数是无法办到的,所以夏先生采用了证明其等价全称命题。因为对任意的tii而言,它的取值只有tii=1或tii≠1,两种可能。所以,根据“如果tii=1,令ai=2,如tii≠1,那么取ai=1”知,无论tii=1还是tii≠1都能构造出属于(0,1]但不属于数列t1,t2,t3,……tn……的数a;由于对任意的tii能构造出属于(0,1]但不属于数列t1,t2,t3,……tn……的数a;所以,对所有的tii也能构造出属于(0,1]但不属于数列t1,t2,t3,……tn……的数a。jzkyllcjl不承认等价全称命题的作用是有原因的,你不坚持处理无穷问题时“排中律不能用、反证法不能用、一一对应不能用……”等歪理,那你还有什么反驳论敌的东西呢?至于“先生如果不是数学老师,也许不了解全称命题的等价性;先生可是教《高等数学》的夫子哟”,倒不是“只讲工科教师不如理科教师的不讲事实的论述”,而是讲jzkyllcjl先生,你身为教《高等数学》的夫子,连基本的《数理逻辑》知识都不具备,是不是与你的工作经历有点不相称呢?
|
|