数学是什么？

顽石

下面引用由elimqiu在 2009/05/31 06:28pm 发表的内容： 说你是庸俗实践论么。你是不是说完成不完成要看写得完写不完？更准确地说，写得完就是能构造完成？如果是，那么你把1000万以内的自然数写出来看看？ 这是一个有限集，按你的准则它能被构造完毕吗？
顽石的白　...

e1狡辩：“顽石的‘试题’说明他没有什么责任感，这种东西是不可证伪的。别说多少万年，就说100年后如何现在说对说错到时候找谁去？ 出此劣题的还玩数学？”。 顽石批：e1太愚蠢了！根本不必证！条件已经清楚规定：是在一条笔直无穷长铁道上！你这个白痴，连小学生的水平也没有！如果仍然没有理解，那就简单计算一下就可以了！一年：365.2425天，即，8765.82小时。超级火车每小时跑1000000公里，跑一年为8765820000公里1000万年跑87658200000000000公里，约合9265.7光年。宇宙半径大约150亿光年，9265.7光年不足宇宙半径的1/1500000对于上述这样短的距离，你就不知道“说对说错”了？！无法回答了？！ e1再次狡辩: 我e1无赖，一计不成再生一计！认为顽石的假设是错误的，这是“因为1000万年寿命的车轮是违背常识的。顽石应该给出与‘笔直无限长的铁道’同样的条件，给出有关火车寿命，燃料充分等同样重要的保证火车‘一直向前飞奔’的条件。” 顽石再批： 按照e1的理由，庄子的“一尺之棰日取其半万世不竭”砍第20刀，就要砍成为：1/1048576尺长度的木棰！2000多年前的庄子有这样精密的切割工具和高超的操作技巧吗？可能吗？哪里还有万世不竭！十几天就没有办法了！ 什么龟兔赛跑！龟与兔能沟通吗？它们能遵守比赛规则吗？如果兔子睡懒觉怎么办？乌龟也不想比赛怎么办？！ 因为上述的例子说明，e1的无赖逻辑无敌！数学中的一切假设都能找出一大堆不可解决的问题！因此，按照e1无赖的见解，数学中的一切假设都不能用！

ygq的马甲

下面引用由顽石在 2009/06/01 11:33am 发表的内容：
e1狡辩：“顽石的‘试题’说明他没有什么责任感，这种东西是不可证伪的。别说多少万年，就说100年后如何现在说对说错到时候找谁去？ 出此劣题的还玩数学？”。
顽石批：e1太愚蠢了！根本不必证！条件已经清楚规　...

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（顽石）
“实无穷”有一条性质：整体与其“真子集”之间可以出现“一与一对应”

顽石

e1：
在你面前只有3条路可供选择：
一，承认错误！虽然对你来说承认错误是困难的，但是，服从真理，知错必改，丢掉包袱，继续思考，支持改革，勇敢地进入改革和探索数学科学真理的行列！仍然是真君子！
二，从此，偷偷地溜掉！是个胆小鬼！
三，继续顽抗，狡辩。继续表演你的无赖角色。但是，比偷偷地溜掉要好多了。这是因为你的无赖行为也有积极意义，可使讨论气氛热烈，增加人气。对数学科学进步有实际贡献！数学论坛就怕没有人争论！因此，我希望你能继续表演这种可贵的无赖角色！

elimqiu

下面引用由顽石在 2009/06/01 04:47pm 发表的内容：
e1：
在你面前只有3条路可供选择：
一，承认错误！虽然对你来说承认错误是困难的，但是，服从真理，知错必改，丢掉包袱，继续思考，支持改革，勇敢地进入改革和探索数学科学真理的行列！仍然是真君子！
二，从此，偷偷地溜掉！是个胆小鬼！
三，继续顽抗，狡辩。继续表演你的无赖角色。但是，比偷偷地溜掉要好多了。这是因为你的无赖行为也有积极意义，可使讨论气氛热烈，增加人气。对数学科学进步有实际贡献！数学论坛就怕没有人争论！因此，我希望你能继续表演这种可贵的无赖角色！

