探讨数学与自然科学的关系

晨枫

张声语 发表于 2012-3-29 05:52
9 n! t8 L! |1 l# O* c统计不算在内，比如振动声学的基本公式推动基本都是用大学那点高等数学就可以，振动里面的Statistic Ener ...

" x9 r" D: E% X' f那看来数学方法印度振动声学的时间还不长？

青方

看到这里讨论数学，想起2008年的一篇博文：
  q& ~' s  w0 f. K
最近看到格致里的一篇博客，题目就是“数学是被发现的还是被发明的？”因为最近看了些数学书，感觉数学一开始是被发现的，属于“朴素唯物主义”的一部分，后来就参杂了很多发明的成份，有了“被发明”的意味。

如果抛开历史，只看一个孩子的成长过程，孩子对数学的认识开始于对数字的认识，面前的玩具有几个，得到了和拿走了几个又变成了几个，这些都是人对生活相关事务的一种认识，数学可以帮助人们的认识更有条理。以后解决复杂问题就需要更复杂的数学，例如盖房子，出现了运算和几何的概念。所以说数学源自生活，源自自然，开始的数学不是空中楼阁，是和具体事务相对应的。
8 p5 x( w. J' J  a
之后随着人们认识世界的深入和更多的思考，也随着其他学科的发展，数学逐渐脱离了“朴素”的阶段，上升到一种更高的境界，Alfred Adler给数学的评论是“数学是一种纯粹的语言，即科学的语言”。我对数学是“科学的语言”的定义非常认同，其他的科学，不管是发明也好发现也好，都需要用数学的语言来解释，来进行逻辑推理，来思考。
7 e# Q+ l( d4 K2 |5 O
我的同事，一位老教授对数学的简要且片面的解释是“数学是一种逻辑”，没有数学观念的人很难搞好科研，因为缺乏逻辑性。
5 A7 J9 T! p1 u! g2 Y) N
. S/ o& p5 b5 H4 o0 q# ~所以一定要学好数学，尽管我现在才意识到数学是多么重要，什么时候开始学都不晚！

gordon

