|
首长大大提到个《芝诺悖论》感觉很有意思,贴出来给大家娱乐一下。$ l+ G' V4 |2 k* [6 ?/ k5 J [
9 {. ]/ z9 [/ p( k8 V1 B. v 芝诺悖论(Zeno's paradoxes)是古希腊数学家芝诺(Zeno of Elea)提出的一系列关于运动的不可分性的哲学悖论。这些悖论由于被记录在亚里士多德的《物理学》一书中而为后人所知。芝诺提出这些悖论是为了支持他老师巴门尼德关于“存在”不动、是一的学说。这些悖论中最著名的两个是:“阿基里斯跑不过乌龟”和“飞矢不动”。这些方法现在可以用微积分(无限)的概念解释。
1 C( V. f8 V) h/ d$ q [/ e9 w n0 i+ d
[编辑本段]
! }, k7 j {' T6 A4 L, _. \两分法悖论 运动是不可能的。
8 K5 k# g. V8 e# f4 E& N; a! S5 {2 _7 y' P
$ J" }6 f3 n- ~- ~/ H; } 由于运动的物体在到达目的地前必须到达其半路上的点,若假设空间无限可分则有限距离包括无穷多点,于是运动的物体会在有限时间内经过无限多点。
* H7 ]# _) R# D! M
1 d% S* z/ M5 N. e# }- F5 _ _( N
% b4 ]: F) w, F6 G 最早应是《庄子天下篇》中,庄子提出的:“一尺之捶,日取其半,万世不竭。”
) L$ H1 G7 a0 ` N) s1 |# y
. `: S+ R1 @1 | \* p Z( W[编辑本段]
5 y+ @+ w9 l% s6 s- S# j阿基里斯(Achilles)悖论 阿基里斯是古希腊神话中善跑的英雄。在他和乌龟的竞赛中,乌龟在前面跑,他在后面追,但他不可能追上乌龟。因为在竞赛中,追者首先必须到达被追者的出发点,当阿基里斯到达乌龟在某时所处的位置时,乌龟已向前移动一些;阿基里斯再到达乌龟的那个位置时,乌龟又往前跑了一段;……因此,无论阿基里斯到达乌龟曾处的哪个位置,乌龟都会在他前面。所以,无论阿基里斯跑得多快,他永远追不上乌龟。
( M% ?8 \, V* v4 o( Y: n1 G, j2 ]& G( d8 S; x: K; Y* T! h* r+ \
, b. k0 s, W% Y, P: S \* j% ~ “ 动得最慢的物体不会被动得最快的物体追上。由于追赶者首先应该达到被追者出发之点,此时被追者已经往前走了一段距离。因此被追者总是在追赶者前面。 ” ! t* U7 V/ b+ z0 r; X8 a
/ d3 p6 |( k" A3 c* z/ f
3 y* F& I9 \9 [. y( h" A7 n( @1 g ──亚里士多德,物理学 VI:9, 239b15( w/ v( A8 i* J5 z, f9 n1 T) B4 i
3 o% j- z0 w# p7 b. Q1 \. l/ J4 P. s) @
- P" b9 T3 ^: x+ _
如柏拉图描述,芝诺说这样的悖论,是兴之所至的小玩笑。首先,巴门尼德编出这个悖论,用来嘲笑"数学派"所代表的毕达哥拉斯的"1>0.999..., 1-0.999...>0"思想。然后,他又用这个悖论,嘲笑他的学生芝诺的"1=0.999..., 但1-0.999...>0"思想。最后,芝诺用这个悖论,反过来嘲笑巴门尼德的"1-0.999...=0, 或1-0.999...>0"思想。
4 q3 \: s- h' y" r2 f* G2 B$ x- ?4 A* l5 [
[编辑本段]! f* Z* a3 K) N; v2 N1 [
飞矢不动悖论 一支飞行的箭是静止的。
: D2 c. }1 J) I" W% U0 p- o
' M8 g6 p% k' Q! o
) I- m2 p& t+ }; l5 H: ] 由于每一时刻这支箭都有其确定的位置因而是静止的,因此箭就不能处于运动状态。 9 U( p8 T( c; ?' [' T. F) C$ z
4 b2 ~* U; K8 B2 P% G8 v' O[编辑本段]# E9 @8 q% j+ _; ]5 ]. ~4 p/ _
游行队伍悖论 首先假设在操场上,在一瞬间(一个最小时间单位)里,相对于观众席A,列队B、C将分别各向右和左移动一个距离单位。$ K% R. S& [! ?5 w8 C
1 g, d: l* w3 F3 y. O
' |9 c# k( A8 ^/ s0 { □□□□ 观众席A
8 W4 d1 P; i! i' v& C, y; O
7 S6 ~4 X3 k& [, p; R& ~+ i4 ^" L3 t
■■■■ 队列B……向右移动 G' ^0 _! {& C3 r0 z v
: N2 F( d% @' K! ]! \# U0 u: g3 r4 u* @1 a( Q0 } D# n2 \4 {
▲▲▲▲ 队列C……向左移动& A, z/ q4 z) h$ s
8 I4 B7 b6 {; w% G; Q' ?8 k }) }; O. I' P# o
B、C两个列队开始移动,如下图所示相对于观众席A,B和C分别向右和左各移动了一个距离单位。
/ f, X5 _6 E$ L. _- |3 Q, u7 F0 n5 {9 e% H7 M$ X6 @
% x( k* Z% O; {# L3 d5 V* t0 a
□□□□ ! i9 j+ c7 ]" U6 Y; T2 P% C% r* h4 M
$ f% N4 y) ^5 h" B" n
$ ]# Y$ _8 h# O4 |5 o: l
■■■■
$ E) u9 N+ O) s+ P" B% i2 U/ n6 V( Z; f! `
}- d# t4 n! k4 A7 A2 n6 \( d ▲▲▲▲
1 _4 }' D3 z9 N/ R5 v0 n# y
; V$ b* W' H; P4 y5 `! j
& c& ~" a5 w: f' G 而此时,对B而言C移动了两个距离单位。也就是,队列既可以在一瞬间(一个最小时间单位)里移动一个距离单位,也可以在半个最小时间单位里移动一个距离单位,这就产生了半个时间单位等于一个时间单位的矛盾。因此队列是移动不了的。
5 Z5 ^$ {( g( q0 Q0 |; Q& ]( x8 w! Z _* h9 K5 [! \( O A
9 l3 z7 l2 b- Z w5 I W 运用无穷级数求和能破解芝诺悖论吗?
+ c( R6 T( r( G$ i2 g
* U" I- ]# n' S' p& L# ~ K/ W$ P+ a! l8 n- d* j$ i. P. p6 u
彭哲也(人在井天)
# O- J- R: r: e# b6 ~: A$ p% c7 l4 x9 Y
) c; Z5 {0 w1 i A9 h+ p 有一种思想认为可以通过无穷级数求和的办法解决这个问题(两分法和阿基里斯追龟).
2 u0 z4 l6 u& b0 L* a
6 }; a% v4 ^& P+ v
& I& a6 Q3 F" c9 \5 _: @. D+ b- ], P 我们设物最后到达终点后所走过的空间距离为1,所走过的时间距离为1.首先我们假设物没有最后一个中点要走,则物走过无穷个中点之后物在空间上所走过的距离s是:
; w/ r" T' c& P( @5 P o @2 t; J3 |$ {2 ]
' g, q1 E( J0 t1 z; E% G, P2 u
S=1/2+1/2^2+......1/2^n=(2^n-1)/2^n=1-1/2^n(n为无穷大)
# R) J/ b7 R( U9 k/ h, A
: k4 e" X9 [/ R0 K! Q# k/ W. z! O' `5 S- o. b+ Y( q f4 X
我们可以看出,这里面的s是无限接近物实际到达的空间距离1.但无限接近并不是等于,也就是说,物并没有最终到达.4 A/ S g% o; l
e. P) ~6 U" j- F5 X" d& T- f) V4 y; h9 @) Z
现在我们假设物有最后一个中点要走.
* N2 k5 P& v$ S7 [8 A' s/ _) K' A8 `, v, v! {( F6 k& Y9 D* S
8 `1 i5 \ V- L6 Z) `
则有
! ?0 W! j4 d7 Z4 n
+ P1 P, B$ }' ^$ L) D9 ~- z( Q5 d! C( v+ T7 Z! g
S=1/2+1/2^2+1/2^2
( V' _! {( z% @- J6 I4 C( }9 m& s( L& U& q6 s
9 ^: w9 N' @7 ~8 Z( n
S=1/2+1/2^2+1/2^3+1/2^3
5 ^4 H* l4 q. h# t
7 n9 p8 _+ H$ f- R( }
8 T# L6 \ U; l0 A! H) b! _ .............; b2 t1 O# t5 I* c; w, _+ `% `) Y
: _% R' M7 }3 c" m
5 a& |( j7 d0 d& G: E, ]- Y s
S=1/2+1/2^2+1/2^3+.........1/2^n+1/2^n
n7 z( r2 N6 o$ g. i$ r j: j' ?; c) E5 P) o) D- W
% a5 E( t4 l1 f5 w& a' X# ?& J
=(2^n-1)/2^n+1/2^n=1
/ Z) e( m9 z" q9 |
% b3 i0 ~1 H" E8 t8 \7 s1 M z
: F$ K4 ]% m0 E: c* f& ^ 也就是说,物走过最后一个中点与终点之间的距离之后所走过的距离与物实际到达所走过的距离是一致的.
`8 S( b2 p2 w" K; U( _ r; y0 o0 V" m& ?5 T
7 \% }& P9 W7 j8 h: D( ~1 @
从上面的计算我们可以很简单地看出,物如果到达了终点,它走过了最后一个中点.如果物没有走过最后一个中点,物就不能到达终点.- G6 u( c# B/ H" }) i/ n8 \
% Q+ f5 O+ N$ M& \& }4 O- _9 a) [* D4 u7 S* M. a- s1 q. B1 ?8 V
同理,我们可以算物走过无穷个中点所用的时间.设实际到达的时间为1.如果物没有最后一个中点要走.物走过无穷个中点所用的时间t是:
# w3 a' P& }# i6 l1 \$ b
+ f2 r' _" |2 w& K R1 w. G6 Z3 R5 [% V( b, B2 ^ t# P o% j
t=1/2+1/2^2+......1/2^n=(2^n-1)/2^n=1-1/2^n
. z3 z, C/ \ C
) j/ ~& w% ^9 O- g( s% @2 x' O4 ^. _, C- V: I5 E. w& Z
可以看得出,这里的t是无限接近物实际到达终点所用的时间,但无限接近并不是等于.
; d T8 b5 y$ R# j! W- Q# l# A) u7 c; P) v
' M" C1 Q+ ~* j* ? 如果物有最后一个中点要走,则有
; w, z; l5 j+ W/ S) `& Q9 _& g( N+ P }
( i1 H/ T+ u5 g& C
t=1/2+1/2^2+1/2^3+.........1/2^n+1/2^n
/ h! x, o( f0 K8 X/ I- {5 n( J6 M n& Y! E$ m8 j
! L: z6 P. s6 I9 }0 T7 S
=(2^n-1)/2^n+1/2^n=1, q1 H8 q1 M5 o" ~' k" Q& p
6 _7 c" t0 Z6 T* m" X: L) |
, c1 c+ t ]* i) N5 v 也就是说,物走过最后一个中点与终点之间的距离之后所用的时间与物实际到达的时间是一致的.+ _8 o% m5 f! g: J7 z
7 A4 M) l" k" g; _( i
" R( R0 N* g5 X. `- Q 从上面的计算可以很清楚地看得出来,物如果有最后一个中点要走,物所用的时间与实际到达的时间相同.物如果没有最后一个中点要走,物所用的时间只能是无限接近物实际到达终点所用的时间,而不能等于.6 Q6 |3 M( V7 T% E0 Y
/ z8 m8 k! w1 W0 d7 c. w0 i
/ N. X5 [( A0 a- C0 c 所以无穷级数求和的结果是,如果物能到达终点,物必须走过最后一个中点.但是物是如何走过最后一个中点的呢?这里没有半点依据.也就是说,两分法的悖论依旧.或者说,这种无穷级数求和的办法反而更加加深了这个悖论的逻辑性.两分法悖论与阿基里斯追龟悖论其实是同一个悖论的两种表述.两分法不能解决,阿基里斯追龟当然依旧. |
|