爱吱声

标题: 探讨数学与自然科学的关系 [打印本页]

作者: 不爱吱声    时间: 2011-6-30 00:40
标题: 探讨数学与自然科学的关系
本帖最后由 不爱吱声 于 2012-3-27 05:23 编辑
, I6 f6 k$ w2 W8 }, j2 K' u- J
: e) w& x1 L' G. v2 o( h; c
    数学(包括逻辑学,几何学等)不能算是科学。; }3 o+ [: P3 l8 |+ }; W
' j& o6 D/ m% K. x
    数学是科学的工具,数学本身不具有可证伪性,所以数学不是科学。数学本身也并不具有描述自然的功能,描述自然是科学的事情,而科学是使用数学作为对世界进行解释描述的工具。这可以算是数学与科学的关系。2 V! r1 F9 G8 v3 C" g

1 |, c: F4 p! T; \3 |    我们大家都使用过工具,我们干不同的活要使用不同的工具。比如说,我们希望将钉子定到木头里,那么锤子就是一种很好的工具,如果你使用改锥效果就不好。同样的道理,当数学被用于科学的时候,也存在一个适用性的问题。比如说,大家经常提到欧式几何和非欧式几何。欧式几何的第五公设说:两平行线永不相交;而在非欧几何中,此公设不再为真。那么,到底谁对谁错呢?实际上,他们在数学上来讲都正确。但当我们想在科学中使用两种几何的时候,就分出“是否恰当”了(我还是倾向使用适用性这个词)。在牛顿力学中,我们使用欧式几何描述空间,因为欧式几何在这里更方便;但在广义相对论中,我们就应该使用非欧几何(黎曼几何)来描述时空才更容易一些。在广义相对论中,物理本质是几何,因为这里面重力已经与时空弯曲的曲率直接联系起来了,换句话说,使用黎曼几何的好处是,我们可以让理论更简洁更本质,这是我提到的,科学最终追求的是简洁普适。这里我强调的是,数学是科学的工具,工具本身没有对错,你用错了,那是你不会用。这样看来,使用数学根本不存在信仰问题,不是说你认为鸥氏几何正确才使用,或者你认为非欧几何正确才使用,而是到底哪个管用,哪个顺手.
6 F. L# t# J( n; R
! K" `! n7 \" k    在科技史上就有一个有意思的现象,数学作为科学的工具的建立往往超前于自然科学的发展。比如说,黎曼几何正是早于相对论多年就已经建立起来,然后被附之高阁,大家不知道如何使用,等到相对论才体现出黎曼几何的用处来。这个与真正的生产工具如锤子的产生稍有所不同。但实际上这也体现于数学是工具的特性,就是工具可以是“当前无用”的,但不代表“永远无用”。你现在想钉钉子,改锥没用,但你不妨把改锥放到一边,等你拧螺钉的时候,改锥还是用得上的。这也正是数学家工作的真正意义所在。他丰富了自然科学可使用的工具宝库。4 `- j/ z" G6 D4 p# X! G

# C+ ]  B' _; k" K* Z0 E  e    此外,数学对于科学来说具有工具的特性还可以表现在:做同样的事情,可以使用完全不同的工具。比如说,你钉钉子使用锤子当然是很管用,但你也不妨使用钳子,虽然钳子并不是设计来“砸”物体的,但钳子的重量大,也可以用来“砸”物体得到锤子的效果。在量子力学的发展中也正体现出这一点来。大家知道,在波尔建立原子量子模型以后,德国一位物理学家海森伯,直接从光谱的频率和强度的经验资料出发,在1925年提出了矩阵量子力学。而另外有一位差不多同时,或者稍晚一点,奥地利的物理学家薛定掷,他改进了德布罗意基于波粒二象性的物质波理论,提出了波动量子力学。矩阵量子力学中使用矩阵数学作为描述量子力学的工具,而波动量子力学中则采用更为大家所熟悉的微分方程作为数学工具。美国的物理学家费曼,他的研究不仅证明了矩阵和波动两种量子力学的数学的等价性,而且又发展出了第三个等价的方法,就路径积分量子力学,从这里我们也可以看到,对一个物理现象的数学描述,他的工具与方法,也并不完全都是唯一的,至少在发展的过程当中,它也可以是多样性的。6 o1 M& W+ y/ S- H4 ?6 b4 e' V3 c
; T5 [$ o  P  W7 \
    我们提数学理论,更多的是提他是否严密,是否自恰,而很少提他是否真伪。

2 v& y/ ^$ N$ p6 l, g* f# T) K1 d- Y9 S; D$ g; ~

作者: 海天    时间: 2011-6-30 06:05
回复 不爱吱声 的帖子
; m# F0 l1 ]/ h7 b% s- D- q1 v7 t  X0 C6 W
啊,想加五分,发现不是自己的地盘。- p: @4 [+ K. d- e& ?! {) e

6 V) j- R# {# W3 \5 ?* d( V5 j各个自然科学分支有“自己适用的”数学工具------完全同意,前不久和我爸谈过相似的话题(他本科数学系,研究生信息系统)。
6 X9 Y! v* h; e" F3 m
/ j+ p% |/ ]# G* |( @. b0 _& g讨论到最后他说他感觉有些学科该“用”的数学还没搞出来,于是就先“借用别人的”,所以现在看起来还不那么可靠和成熟。
作者: 张声语    时间: 2012-3-27 18:58
咕~~(╯﹏╰)b,现代数学超前自然科学太多了,我们工科现在用的数学都是17XX年的旧货。。。5 h" C: l6 t9 N- ~* i8 V0 D- r. N
2 F2 t: m5 F; X4 w) T2 L
不过我老板和师公都是应数博士毕业,师公最后成了天体物理学家,老板现在我们贱桥工程系,所以数学对工科的重要性不言而喻。。。
作者: 不爱吱声    时间: 2012-3-27 19:35
数学都是17XX年的旧货
5 Q$ Z& S7 T7 V
17XX的有点太早了.我相信你要非常频繁地用到张量分析,这个是19世纪中叶才有的概念,20世纪初才发展起来的,也就100年.' y0 `: y/ c8 s" Q