, z4 v, `& o' p4 M4 w  x$ q

青方 发表于 2012-3-30 09:46
看到这里讨论数学，想起2008年的一篇博文：
3 X, i& w' R3 L. @
* t2 m$ K- z& s* {: l最近看到格致里的一篇博客，题目就是“数学是被发现的还是被发 ...

: @' \3 L1 A1 i# q
数学最早来自数和形，这个就是直观，数数，识字认图；
$ Z* a/ T+ }  V+ p  B/ |
后来工程经验加了进来，例如勾三股四弦五，再后来就把逻辑推理加了进来，毕达哥拉斯定理的证明。
# T, M1 c& X! o+ T
( w+ D  n- c$ S3 s; O“勾三股四弦五”在中国的提出是在《周髀算经》，但是有文献记载的对勾股定理的证明，是三国吴国的数学家赵爽，其实勾股定理这个叫法，非常不合适，还是叫做毕达哥拉斯定理合适。

! ~+ Y: |: ^# s+ y, D) D欧几里德的《几何原本》是演绎逻辑体系的集大成者，后来是花剌子米的数形结合，算术的地位得到了正统确立，代数取代了算术，韦达的《分析方法入门》认为代数是一种由已知结果求条件的逻辑分析技巧，韦达的思想是一个必然的结果，因为毕竟都是建立在欧式几何之上的嘛，思想来源是一样的。
  W8 L+ d' l1 F; n  ?

% U: p; d$ i: d+ a- F/ a; S1 h    几何之所以能成为一门系统的学科，希腊学者的工作曾起了十分关键的作用。在这里应当提及的是哲学家、几何学家柏拉图和哲学家亚里士多德对发展几何学的贡献。

    柏拉图把逻辑学的思想方法引入了几何，使原始的几何知识受逻辑学的指导逐步趋向于系统和严密的方向发展。柏拉图在雅典给他的学生讲授几何学，已经运用逻辑推理的方法对几何中的一些命题作了论证。亚里士多德被公认是逻辑学的创始人，他所提出的“三段论”的演绎推理的方法，对于几何学的发展，影响更是巨大的。到今天，在初等几何学中，仍是运用三段论的形式来进行推理。

    但是，尽管那时候已经有了十分丰富的几何知识，这些知识仍然是零散的、孤立的、不系统的。真正把几何总结成一门具有比较严密理论的学科的，是希腊杰出的数学家欧几里得。
' I  R8 V$ y! v8 E0 v- q0 y
' C  o2 V5 C& t: X9 r/ _    欧几里得在公元前300年左右，曾经到亚历山大城教学，是一位受人尊敬的、温良敦厚的教育家。他酷爱数学，深知柏拉图的一些几何原理。他非常详尽的搜集了当时所能知道的一切几何事实，按照柏拉图和亚里士多德提出的关于逻辑推理的方法，整理成一门有着严密系统的理论，写成了数学史上早期的巨著——《几何原本》。

    《几何原本》的伟大历史意义在于，它是用公理法建立起演绎的数学体系的最早典范。在这部著作里，全部几何知识都是从最初的几个假设出发、运用逻辑推理的方法展开和叙述的。也就是说，从《几何原本》发表开始，几何才真正成为了一个有着比较严密的理论系统和科学方法的学科。
) p  \" f( z6 f. u$ p- {
8 B& ~; @# e! ]  {* Q( C. V3 m      而一个不懂逻辑的数学家简直就是不可思议的。
+ G  b  T& W5 j# }3 N6 |
其实 “一般化” 说白了，就是已知结果求条件，  所以数学中才有那么多的猜想，比如自然科学中一个结论成立了，如果搜集的知识点足够多，那么我可能就会把它一般化来扩大应用范围，我可能会猜有一个什么什么样的条件成立，可以推导出这样的结果。

4 V, |7 A2 @! Q! V- s然后应用就很方便了，如果符合这个严格条件的话，就会得出我期望的结果。

+ u9 G1 V9 F) }7 @# m# U7 Y: t这种研究方法产生的原因正像张声语所说的现实条件太复杂了，所以我的结论只在我的前提假设条件成立的时候，才成立。
( K7 B+ t0 _4 M# T2 d/ G
所以克莱因才说，重要的不是认识世界而是改造世界。

这也是神学和自然科学的不同，自然科学的目的是认识世界，而神学的目的是为了改造世界。

9 a5 z' S. L2 b, b“凡事开头难”，所以欧式几何能把经验总结归结为5条前提假设，是非常牛逼的。
: a9 I/ \4 Y3 O, B$ n& N6 v( D

gordon

  T7 @1 E4 W4 ~. ^3 x$ c! Y  o( `! m
2 l$ t- R% g% }( M4 x5 h3 l8 ]( P欧几里得第五公设的历史典故是值得细细揣摩的。
- A3 P+ O: v- m% {& d$ A
: ~& B8 |9 y8 ^0 S; |' B　　平行公设（parallel postulate），也称为欧几里得第五公设  是说：

　　如果一条直线与两条直线相交，在某一侧的内角和小于两直角，那么这两条直线在不断延伸后，会在内角和小于两直角的一侧相交。
# m1 Q8 Y' k8 k$ e6 a- t
& H* v! B1 o! t" W　　假设所有欧几里得公设成立的几何，是欧几里得几何，当中包括平行公设。不依赖于平行公设的几何，也就是只假设前四条公设的，称为仿射几何。
7 }& l# ~! k/ s# b
2 S6 A8 i! W; b3 k# B7 Q) `     没有仿射几何，几何不突破平面的束缚，大航海时代就是不可思议的。
% r; k+ ^2 f/ a
5 F) ]1 j: p3 F! c+ e     立，立的牛逼；破，破的有水平。

baogesj

我们这种排名30左右的学校，大家对数学有点放弃了，就大学3本书的水平。

高歌人未老

数学是否是科学这个问题好像不同人有不同看法，基本都要归根于要探讨科学是什么。 就描述自然的角度来说，我个人倒是觉得几何学、数论这两个应该可以说是用来描述自然的。几何有很多种，虽然公理体系有些不同，但现在存有的几何几乎每一种都仍有其适于应用的语境，如欧式几何之于普通生活中的度量，黎曼几何之于爱氏之相对论。而数论也是，自然数这东西虽是人们抽象出来的，但其存在应该可以说是很自然的，而对于整数性质的探讨和研究，不正也可以说是对自然所做的描述吗？

