本帖最后由 不爱吱声 于 2012-3-27 05:23 编辑 4 g" `; a( H/ B4 B2 ~: v3 R: ~6 q; x
) P# a: V5 G- |0 t! J7 { 数学（包括逻辑学，几何学等）不能算是科学。
4 S9 ~; i. R: N2 F a1 j6 w
4 o0 V) ^* c$ J! s# [( Y 数学是科学的工具，数学本身不具有可证伪性，所以数学不是科学。数学本身也并不具有描述自然的功能，描述自然是科学的事情，而科学是使用数学作为对世界进行解释描述的工具。这可以算是数学与科学的关系。6 S; M; V" {; B" T1 }
4 j5 T H+ J& t' j 我们大家都使用过工具，我们干不同的活要使用不同的工具。比如说，我们希望将钉子定到木头里，那么锤子就是一种很好的工具，如果你使用改锥效果就不好。同样的道理，当数学被用于科学的时候，也存在一个适用性的问题。比如说，大家经常提到欧式几何和非欧式几何。欧式几何的第五公设说：两平行线永不相交；而在非欧几何中，此公设不再为真。那么，到底谁对谁错呢？实际上，他们在数学上来讲都正确。但当我们想在科学中使用两种几何的时候，就分出“是否恰当”了（我还是倾向使用适用性这个词）。在牛顿力学中，我们使用欧式几何描述空间，因为欧式几何在这里更方便；但在广义相对论中，我们就应该使用非欧几何（黎曼几何）来描述时空才更容易一些。在广义相对论中，物理本质是几何，因为这里面重力已经与时空弯曲的曲率直接联系起来了，换句话说，使用黎曼几何的好处是，我们可以让理论更简洁更本质，这是我提到的，科学最终追求的是简洁普适。这里我强调的是，数学是科学的工具，工具本身没有对错，你用错了，那是你不会用。这样看来，使用数学根本不存在信仰问题，不是说你认为鸥氏几何正确才使用，或者你认为非欧几何正确才使用，而是到底哪个管用，哪个顺手. `+ K' J% d) m' [, ]
# n9 H* \' t3 f" f; ~5 w& L4 q2 v2 P
在科技史上就有一个有意思的现象，数学作为科学的工具的建立往往超前于自然科学的发展。比如说，黎曼几何正是早于相对论多年就已经建立起来，然后被附之高阁，大家不知道如何使用，等到相对论才体现出黎曼几何的用处来。这个与真正的生产工具如锤子的产生稍有所不同。但实际上这也体现于数学是工具的特性，就是工具可以是“当前无用”的，但不代表“永远无用”。你现在想钉钉子，改锥没用，但你不妨把改锥放到一边，等你拧螺钉的时候，改锥还是用得上的。这也正是数学家工作的真正意义所在。他丰富了自然科学可使用的工具宝库。( X! `' [) T; `, E& {; S
3 ?3 n! ?$ G% v9 [" U- g
此外，数学对于科学来说具有工具的特性还可以表现在：做同样的事情，可以使用完全不同的工具。比如说，你钉钉子使用锤子当然是很管用，但你也不妨使用钳子，虽然钳子并不是设计来“砸”物体的，但钳子的重量大，也可以用来“砸”物体得到锤子的效果。在量子力学的发展中也正体现出这一点来。大家知道，在波尔建立原子量子模型以后，德国一位物理学家海森伯，直接从光谱的频率和强度的经验资料出发，在1925年提出了矩阵量子力学。而另外有一位差不多同时，或者稍晚一点，奥地利的物理学家薛定掷，他改进了德布罗意基于波粒二象性的物质波理论，提出了波动量子力学。矩阵量子力学中使用矩阵数学作为描述量子力学的工具，而波动量子力学中则采用更为大家所熟悉的微分方程作为数学工具。美国的物理学家费曼，他的研究不仅证明了矩阵和波动两种量子力学的数学的等价性，而且又发展出了第三个等价的方法，就路径积分量子力学，从这里我们也可以看到，对一个物理现象的数学描述，他的工具与方法，也并不完全都是唯一的，至少在发展的过程当中，它也可以是多样性的。
. k1 R9 j4 d* t; ]$ U" l, L5 E- e: G8 S
) |5 S/ K3 Q' f- A3 B1 P 我们提数学理论，更多的是提他是否严密，是否自恰，而很少提他是否真伪。 1 J- t1 I* z t9 z0 q. {
2 H% p1 E7 ~2 Y) y
| 
[复制链接]
雷达卡
发表于 2011-6-30 00:40:07
收藏
分享
淘帖
支持
反对
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
千斤顶
显身卡
$ q) l3 @# Q2 o
楼主
