不要小看這個公式，1+1=2登上科學界‘最偉大公式’之一。5.39.217.763 {- m9 Z9 ^& W" ?7 z1 k% n
有不少人都可能曾經問過"為何1+1=2？"這個看似多餘(!?)的問題。現在我嘗試向有興趣的網友簡單介紹一下怎樣在公理集合論的框架內証明"1+1=2& quot;這句對絕大多數人來說都"顛撲不破"的數學述句。首先，大家要知道在集合論的脈絡中我們討論的對象是各式各樣的集合（或類(class)，它們和集合的分別在此不贅），故此我們經常碰到的自然數在這裡也是以集合（或類）來定義。例如我們可用以下的方式界定0，1和2(eg.qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44)： tvb now,tvbnow,bttvb8 @* r$ X! J: X. q' D5 k
* l: \/ e% X" C5 e
0 := {x: x ={y: ~(y = y)}} ! P. [% p9 F8 r, {2 ]0 `TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。1 := {x: y(yεx.&.x\{y}ε0)} 2 l! B2 C) M6 D, t( _TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。2 := {x: y(yεx.&.x\{y}ε1)} tvb now,tvbnow,bttvb3 ?: p0 o/ {$ u0 A! t0 v- Q
tvb now,tvbnow,bttvb5 t8 v: l9 |2 p- e
7 O+ f; |% r: ? l3 D
〔比如說，如果我們從某個屬於１這個類的分子拿去一個元素的話，那麼該分子便會變成0的分子。換言之，１就是由所有只有一個元素的類組成的類。〕 3 J0 X9 {/ }4 J2 W" ` u公仔箱論壇7 M& J$ d- F# f" s8 O
現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如： ( S0 S k+ J |TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。. {1 f# {3 d$ M% d. ~/ v
0:= Λ, 1:= {Λ} = {0} =0∪{0}, * n. X0 c L7 ?4 {
2:= {Λ,{Λ}} = {0,1} = 1∪{1} " O0 U. B( {. S$ h& t( q3 s5 z8 A
8 a. i" h e7 a. N% S' ][Λ為空集] . P+ p/ X2 V- L, | G
5.39.217.763 t+ a0 T6 i7 C/ o
一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。 ; o/ b8 k& d& h8 l
公仔箱論壇! }# G4 @" v* W- t: P: U
在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。 # d; x# C9 |. W5 z- FTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。 : Y; l; c6 Z# p. ~1 F* wtvb now,tvbnow,bttvb〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕 ; z1 X4 S$ X2 s公仔箱論壇, d6 n M5 q/ @( I4 S+ h
跟覑我們便可應用以下的定理來定義關於自然數的加法。 & I0 }' `: G* S+ o; s$ n+ b/ S2 v & ~( y* k( i' l! {定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件： J% ^; U, C. z5 I" T4 e" Z公仔箱論壇(1)對於|N中任意的元素x，我們有A(x,0) = x ； E [& G+ p7 [# J' uTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。 " W- p F; h% b8 x9 w5.39.217.76 * x- v1 y5 }, p, q0 p映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下： . b1 _* L" K& m$ u5 Y; T0 C
(1) x+0 = x ；(2) x+y* = (x+y)*。 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。9 o, s, \: ]' o% }+ J2 {! Z7 X- `
$ N* C* M: x" g, ^" O, A
現在，我們可以証明"1+1 = 2" 如下： ) o5 d4 M: C; F: q k, H
1+1 " f! s6 x q. S8 h= 1+0* (因為 1:= 0*) $ }9 J" q4 V( s2 Z. q! P+ Jtvb now,tvbnow,bttvb= (1+0)* (根據條件(2)) ; {$ a: j# H# A" {0 t公仔箱論壇= 1* (根據條件(1)) 3 T5 ^5 C) X- a, p: f8 d% P
= 2 (因為 2:= 1*) 3 X+ j" Z% j/ w 2 p0 K9 X. p9 t ]5.39.217.76〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。] * p- s$ ?! D& F( f. {TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。 7 H0 }3 U. X# s* iTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。 5.39.217.76- t% i. C4 n" [8 D
我們可以這樣証明"1+1 = 2"： 3 p0 o! o& w* ^5 e' v" Q% Ptvb now,tvbnow,bttvb 首先，可以推知： tvb now,tvbnow,bttvb6 c# w+ [" {# r# z, a) N- _
αε１<=> (Σx)(α={x}) tvb now,tvbnow,bttvb+ K b+ `; h- P5 k
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y)) 4 M, |! b! X# @( d. X公仔箱論壇ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y)) 5.39.217.76' b1 Y0 G3 U( n
所以對於任意的集合γ，我們有 tvb now,tvbnow,bttvb$ e: e9 j/ D- N$ ~+ O) X5 @
γε1+1 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。4 {9 B0 J1 l6 y3 X9 [# C, {
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。; w5 F, l# P d
<=>(Σx)(Σy)(γ={x,y}.&.~(x=y)) 公仔箱論壇+ M( z( ~* J! E) Z k0 @5 v
<=> γε2 . l9 [2 |' b- \; n4 D9 u: G) Y# ^
根據集合論的外延公理(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 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。% x+ w- ?6 I5 l% W8 V
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
but still need to thank you for explain to us
