返回列表 回復 發帖

[冷知識分享] 1+1=2 的正確解釋

不要小看這個公式,1+1=2登上科學界‘最偉大公式’之一。tvb now,tvbnow,bttvb) `: k  K$ Z( Q5 V+ D
有不少人都可能曾經問過"為何1+1=2?"這個看似多餘(!?)的問題。現在我嘗試向有興趣的網友簡單介紹一下怎樣在公理集合論的框架內証明"1+1=2& quot;這句對絕大多數人來說都"顛撲不破"的數學述句。首先,大家要知道在集合論的脈絡中我們討論的對象是各式各樣的集合(或類(class),它們和集合的分別在此不贅),故此我們經常碰到的自然數在這裡也是以集合(或類)來定義。例如我們可用以下的方式界定0,1和2(eg.qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44): 公仔箱論壇, w! z& F4 j# g( O

0 h8 G( N" J8 @0 := {x: x ={y: ~(y = y)}}
) J% b1 f- Y. {/ y' m" l( Q; g" G5.39.217.77:88981 := {x: y(yεx.&.x\{y}ε0)} 6 ]' X5 B( s8 g- r2 m& h& g" u
2 := {x: y(yεx.&.x\{y}ε1)}
8 X$ m$ U1 A# B$ G) H$ j' Z公仔箱論壇# F3 z  z' [: F; ?' z8 q
公仔箱論壇6 g0 e6 a' k' T: g# x# j
〔比如說,如果我們從某個屬於1這個類的分子拿去一個元素的話,那麼該分子便會變成0的分子。換言之,1就是由所有只有一個元素的類組成的類。〕 5.39.217.77:88983 Z* d0 o; T" P) Q7 C% d& I
TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。- H" S( c: w: @, A5 I6 f6 i
現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如: 5.39.217.77:8898. x2 J; A& y$ Z' Y& r, s

- ^3 j' p6 J! \' |+ ~4 @0 U0:= Λ, 1:= {Λ} = {0} =0∪{0}, 公仔箱論壇7 l* l" H2 F; T# C; Z( M
2:= {Λ,{Λ}} = {0,1} = 1∪{1} 5.39.217.77:88984 R) g( `* o' ^% `7 N9 G

& \  i2 ]% y1 k" ~  V6 t公仔箱論壇[Λ為空集] / u. i  I8 }! b. @/ _" M
TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。$ N2 i7 q# S+ Z% k+ u9 ^8 K$ o. o
一般來說,如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。
  O) D3 W7 F/ l4 u3 o( v( @: b
5 s8 v5 Y" G% ltvb now,tvbnow,bttvb在一般的集合論公理系統中(如ZFC)中有一條公理保證這個構作過程能不斷地延續下去,並且所有由這構作方法得到的集合能構成一個集合,這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理(如並集公理)已經建立。
1 s, r* k! l2 n7 `( Y. s- |1 jtvb now,tvbnow,bttvb: K& q9 x3 c; @
〔注:無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕
8 B  z/ u. C! D, L! ]TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。
, m2 ]1 u: z, M0 b& ^tvb now,tvbnow,bttvb跟覑我們便可應用以下的定理來定義關於自然數的加法。 tvb now,tvbnow,bttvb( V1 U; X6 b1 I- Z) e! v! o

% f5 A# T9 E3 x4 x定理:命"|N"表示由所有自然數構成的集合,那麼我們可以唯一地定義映射A:|Nx|N→|N,使得它滿足以下的條件:
- Q" N# I* _& _5 U% C9 Xtvb now,tvbnow,bttvb(1)對於|N中任意的元素x,我們有A(x,0) = x ; TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。1 N, ]4 m$ D+ b
(2)對於|N中任意的元素x和y,我們有A(x,y*) = A(x,y)*。 公仔箱論壇; v2 X3 t$ G" C/ R8 v
8 b2 \; W  ^& |/ _
映射A就是我們用來定義加法的映射,我們可以把以上的條件重寫如下: TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。( R, }6 R3 O$ Z' [' O+ f
(1) x+0 = x ;(2) x+y* = (x+y)*。
; O- l: O3 d- E( W* }: F/ {" p& |2 i5.39.217.77:8898tvb now,tvbnow,bttvb; |1 U5 K" `& U* o& D3 `5 _
現在,我們可以証明"1+1 = 2" 如下:
, C5 Q8 O0 ^* _& eTVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。1+1 5.39.217.77:8898) p8 O) g7 M- L6 a
= 1+0* (因為 1:= 0*) 公仔箱論壇7 ~7 M- N! Q* v" Z+ `& x4 X: f
= (1+0)* (根據條件(2))
2 n8 y' y0 D- F/ N. h= 1* (根據條件(1)) 5.39.217.77:88983 ?5 ?8 }9 X2 o7 S- m, W
= 2 (因為 2:= 1*) 5.39.217.77:8898: Z3 o1 b; P+ ?& W) s
TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。1 k# q* g/ a! N
〔注:嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的,在此不贅。] TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。+ P# G5 h, ]' D7 I, |8 q8 R
5.39.217.77:8898" R( v2 L  t* D
1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後,人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。
- n6 \  h  i% ]* k9 `. ]TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。我們可以這樣証明"1+1 = 2":
( D$ V2 n8 V( a/ J& T 首先,可以推知: * y* ^; Y4 c" ~3 z
αε1<=> (Σx)(α={x}) 5.39.217.77:8898+ m+ V8 M4 b; d" ], v
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y)) TVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。: ?- l' N) b, M9 m- D- u% |
ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y))
8 ?& ~: k$ X. F7 ^1 |: h& e所以對於任意的集合γ,我們有
: q$ }: L5 G9 [: y/ Q! o& XTVBNOW 含有熱門話題,最新最快電視,軟體,遊戲,電影,動漫及日常生活及興趣交流等資訊。 γε1+1 / R, y+ `/ D2 ^9 e- `8 I
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y))
/ T3 l! N& x! [2 D& O. Y3 F/ D4 x<=>(Σx)(Σy)(γ={x,y}.&.~(x=y))
# E7 A- u9 I; |! R0 x9 o& B<=> γε2
6 O4 ^+ C  R7 N% T& K根據集合論的外延公理(Axiom of Extension),我們得到1+1 = 2。]
謝謝分享!
Wow!!Even tho. i don't get it at all but still need to thank you for explain to us
wa , add math , logic all come out :019:
8 V3 d9 O" B  a; i8 L公仔箱論壇thank nice info !!!
thx for sharing
thanks for sharing....
好像很复杂!?
好難......我無腦!
原來還有推導
waw...very hard...
very difficult...
confuse... :019:
还是不知道比较好!!!:onion05: :onion05:
thanks for sharing
too bad, i didn't know Axiom of Extension theory
返回列表