|
|

楼主 |
发表于 2009-6-16 12:24
|
显示全部楼层
数学是什么?
顽石:
e1的“靠写数列 0.3,0.33,...来‘构造’0.33333... 是不可为。”应该改为:“0.33333...代表永远可写的无穷数列0.3,0.33,0.333,...,永远可构造,即永远可为。”
e1也认为“0.33333... 与1/3 差多少是不可知。”真是可喜可贺!我始终期待着e1先生能够毅然决定服从真理,丢弃错误!只要你承认有差异就行了,不必计较误差是多少!那是不重要的。我们是要承认这个定性问题,而不是要去计算这个无意义的定量问题。不可为,就不要为之!
el:
如果顽石认为犯傻就是可为,那么他的永远可为就是永远犯傻。当然没有人会反对傻子犯傻的。顽石的每一步‘构造’其实都与 0.33333...无关。本质上人类没有办法用‘顽石构造法’来构造 0.33333...这就是有限与无限的在时间中的本质差别。所以用‘写3’犯傻是可为的,但用它来构造0.33333...不可为。尤其是顽石数学是有时间的,而顽石们的寿命是有限的。
既然el说0.33333...=1/3, 当然“0.33333... 与1/3 差多少”是可知的:0,而顽石们认为永远有 0.33333... < 1/3, 这就必须给出客观的证据来。顽石认为这个不等式是真理,又拿不出证据,连定性都定不了么。如果再坚持没有证据之说,那就是唯心主义。
用“嗨!希特勒”来比喻碰到序列,级数等就喊的没有数学建树的“永远完不成”口号,十分恰当的。因为这两者都已经没有内容,最多只是某种‘恋傻情结”。一个数学家一定不会停留在“永远完不成”那里的。于是就有以下的定义:
(D1): 0.A1A2A3....=sum_(i=1 to ∞) Ai/(10^i)
按照这个定义, 0.33333... 就是有限小数 0.33...3 的自然延拓。它等于1/3, 并且不是永远完不成而是不涉及时间(虽然对其理解视人的聪慧笨拙指数,需时不等)地完成。
上述定义的流行的等价形式是
(D2): 0.A1A2A3....=sup { sum_(i=1 to n) Ai/(10^i) | n 是自然数}
(D2) 不用极限, 但明显涉及无穷集合。 (D1) 需要用极限,但不明显地涉及无穷集合。但这只是外在形式上的差别。本质上没有完成了的自然数集合,上面这些议论都是不知所云。
谢谢顽石一再欢迎el。 el声明还会用类似“墨氏总是有理”之类的语言来比喻形容数学上的非理性顽固和狡辩等等。不过el决不以捏造,偷换概念过日子。 骂人不是el的爱好。若有人被el说成‘白痴’,el一定是指所涉分支能力的极度贫乏,也一定有其根据。 el不认为说el是体操白痴有何不妥:竖蜻蜓的确不是el可参与的话题。
[br][br]-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-
是顽石的“永远完不成”成全了0.33333...还是(D1)\/(D2)?
一个从事数学的人一定认为完不成的东西一边凉快去是绝对OK,要紧的是什么是可以完成(即得着)的认识。一个没有自在自为的无穷的数学体系对从事数学的人毫无损失。于是顽石们的不可知的“差别”(无穷小)早跟第二次数学危机一起被剔除出了数学。只是顽石们的数学还没有发展到第二次数学危机前夕的水平。 |
|