標題: [冷知識分享] 1+1=2 的正確解釋 [打印本頁]

---

作者: hyden    時間: 2007-11-16 12:58 AM     標題: 1+1=2 的正確解釋

不要小看這個公式，1+1=2登上科學界‘最偉大公式’之一。
" `) ]4 x/ |- zTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。有不少人都可能曾經問過"為何1+1=2？"這個看似多餘(!?)的問題。現在我嘗試向有興趣的網友簡單介紹一下怎樣在公理集合論的框架內証明"1+1=2& quot;這句對絕大多數人來說都"顛撲不破"的數學述句。首先，大家要知道在集合論的脈絡中我們討論的對象是各式各樣的集合（或類(class)，它們和集合的分別在此不贅），故此我們經常碰到的自然數在這裡也是以集合（或類）來定義。例如我們可用以下的方式界定0，1和2(eg.qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44)：
) F3 P6 k( S) T2 W: E7 @9 [! h; h: J: w2 T$ y
0 := {x: x ={y: ~(y = y)}} % F0 k5 D  G: @
1 := {x: y(yεx.&.x\{y}ε0)} TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。( a( K- h1 R; f: D
2 := {x: y(yεx.&.x\{y}ε1)} 公仔箱論壇# Y+ w; O5 V. u, P: x6 W6 U
TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。4 w1 L! }% b, S+ I
公仔箱論壇  E! X. b6 `. k; X3 [& Z' Q
〔比如說，如果我們從某個屬於１這個類的分子拿去一個元素的話，那麼該分子便會變成0的分子。換言之，１就是由所有只有一個元素的類組成的類。〕 tvb now,tvbnow,bttvb% ^3 q4 f2 T  ^' G! G+ u2 t

  e0 l# L/ I) t( T1 T. ^現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如：
3 n) E! F$ a8 L2 X- c7 Utvb now,tvbnow,bttvb5.39.217.76- O8 r$ ?- k1 ^$ z- f4 y% ^. |2 J
0:= Λ, 1:= {Λ} = {0} =0∪{0}, TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。0 @. J+ f$ G" U9 q  Y3 H
2:= {Λ,{Λ}} = {0,1} = 1∪{1} tvb now,tvbnow,bttvb* k& @2 f0 i: v) L
5.39.217.76) _1 U7 \1 ^3 F. E
[Λ為空集]
- C$ o$ B0 _) a  y8 ztvb now,tvbnow,bttvb
% Z% {  Q& ^, i/ k8 HTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。 5.39.217.760 E" W% t  `8 F; b2 Y
# b) R9 {! X, W  L( V; R
在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。 公仔箱論壇. i" _+ J0 e% g% R  r
  V% C& i+ D2 o' W6 [  h
〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕 5.39.217.76; j8 Z( P* K" I8 R+ u
tvb now,tvbnow,bttvb+ w4 Z' j0 B( G! N# d
跟覑我們便可應用以下的定理來定義關於自然數的加法。 5.39.217.769 y! \3 d% w: j3 m! s5 C

4 q# j& X2 C0 X: K0 S  ^5.39.217.76定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件：
, ~5 Q3 J# Y; h6 ^. j( i6 Z( W6 f( ]TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。(1)對於|N中任意的元素x，我們有A(x,0) = x ；
3 b# ?2 ~$ L8 r2 GTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。 5.39.217.76$ {/ H" y5 B4 P5 X. J
( S# ^$ ?0 `! k8 J' ~  `, B
映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下： * h9 `" l! C4 j+ J
(1) x+0 = x ；(2) x+y* = (x+y)*。 " @0 S2 D( T8 R3 X# Z# y0 X) f; X

# s5 z0 \' h- @) Z6 f4 q4 o2 D& c- ETVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。現在，我們可以証明"1+1 = 2" 如下：
4 P4 s2 K9 |1 x& \$ b. M! h+ ytvb now,tvbnow,bttvb1+1
) {& d  W# ~0 G8 C: \" Z5.39.217.76= 1+0* (因為 1:= 0*) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。; U1 _1 u# u: y8 d% m) A
= (1+0)* (根據條件(2)) 公仔箱論壇- r8 ~8 ^/ _" ^) W: S: ~
= 1* (根據條件(1))
- s% o- i0 ?( {* kTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。= 2 (因為 2:= 1*)
2 H  Q" o( ?$ ^# j4 k5 W7 S公仔箱論壇3 W4 o" U7 X; T# f
〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。] ( }+ J# y9 D0 S

- h3 o$ R4 f! G/ C1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。 3 n5 z+ W" \3 `7 `
我們可以這樣証明"1+1 = 2"： % c6 e" S8 o- _  y
　首先，可以推知： tvb now,tvbnow,bttvb5 J% D- W8 r& `0 y  |
αε１<=> (Σx)(α={x}) 5.39.217.76  i8 W/ C4 T' S# p; [- {
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。6 _1 P  \6 m0 s# d" x/ G9 l: J$ u
ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y))
! d, T. b, m. i% l; _, L9 U5.39.217.76所以對於任意的集合γ，我們有
: U2 r3 [; A3 @  }! `) _- B公仔箱論壇　γε1+1 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。: C- m  J1 H* @. k, _
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y))
- {' M8 ~: e1 L  Q+ NTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。<=>(Σx)(Σy)(γ={x,y}.&.~(x=y))
$ O+ {* n$ I: ?" I, {) p8 ETVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。<=> γε2
2 |: y4 g- O9 ]9 V: e1 }6 A& W5.39.217.76根據集合論的外延公理(Axiom of Extension)，我們得到1+1 = 2。]

---

作者: ~天穎~    時間: 2007-11-16 12:59 AM

謝謝分享!

---

作者: nd126    時間: 2007-11-16 02:20 AM

Wow!!Even tho. i don't get it at all but still need to thank you for explain to us

---

作者: smsl    時間: 2007-11-16 12:49 PM

wa , add math , logic all come out :019: TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。2 p) C4 \5 y* O% H( a
thank nice info !!!

---

作者: VuiLoong    時間: 2007-11-17 05:18 PM

thx for sharing

---

作者: meowmeow520    時間: 2007-11-18 08:10 PM

thanks for sharing....

---

作者: yaya1818    時間: 2007-11-29 03:49 PM

好像很复杂！？

---

作者: pk21    時間: 2008-4-23 12:24 AM

好難......我無腦!

---

作者: joriver    時間: 2008-4-24 09:40 AM

原來還有推導

---

作者: lova127    時間: 2008-4-26 01:08 AM

waw...very hard...

---

作者: sunnyxsonny    時間: 2008-5-3 12:08 PM

very difficult...

---

作者: mintymint77    時間: 2008-5-4 04:34 AM

confuse... :019:

---

作者: ffgodlikeff    時間: 2008-5-11 09:24 PM

还是不知道比较好!!!:onion05: :onion05:

---

作者: fkingu    時間: 2008-5-14 10:46 AM

thanks for sharing

---

作者: chungary919    時間: 2008-5-17 03:32 AM

too bad, i didn't know Axiom of Extension theory

---

作者: wendywoo    時間: 2008-5-18 09:40 AM

懂了...

---

作者: tvbsao    時間: 2008-5-20 03:12 AM

提示: 作者被禁止或刪除 內容自動屏蔽

---

作者: chuakeanfei    時間: 2008-5-22 04:45 PM

too bad, i didn't know Axiom of Extension theory.............................

---

作者: billow    時間: 2008-5-23 09:18 AM

好复杂，睇唔明阿

---

作者: mwk1234    時間: 2008-5-27 10:21 PM

!!!!!!!

---

作者: saury    時間: 2008-5-29 10:36 PM

雖然我不會。BUT沒那么簡單吧？:sleeps:

---

作者: rsxer    時間: 2008-5-30 05:23 AM

wow... u can keep it to yourself...

---

作者: ppoollkk    時間: 2008-5-31 07:09 PM

太牛了！！数学不行，先顶:019:

---

作者: lukyiwai    時間: 2008-5-31 07:46 PM

ppl like to make things difficolt and let other dont understand.....

---

作者: rono123    時間: 2008-6-5 02:09 AM     標題: 回復 #1 hyden 的帖子

what ... blur

---

作者: honvui    時間: 2008-6-5 05:47 PM

thank you

---

作者: stanley    時間: 2008-6-6 11:35 PM

thanks 4 sharing

---

歡迎光臨 公仔箱論壇 (http://5.39.217.76/)

Powered by Discuz! 7.0.0