' q7 d8 ]. ?# z1 C2 o不过总的说来,当前的力学使用这些100年前发展起来的数学工具也够用了.想想主要应该包括常,偏微分方程,变分,场论,数理函数,张量分析.由于计算机的发展,现在力学偏数学方面的发展主要在计算算法方面,解决实际工程问题还不需要太"偏门"的数学.
' x7 D2 y3 D; K% k7 F+ L1 T! t2 r- N* |6 D7 R: i2 P8 X6 ]
搞理论物理的用到的数学更"时尚"一些.
作者: 张声语    时间: 2012-3-27 19:41
不爱吱声 发表于 2012-3-27 19:35
6 q, I$ i8 C& E$ S$ j17XX的有点太早了.我相信你要非常频繁地用到张量分析,这个是19世纪中叶才有的概念,20世纪初才发展起来的, ...
/ e# c0 G/ b' I' V
张量有用,但是也不是那么常用,我们现在做振动模态时候会用一些,但是大部分的线代和常微分偏微分都是太早以前了,对于random vibration和nonlinear vibration就是用统计了,而且现在我们主要是测试加数学模型加编程,数学完全属于基础,工程实际还是和各种实验挂钩更紧密
作者: 不爱吱声    时间: 2012-3-27 19:45
本帖最后由 不爱吱声 于 2012-3-27 05:47 编辑 # x* \6 A* y" Q' r
张声语 发表于 2012-3-27 05:41 - A: L: z5 d; q1 W% m* C. `, T" Z" a, Z
张量有用,但是也不是那么常用,我们现在做振动模态时候会用一些,但是大部分的线代和常微分偏微分都是太 ...
. @4 ?4 H: e- e3 L5 I) e3 L8 m& _
8 e7 S' j* S" w
连续介质力学主要就是用张量,听起来你可能作离散体震动分析多些,不太做连续体,或者连续体采用离散化模型
作者: 张声语    时间: 2012-3-27 19:56
不爱吱声 发表于 2012-3-27 19:45 & z5 B0 M. h: M& ^1 h, i( Z( O7 B
连续介质力学主要就是用张量,听起来你可能作离散体震动分析多些,不太做连续体,或者连续体采用离散化模型 ...

+ S/ p. T  B: p$ Y4 L6 f1 Q0 j是的,现在连续的做得少,主要是变成离散化模型来做。。。前段时间组里有两个人做充气气球方面的,整个气球的充气管道也是全部离散化
作者: PenPen    时间: 2012-3-27 19:59
张声语 发表于 2012-3-27 19:41 % [! q, C3 Q% L- A2 W
张量有用,但是也不是那么常用,我们现在做振动模态时候会用一些,但是大部分的线代和常微分偏微分都是太 ...
# L' |8 Y# D3 R; m
我有的时候会用到一些machine learning的东西,但总是感觉这种基于统计的东西很不靠谱,模型就像是硬凑出来的一样
作者: 橡树村    时间: 2012-3-27 23:23
张声语 发表于 2012-3-27 18:58 ; z. F# o, x/ l% |) T3 \
咕~~(╯﹏╰)b,现代数学超前自然科学太多了,我们工科现在用的数学都是17XX年的旧货。。。8 M3 r: G7 t( V) B& Y* e

/ Y6 `7 J' y! w0 U; M- f* E: V- \( m不过我老板和 ...