顽石有很多路可以继续白痴下去。例如继续跟假象的火车较劲，显示一番在“数学是什么的主题”下讨论白痴车头车尾问题的胆子等等。谁讨论数学长了想开开心，看看顽石的车尾车头问题或者刀法问题，就会有些成就感，知道自己还不至于如此不长进，不着边际。
================================================
庄子的“一尺之棰日取其半万世不竭”不是一个现行数学的命题。其数学解释或许可以启发某些人的对数学的认识。那也只是某些人的基于对其作主观的解释后的认识。
不过我还是愿意重述一下以前有过的讨论。
物理意义的时间不是ZFC框架里的东西。换言之，数学对象，运算完全不依赖物理时间。
对于个人，运算，推理，构造的确需要物理时间，但ZFC基础上展开的全部数学的表达严格地说根本就没有物理时间。‘首先’，‘然后’等词在数学里用来刻划逻辑的顺序，而不是可量化的时间间隔；“不断”，“一直下去”等词用来表达递归，重复次数无界而不是时间上的没完没了。
一个可能的“一尺之棰日取其半万世不竭”的数学表达是数列 { (1/2)^n }。它不涉及时间，而用无穷多项来表达[0，1]的无限可分。

ygq的马甲

物理意义的时间不是ZFC框架里的东西。换言之，数学对象，运算完全不依赖物理时间。
对于个人，运算，推理，构造的确需要物理时间，但ZFC基础上展开的全部数学的表达严格地说根本就没有物理时间。‘首先’，‘然后’等词在数学里用来刻划逻辑的顺序，而不是可量化的时间间隔；“不断”，“一直下去”等词用来表达递归，重复次数无界而不是时间上的没完没了。

可惜了楼主（ elimqiu ）的这种【耐心】
注：数学与物理学，研究或关心的对象是不同的。

jzkyllcjl

tnjian: 你错了！第一，我既不是国内外，公认的，那种构造主义者！也不是国内外，公认的，那种实在论者！我是竭力按照唯物主辩证法行事的！
第二，你说的“而实在论则说的是自然数集N是独立于人而客观存在的，你何尝看到客观存在的东西需要人去构造？”我不同意，我认为：自然数是人们根据实践制造出来的！
第三，你说到：“所以你的论调是根本违背唯物主义的。”请你指出具体例子！
第四，你说道：“所以你犯下了经验主义的错误。”请你指出具体例子与事实！
第五，你说到：“数学中典型的构造主义就是直觉主义，看看他的下场就知道了，另外你的那个什么论文也是一堆废纸，一钱不值的垃圾。”可是我不是那种主义者！
第六，根据以上几点，你最后说“所以说，你从数学和哲学两方面都错的厉害。”的结论是完全错误的！

ygq的马甲

[这个贴子最后由ygq的马甲在 2009/06/02 07:24am 第 1 次编辑]

下面引用由jzkyllcjl在 2009/06/02 06:46am 发表的内容：
tnjian: 你错了！第一，我既不是国内外，公认的，那种构造主义者！也不是国内外，公认的，那种实在论者！我是竭力按照唯物主辩证法行事的！
第二，你说的“而实在论则说的是自然数集N是独立于人而客观存在的，你 ...

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（jzkyllcjl）
临死之前还要出来“添乱”
所以说嘛，“蠢货”（jzkyllcjl）你，尽管去搞你的“数学”，但不要扯别人的。

ygq的马甲

楼主（ elimqiu ）的结局，是早就注定了。说了也等于没说。
根本就不是同类的人，“道理”也是不同的

elimqiu

下面引用由ygq的马甲在 2009/06/02 04:57am 发表的内容：
可惜了楼主（ elimqiu ）的这种【耐心】
注：数学与物理学，研究或关心的对象是不同的。

所以 jzkyllcjl 们的无穷观从两个方面来说与主流数学相悖：
（1）ygq提到的研究对象的分别。理论数学本质上不是研究物理时间中的过程的学科。理论数学的涉及的过程是逻辑推理及数学运算的序列。
（2）作为形式系统的主流数学，由于赖以建立的公理系统与物理时间无关，它本身必然也与物理时间无关。这意味着所有依赖于物理时间的定义，概念，命题，定理，皆不属于主流数学。
这表明 jzkyllcjl 们依赖于物理时间的对主流数学的种种指责于是统统无效， 也表明他们对主流数学的理论基础种种诬蔑都是不知所云。
进一步，jzkyllcjl 们的所谓改革充其量是在建立一个与主流数学毫不相干的系统，而不是像jzkyllcjl 号称的那样是一个对现行数学的改良。从jzkyllcjl对确定性与完成性的关系的暧昧态度，对外延公理这类如此基本的公理的麻木，以及对基本的小数的认识来看，没有理由认为所建立的系统会相容。
注意jzkyllcjl 们的无穷概念是建立在物理时间上的不可证伪的东西。

elimqiu

下面引用由ygq的马甲在 2009/06/02 07:01am 发表的内容：
楼主（ elimqiu ）的结局，是早就注定了。说了也等于没说。
根本就不是同类的人，“道理”也是不同的

主要不是要对 jzkyllcjl 们说什么理。而是让他们的妖言有所曝光。搞搞笑。不要抱太大期盼么。