$ J+ U) }; B: S8 o  m* u" x; y窃以为，数学有其工具性的一面，但也有非工具性的一面，而大多数的第一流数学家，我想都是被后者的美所深深吸引的。

darkingwing

' C: W" ]0 u" L0 _
1 q$ W# n4 @& g* D  \1 Y' U我就是抱着搞科学的目的来搞数学的，虽然我上大学的时候，连我当数学教授的老舅都看不出搞数学有什么好的

路人癸

数学是自然科学的基础但不算自然科学，哲学是社会科学的基础但不算社会科学。忘了在哪儿看到的了。

空山小径

烟波钓徒

数学是不是自然科学，你说他是就是，说他不是就不是，取决于你怎么定义。所以结论是，数学和自然科学没有啥关系。我想惟一的区别是，自然科学这个概念在数学里没有必要存在，数学在自然科学里确实必不可少的。

tanis

坛里没有学纯数的上来吱一声啊～ 貌似数学科班出身的乍看量力都不是很顺眼。

我爱莫扎特

作为学数学的，给领导同志捧捧场。

数学是自然科学研究的重要工具，当其他学科有需求的时候，数学发展会顺应这些需求，得到有针对性的发展。最典型的例子是二战期间，由于军事的需要，美国和苏联的数学家发展了大量有实际应用的数学理论。
: y8 ]6 O0 [5 F/ ?2 ?7 u4 O
$ n; ~& Q# @- u7 Z; I* o5 u# T" }( z" n但大部分数学家研究数学并不是把它当作工具来，他们的研究更多的基于自己的研究兴趣。而这些凭兴趣的研究也不是“异想天开”，而是有着它内在的发展规律。

以上面提到的黎曼几何与广义相对论来说。我曾经在西西河写过一个长贴（可惜没写完），大致就是讲黎曼的理论和高斯的微分几何可以一直上溯到古代的勾股定理。既然勾股定理是测量空间距离的定理，那么爱因斯坦要测量时间和空间（把时间作为第四维的空间），用上黎曼的理论是再自然不过的了。这个广为流传的故事里没有什么巧合或者运气成分，只不过是两组不同的科学家通过不同的视角研究了大自然的基本性质。
0 M# {, f, f' D' o% x
' ~8 Y  c* m, g* o* }7 h; u  |* A% J类似的例子有很多。比如物理学标准模型里有大量的抽象代数的应用。数学家在创立抽象代数这门学科的时候，很多人对这种奇怪的理论完全无法理解，但稍微深入的了解就会知道抽象代数是研究“对称”这一自然现象的最自然的工具。那么既然粒子的世界有那么多奇妙的对称性，不用抽象代数才怪呢。
# e0 M" D: [0 E
4 s2 L, S: d2 q' n3 A* |; A还有概率论。70年代之后蓬勃发展的金融衍生产品大量依赖于50年代发展出的现代概率理论（尤其是鞅论）。这很奇怪么？一点也不。如果稍微了解一些布朗运动和泊松过程，就会发现它们完全是为金融市场量身定做的。而鞅，即Martingale，在英语里原本的意思就是赌博的术语，能不用在金融上么？
8 g1 S' j. p& p, Q! P( G2 S
8 |! O8 |6 A# l* P7 y  \5 L举了这些例子，无非是想说明，数学作为一门独立的学科，有它自身的逻辑。虽然数学不做实验（这点上其实不尽然），但与其他自然科学一样，它的发展最终符合大自然的逻辑，所以一定会与其他学科交汇。

我爱莫扎特

青方 发表于 2012-3-30 09:46
看到这里讨论数学，想起2008年的一篇博文：

" w$ F' e' x  n0 }. l, f6 h最近看到格致里的一篇博客，题目就是“数学是被发现的还是被发 ...

) m3 \7 Y- P* N8 l数学和逻辑不是一回事。有“数理逻辑”这门学科，不过大多数学数学的都没怎么学过。

3 C  e: O1 m+ ~' Y9 x数学证明必须遵守逻辑。（即逻辑是数学的规则，要遵守规则）但大部分重要数学成果的发现过程都有“非逻辑”的一面。