+ N7 U' x+ q+ z; |量子化学领域数学明显不够用的。
作者: gordon    时间: 2012-3-28 05:53
本帖最后由 gordon 于 2012-3-29 05:36 编辑 6 V; N# V. t) \& A& `

' ~( V0 s6 O) E8 T这是因为我们这些讨论者中很少是一门学科的开创者。
9 P6 e" o  @8 x8 ^2 T- Z, y' e1 t, T5 v5 u0 M
如果你是一个学科的开创者,很多东西就很容易理解了,比如你遇见一个新事物,你怎么对它进行定义。
6 @+ H$ z! u" z& h# |& I: }
* Q, [' d5 @- }' A它是一个什么样的存在?好,你定义了它是一个什么样的存在了,下面的事就好办了。
+ ]# C- z% M% v( T9 U
& K7 w" r' {* W' _但是所有的问题都要考虑meta (什么什么之后),那什么是存在呢?存在的特性是什么?9 O0 k6 j( h* Y
! y2 J, F& B$ d$ a
ok,知道了一点科学哲学,下面开始我们的讨论。7 i  C: E8 C/ w, Y

* H% D/ c/ m$ s这个事说起来很复杂,必须从科学史开始讲起,近代科学的开端是从批判 “经院哲学” 开始,衍生出经验主义和理性主义,后来到高斯时期又把神学给捡回来了。
+ ]8 R' N' z0 i  ~9 R  F3 {, v3 H  f( x5 Q3 K, a( O' n1 C
近现代数学,数学由研究现实世界的一般抽象形式和关系,进入到研究更抽象、更一般的形式和关系。8 O6 C1 i5 T- E1 G, n: d. X) ^! _
+ `/ ^5 @7 u% x2 j
数学的本质是什么,其实就是关系,描述各式各样的关系;但是这个定义不准确,更准确的定义参考 “集合论” 的定义。$ b- L! @+ l) O$ ~
/ E( k. Y" H% o' ?/ _4 B. C
丹麦物理学家尼尔斯 波尔的认为,
/ ?3 g$ P8 y( V$ d
) _) ^! u  B9 D8 C2 }8 o: A“对于我们的主题来说,重要的在于意识到这一事实,数学符号和数学运算的定义,是以普通语言的简单应用为基础的。
: t" I' J: E- t+ ^  [% N& ?+ b
' d, N9 M* j9 K因此,数学不应被看作以经验的积累为基础的一个特殊的知识分支,而应该看成是普通语言的一种精确化,它用表示关系的适当工具补充普通的语言,对于这些关系来说,通常的字句表达是不准确的或太纠缠的。”! F! ?* ]) E2 {+ W  i2 i2 u
' a- T$ U2 M$ _: Y- `

作者: gordon    时间: 2012-3-28 06:03
本帖最后由 gordon 于 2012-3-29 05:36 编辑
' x. O+ m$ Z- b# K, G, j  k, w7 n. G
老外讲这个玩意讲的非常绕,老外主要就是讲这么几个东东,“存在、 meta(存在的存在)、符号逻辑(语义分析、语法分析)” ,/ ]- B# |+ P6 q1 [/ v0 o

9 f/ a+ Z, [$ l, A( m; C! y分析哲学包括两个基本派别:一指逻辑分析,如弗雷格、罗素、维特根斯坦早期、石里克、卡尔纳普所代表的逻辑经验主义或逻辑实证主义;二指语言分析,如摩尔、维特根斯坦晚期、奥斯汀、塞尔所代表的日常语言哲学或语言分析哲学。6 k4 }& t/ c5 i- S0 u9 ?

% e, ]! F4 U, P  V这个事比较清楚的要问“假如十八”,但是十八说的太倾向于哲学了,和自然科学有点不搭界,天天抱着“维根斯坦”在哪生啃。' Z- @+ C# d; L: [7 O% O; _& i

& A9 z0 N# p- m* `) U! M5 y这个东西涉及面很广,三言两语也讲不清楚,其实是我自己不确切知道,但是我知道大概就是这么个意思。
作者: gordon    时间: 2012-3-28 06:16
本帖最后由 gordon 于 2012-3-28 06:18 编辑
9 b1 I" m* v- ^, @8 K' T+ Z( \. M  G1 R4 b
北航的陆士嘉在普朗克的《流体力学概论》写的序里也提到一点,就是解决问题的办法是重视在实际中遇到的矛盾问题,通过实验寻求了解其物理本质,再导出数学方程,用以总结提高所得的物理概念,从而得出定量结果,并对照实验结果找出答案(就是理论计算结果和实验结果进行比对,其实就是科学的三种形态)。+ ^# X7 F* x) |/ {/ g4 x( n
0 @5 n  L1 x8 J
反对在没有了解现象的物理本质以前,单纯搞烦琐的数学推演。
作者: gordon    时间: 2012-3-28 06:49
本帖最后由 gordon 于 2012-3-28 07:51 编辑 & t2 |" ]" q0 j- ?% d5 s! B
4 r* R7 C0 y; B# S) c  {2 t
反正还是老生常谈的这几样,基础课+专业课,基础课包括:统计、科学哲学(语言学和分析哲学)、纯数学。
, q7 k/ E# ?, O& E* L# k2 c' D8 g6 J2 e! C: [+ j5 m( w9 }6 c
统计的应用包括对自然现象数据的收集,和自己做实验的结果的收集。2 b4 ?0 a! r+ {, J4 n/ H7 v9 L2 K
2 \4 N  U+ k3 c- }3 h" e: S8 O
文哲理工测(量),或者是科学三形态之类的。
5 r" B6 {; F: ], O. `  y9 D+ r3 W3 ]7 r: Z2 R# n0 u3 k7 r$ `6 V- [
关于测量多说一点,测量是理科和工科的基础,记住简单的一句话即可,没有测量就没有反馈。
" t2 a/ r- Q" T# w1 C! y9 H: |2 k' p9 J  N+ s
/ @+ E& k/ N7 Q, q; q6 K
其实,乱七八糟讲这么多,差不多已经知道自然科学是怎么诞生的,自然科学从科学哲学和数学中获取依托。
作者: gordon    时间: 2012-3-28 07:52
本帖最后由 gordon 于 2012-3-29 05:35 编辑 9 O$ e0 F2 g+ o' e" J' n

1 `% F) i0 Y/ O; X
# D- K/ V+ D% k数学的主要内容是计算和证明。在十七世纪,算术因符号化促使了代数学的产生,代数使计算变得精确和方便,也使计算方法系统化。费尔马和笛卡儿的解析几何把几何学代数化,大大扩展了几何的领域,而且使得少数天才的推理变成机械化的步骤。这反映了代数学作为普遍科学方法的效力,于是笛卡儿尝试也把逻辑代数化。与笛卡儿同时代的英国哲学家霍布斯也认为推理带有计算性质,不过他并没有系统地发展这种思想。# r* K  J7 q7 l5 Z8 `  x

& P9 a6 ]. F: O0 W8 o现在公认的数理逻辑创始人是莱布尼兹。他的目的是选出一种“通用代数”,其中把一切推理都化归为计算。实际上这正是数理逻辑的总纲领。他希望建立一套普遍的符号语言,其中的符号是表义的,这样就可以象数字一样进行演算,他的确将某些命题形式表达为符号形式,但他的工作只是一个开头,大部分没有发表,因此影响不大。$ H$ C% t! o4 T- e4 F

& [, x: v0 K, A( s- l8 Q2 B数学经历了几个阶段的变化,开始是建立在几何的基础上,后来随着时代的发展建立在代数的基础上,现代数学建立在逻辑的基础上,说白了就是仿照代数建立了一套更一般化的系统。
0 I( n# G/ D; D/ P" m
. l: Q4 H$ c( d: f- Q# ?( ~) ?) @算术的一般化、几何的代数化、代数的符号化、逻辑的符号化,逻辑的代数化(推理也是一种运算),最后演变成逻辑的代数化、符号化;现在回到我们的问题,那自然科学为什么要用到数学,因为数学是一种推理,是一种严密的推理。
作者: 就爱抬杠    时间: 2012-3-28 11:20
数学是抽象的,而抽象的能力是进化出来的,教育小孩子的时候,能有比较明显的感觉
作者: gordon    时间: 2012-3-29 15:20
本帖最后由 gordon 于 2012-3-29 15:25 编辑 0 y1 k  _8 b7 O4 d' }

! M# S7 ]2 Q# N& C7 G* ~+ J/ J基于数学形成理论(theory) ,包含以下四个步骤:. Q3 X9 q2 G1 A7 u) J* O* w
2 M; g0 a+ q+ b0 b  s
    (1)特征化研究对象(定义);* R$ }3 {; ]/ i9 h; _" w  k

2 L: J2 p$ A3 X" F# n6 E    (2)假设它们之间可能的关系(定理);
& w$ n% Q5 \6 t  `. v: C5 `. X# X' B2 l) G- \
    (3)确定这些关系是否正确(证明);
( ^1 V3 k/ G$ Y7 S7 y- K% Q3 y; X& m/ p5 N6 M
    (4)解释结果。
* h* p$ a) X: A. N- a. o! Z+ U5 U, J- @% S+ E
基于实验科学方法。按客观现象的研究过程,包含以下四步:6 h% b! x4 K- w5 Z4 L+ h4 Q9 [

+ _& E" ?- B8 ^' f    (1)形成假设;' S$ |/ Z7 U: \" B8 W& Y; {9 x
2 o, e2 B. q  m; G
    (2)构造模型并做出预言;. f0 O: G2 p& g7 p
3 H( Q9 |2 R. e: b
    (3)设计实验并收集数据;" S! p5 b( E9 ^) L5 w- F, u

. o) a$ G$ p+ p$ w    (4)分析结果。
, Y) ]/ P/ Q1 P0 |: N
( X: c: {; U4 ?% H4 S# S# Y$ B    科学家们希望,当模型的预言与实验结果不符时,这些步骤应该反复进行。
( v" l! }3 T; `8 P: Z, L3 H$ l$ b8 C* p
作为一门实验科学,自然科学的预言或者叫做推论,和数学息息相关。说白了,其实也是逻辑,就是我“先验的认为”或者假设,或者叫做“抽象成这样一个模型”,我推论这个模型还适用于其他自然现象,然后用实验验证。
作者: 辛常诚    时间: 2012-3-29 19:23
数学确实不是自然科学,记得网上还有人为此批驳过不爱,好笑
作者: 辛常诚    时间: 2012-3-29 19:25
张声语 发表于 2012-3-27 18:58 % o$ U: O0 \+ V6 j4 W9 y/ ~
咕~~(╯﹏╰)b,现代数学超前自然科学太多了,我们工科现在用的数学都是17XX年的旧货。。。. `* V2 m" ~; C+ u# z
2 k: V7 n1 Q* r9 x2 v. @6 W- W) _
不过我老板和 ...
& d- d( i' q& d
这个显然不可能啊,概率统计那时候都还是婴幼儿呢,你们不是需要用统计吗
作者: 张声语    时间: 2012-3-29 19:52
辛常诚 发表于 2012-3-29 19:25 2 i* r; b5 F  V: E) ~
这个显然不可能啊,概率统计那时候都还是婴幼儿呢,你们不是需要用统计吗 ...
% r* `+ A" H' B  T
统计不算在内,比如振动声学的基本公式推动基本都是用大学那点高等数学就可以,振动里面的Statistic Energy Analysis是近现代针对random vibration开发出来的,也要基于这个高等数学公式推导之上再加概率密度函数这些东西。。。
作者: gordon    时间: 2012-3-29 21:27
本帖最后由 gordon 于 2012-3-30 07:22 编辑
& j4 C: X' Q" I; H- n( f" z2 N* w: j
# ^4 s2 l3 H* i, `$ X5 E神学为什么会被引入现代科学研究?这是因为神学在研究“上帝的存在性问题”上有大量的积累,/ G! Z8 c& m+ z7 F: A
0 r  N5 u; B" u" G9 y# S( C' \
所以就把“存在性问题”的研究成果引入了现代科学研究。
* ]6 _- Z( C' _" u$ k, w) h3 A% P  x
! l+ S5 X" [' h8 f1 [8 P7 {$ Y不爱说的,“理论更简洁”这个就是神学中的奥卡姆原则,“如无必要,勿增实体”。
: k9 q& N4 W; l4 ]1 U
" L# }5 h# b, {. }
作者: 晨枫    时间: 2012-3-30 02:16
张声语 发表于 2012-3-29 05:52 ; n$ k' I/ L6 r
统计不算在内,比如振动声学的基本公式推动基本都是用大学那点高等数学就可以,振动里面的Statistic Ener ...
* M% Q6 j6 Y( L, k8 a) q3 R
那看来数学方法印度振动声学的时间还不长?
作者: 青方    时间: 2012-3-30 09:46
看到这里讨论数学,想起2008年的一篇博文:, ?- Z$ b0 j! w. ?' T" |
% t  b' S- O3 T
最近看到格致里的一篇博客,题目就是“数学是被发现的还是被发明的?”因为最近看了些数学书,感觉数学一开始是被发现的,属于“朴素唯物主义”的一部分,后来就参杂了很多发明的成份,有了“被发明”的意味。
& T* `- Q) R/ Y2 D4 I( ~1 H5 B5 I9 T& S: c; P' D( s
如果抛开历史,只看一个孩子的成长过程,孩子对数学的认识开始于对数字的认识,面前的玩具有几个,得到了和拿走了几个又变成了几个,这些都是人对生活相关事务的一种认识,数学可以帮助人们的认识更有条理。以后解决复杂问题就需要更复杂的数学,例如盖房子,出现了运算和几何的概念。所以说数学源自生活,源自自然,开始的数学不是空中楼阁,是和具体事务相对应的。
9 k+ q2 r5 _0 D- E7 Y$ P# [  B. P! }
之后随着人们认识世界的深入和更多的思考,也随着其他学科的发展,数学逐渐脱离了“朴素”的阶段,上升到一种更高的境界,Alfred Adler给数学的评论是“数学是一种纯粹的语言,即科学的语言”。我对数学是“科学的语言”的定义非常认同,其他的科学,不管是发明也好发现也好,都需要用数学的语言来解释,来进行逻辑推理,来思考。8 f% B# Z9 S9 E7 W
+ y; O- j2 j/ \
我的同事,一位老教授对数学的简要且片面的解释是“数学是一种逻辑”,没有数学观念的人很难搞好科研,因为缺乏逻辑性。5 @0 p( F0 y0 F' M7 U

3 Z6 u6 A7 J. l8 g/ L* e7 ]所以一定要学好数学,尽管我现在才意识到数学是多么重要,什么时候开始学都不晚!
作者: gordon    时间: 2012-3-30 10:15
本帖最后由 gordon 于 2012-3-30 10:52 编辑
2 t0 O% I- R5 E0 _& k( D5 u
青方 发表于 2012-3-30 09:46 $ W  q/ U$ P, |- g; c
看到这里讨论数学,想起2008年的一篇博文:! M0 ^7 L. w, u1 ~$ ]* Q
0 W* U& ~! N) `3 s- f2 _
最近看到格致里的一篇博客,题目就是“数学是被发现的还是被发 ...

& j! t7 x- {" K' P0 ^- T0 ]$ d9 a9 {9 J7 a
数学最早来自数和形,这个就是直观,数数,识字认图;5 Q2 O: y( |( E) E6 {  N+ [

* u9 r- {% h9 M9 Y" Q后来工程经验加了进来,例如勾三股四弦五,再后来就把逻辑推理加了进来,毕达哥拉斯定理的证明。
# c1 _; L) g" W! I' }1 O3 o2 o* G
“勾三股四弦五”在中国的提出是在《周髀算经》,但是有文献记载的对勾股定理的证明,是三国吴国的数学家赵爽,其实勾股定理这个叫法,非常不合适,还是叫做毕达哥拉斯定理合适
6 L! Y& h( L, ]  o4 [7 p# q7 Y* A5 }
欧几里德的《几何原本》是演绎逻辑体系的集大成者,后来是花剌子米的数形结合,算术的地位得到了正统确立,代数取代了算术,韦达的《分析方法入门》认为代数是一种由已知结果求条件的逻辑分析技巧,韦达的思想是一个必然的结果,因为毕竟都是建立在欧式几何之上的嘛,思想来源是一样的。
$ }( d# G& W1 A' d5 z& B3 _& \. I  k3 n
% K: s( f6 O# x
    几何之所以能成为一门系统的学科,希腊学者的工作曾起了十分关键的作用。在这里应当提及的是哲学家、几何学家柏拉图和哲学家亚里士多德对发展几何学的贡献。
& ]& m/ M9 }# k( X5 O* J
+ j- s, |$ N/ U% Z    柏拉图把逻辑学的思想方法引入了几何,使原始的几何知识受逻辑学的指导逐步趋向于系统和严密的方向发展。柏拉图在雅典给他的学生讲授几何学,已经运用逻辑推理的方法对几何中的一些命题作了论证。亚里士多德被公认是逻辑学的创始人,他所提出的“三段论”的演绎推理的方法,对于几何学的发展,影响更是巨大的。到今天,在初等几何学中,仍是运用三段论的形式来进行推理。2 t" R' V6 ]0 [) d9 R3 I* P! B

  w' V( n4 s3 f    但是,尽管那时候已经有了十分丰富的几何知识,这些知识仍然是零散的、孤立的、不系统的。真正把几何总结成一门具有比较严密理论的学科的,是希腊杰出的数学家欧几里得。
% B' V* F& Z. C2 F  `/ X6 ^, S) n* b
    欧几里得在公元前300年左右,曾经到亚历山大城教学,是一位受人尊敬的、温良敦厚的教育家。他酷爱数学,深知柏拉图的一些几何原理。他非常详尽的搜集了当时所能知道的一切几何事实,按照柏拉图和亚里士多德提出的关于逻辑推理的方法,整理成一门有着严密系统的理论,写成了数学史上早期的巨著——《几何原本》。: t  W% l6 M/ Y' a% _5 |2 _# }

9 k/ F, N+ {4 K    《几何原本》的伟大历史意义在于,它是用公理法建立起演绎的数学体系的最早典范。在这部著作里,全部几何知识都是从最初的几个假设出发、运用逻辑推理的方法展开和叙述的。也就是说,从《几何原本》发表开始,几何才真正成为了一个有着比较严密的理论系统和科学方法的学科。
( \4 ~8 q* c& _5 X0 {' B2 @3 i/ S1 g8 X: ?1 `  ~
      而一个不懂逻辑的数学家简直就是不可思议的。
; P0 J. X& `: m) G  g
' a1 t, @3 Y* Y: u0 X& m' Y/ e其实 “一般化” 说白了,就是已知结果求条件,  所以数学中才有那么多的猜想,比如自然科学中一个结论成立了,如果搜集的知识点足够多,那么我可能就会把它一般化来扩大应用范围,我可能会猜有一个什么什么样的条件成立,可以推导出这样的结果。
% L* h4 X9 E5 ?( t1 m" M
5 T3 o7 S- ^# |  h然后应用就很方便了,如果符合这个严格条件的话,就会得出我期望的结果。. I& x/ x9 m0 N: P8 ?# }, A
7 A& j9 ]- O4 x* R
这种研究方法产生的原因正像张声语所说的现实条件太复杂了,所以我的结论只在我的前提假设条件成立的时候,才成立。" y  S% I2 O- j: q$ i
- Y  z1 t, j# P. b6 Q
所以克莱因才说,重要的不是认识世界而是改造世界。9 |. |0 L7 y$ X( E& X4 ~6 z& A' k' J

+ P* L2 _' }1 `7 s! u" W6 T这也是神学和自然科学的不同,自然科学的目的是认识世界,而神学的目的是为了改造世界。0 c; I  ?& i$ C% E+ L' ]3 O9 m7 q
, K* x6 P  {( t$ _( J
“凡事开头难”,所以欧式几何能把经验总结归结为5条前提假设,是非常牛逼的。
8 m- g6 {& n1 P: r7 ~+ V% P6 B
作者: gordon    时间: 2012-3-30 10:59
本帖最后由 gordon 于 2012-3-30 11:02 编辑
8 H! U8 J* w" d1 B; \2 a  e' m1 S+ o# |$ C! |8 s. [. o% B
欧几里得第五公设的历史典故是值得细细揣摩的。! `; c% }" l9 r

8 _7 }" g$ X2 `  平行公设(parallel postulate),也称为欧几里得第五公设  是说:
/ ]4 E: B* d0 _6 k) |- H6 F( d
7 g+ S- s& O3 n0 q& q/ X9 m5 F  如果一条直线与两条直线相交,在某一侧的内角和小于两直角,那么这两条直线在不断延伸后,会在内角和小于两直角的一侧相交。7 D. _5 T/ S; q3 z$ M$ N

7 ~! g4 a+ N5 n: @$ E  假设所有欧几里得公设成立的几何,是欧几里得几何,当中包括平行公设。不依赖于平行公设的几何,也就是只假设前四条公设的,称为仿射几何。
) n' K0 d! V) _9 S5 d! f3 d7 u
6 {" T% D/ C: F8 I$ f/ T- K( Y; Z% W" O$ t     没有仿射几何,几何不突破平面的束缚,大航海时代就是不可思议的。
1 O! I' |9 }  u& M$ b
4 P. {7 \7 ?7 o4 H3 I& a     立,立的牛逼;破,破的有水平。
作者: baogesj    时间: 2012-4-14 03:20
我们这种排名30左右的学校,大家对数学有点放弃了,就大学3本书的水平。
作者: 高歌人未老    时间: 2012-4-14 03:49
数学是否是科学这个问题好像不同人有不同看法,基本都要归根于要探讨科学是什么。 就描述自然的角度来说,我个人倒是觉得几何学、数论这两个应该可以说是用来描述自然的。几何有很多种,虽然公理体系有些不同,但现在存有的几何几乎每一种都仍有其适于应用的语境,如欧式几何之于普通生活中的度量,黎曼几何之于爱氏之相对论。而数论也是,自然数这东西虽是人们抽象出来的,但其存在应该可以说是很自然的,而对于整数性质的探讨和研究,不正也可以说是对自然所做的描述吗?
* C" W/ f7 C1 s9 ~
: R: K. [/ |+ r' s! F窃以为,数学有其工具性的一面,但也有非工具性的一面,而大多数的第一流数学家,我想都是被后者的美所深深吸引的。
作者: darkingwing    时间: 2012-5-19 13:15
本帖最后由 darkingwing 于 2012-5-18 22:16 编辑   _. x+ s& F4 O; U

. ]! H6 O9 I2 w9 w我就是抱着搞科学的目的来搞数学的,虽然我上大学的时候,连我当数学教授的老舅都看不出搞数学有什么好的
作者: 路人癸    时间: 2012-5-19 14:17
数学是自然科学的基础但不算自然科学,哲学是社会科学的基础但不算社会科学。忘了在哪儿看到的了。
作者: 空山小径    时间: 2012-5-24 12:19

作者: 烟波钓徒    时间: 2012-6-28 10:06
数学是不是自然科学,你说他是就是,说他不是就不是,取决于你怎么定义。所以结论是,数学和自然科学没有啥关系。我想惟一的区别是,自然科学这个概念在数学里没有必要存在,数学在自然科学里确实必不可少的。
作者: tanis    时间: 2012-7-3 22:20
坛里没有学纯数的上来吱一声啊~ 貌似数学科班出身的乍看量力都不是很顺眼。
作者: 我爱莫扎特    时间: 2012-7-4 05:06
作为学数学的,给领导同志捧捧场。
# j3 \- J- B- a4 e; b  V* `+ W6 r
数学是自然科学研究的重要工具,当其他学科有需求的时候,数学发展会顺应这些需求,得到有针对性的发展。最典型的例子是二战期间,由于军事的需要,美国和苏联的数学家发展了大量有实际应用的数学理论。+ X. S; n6 T/ G; H6 x0 D5 j
3 e. j9 v/ A4 R# g% @, l* X
但大部分数学家研究数学并不是把它当作工具来,他们的研究更多的基于自己的研究兴趣。而这些凭兴趣的研究也不是“异想天开”,而是有着它内在的发展规律。& ^; a! l8 G; b, o. {
3 Q: q" P8 b9 b. Z. c# p
以上面提到的黎曼几何与广义相对论来说。我曾经在西西河写过一个长贴(可惜没写完),大致就是讲黎曼的理论和高斯的微分几何可以一直上溯到古代的勾股定理。既然勾股定理是测量空间距离的定理,那么爱因斯坦要测量时间和空间(把时间作为第四维的空间),用上黎曼的理论是再自然不过的了。这个广为流传的故事里没有什么巧合或者运气成分,只不过是两组不同的科学家通过不同的视角研究了大自然的基本性质。
) `9 x% S- f+ w+ M+ b1 Y
( Z9 _2 K7 x. A4 a8 J$ m2 y# M! }类似的例子有很多。比如物理学标准模型里有大量的抽象代数的应用。数学家在创立抽象代数这门学科的时候,很多人对这种奇怪的理论完全无法理解,但稍微深入的了解就会知道抽象代数是研究“对称”这一自然现象的最自然的工具。那么既然粒子的世界有那么多奇妙的对称性,不用抽象代数才怪呢。) D& b, ?8 v( d: c
- z, j( f, m1 P+ u9 }: b
还有概率论。70年代之后蓬勃发展的金融衍生产品大量依赖于50年代发展出的现代概率理论(尤其是鞅论)。这很奇怪么?一点也不。如果稍微了解一些布朗运动和泊松过程,就会发现它们完全是为金融市场量身定做的。而鞅,即Martingale,在英语里原本的意思就是赌博的术语,能不用在金融上么?% S8 E& B! B% N( }6 q

* j! M: m) X! ~0 A  g举了这些例子,无非是想说明,数学作为一门独立的学科,有它自身的逻辑。虽然数学不做实验(这点上其实不尽然),但与其他自然科学一样,它的发展最终符合大自然的逻辑,所以一定会与其他学科交汇。
7 n9 @; \' @0 A" X: d4 J6 r
作者: 我爱莫扎特    时间: 2012-7-4 05:11
青方 发表于 2012-3-30 09:46 9 k4 j& p4 b4 i" G" u  O: f
看到这里讨论数学,想起2008年的一篇博文:! A) V0 n3 f; ]2 X: i; ]' j

; A6 H$ Y. [# z3 u最近看到格致里的一篇博客,题目就是“数学是被发现的还是被发 ...

! q3 J4 ?' C' n& l. C# |数学和逻辑不是一回事。有“数理逻辑”这门学科,不过大多数学数学的都没怎么学过。
4 {/ l/ |( p, ?9 j
, t* U3 ~' t" C( y, |数学证明必须遵守逻辑。(即逻辑是数学的规则,要遵守规则)但大部分重要数学成果的发现过程都有“非逻辑”的一面。




欢迎光临 爱吱声 (http://aswetalk.net/bbs/) Powered by Discuz! X3.2