YK Forum » 生活小知識 » 科學 » 1+1點解係=2


2007-7-31 02:11 PM `乜叉.
1+1點解係=2

1+1為什麼會等於2 大學會有證明 單單一個證明可以讓你抄到手軟
不要小看這個公式,1+1=2登上科學界‘最偉大公式’之一。
有不少人都可能曾經問過"為何1+1=2?"這個看似多餘(!?)的問題。現在我嘗試向有興趣的網友簡單介紹一下怎樣在公理集合論的框架內証明 "1+1=2" 這句對絕大多數人來說都"顛撲不破"的數學述句。首先,大家要知道在集合論的脈絡中我們討論的對象是各式各樣的集合(或類 (class),它們和集合的分別在此不贅),故此我們經常碰到的自然數在這裡也是以集合(或類)來定義。例如我們可用以下的方式界定0,1和2(eg. qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44):
0 := {x: x ={y: ~(y = y)}}
1 := {x: y(yεx.&.x\{y}ε0)}
2 := {x: y(yεx.&.x\{y}ε1)}
〔比如說,如果我們從某個屬於1這個類的分子拿去一個元素的話,那麼該分子便會變成0的分子。換言之,1就是由所有只有一個元素的類組成的類。〕
現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如:
0:= Λ, 1:= {Λ} = {0} =0∪{0},
2:= {Λ,{Λ}} = {0,1} = 1∪{1}
[Λ為空集]
一般來說,如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。
在一般的集合論公理系統中(如ZFC)中有一條公理保證這個構作過程能不斷地延續下去,並且所有由這構作方法得到的集合能構成一個集合,這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理(如並集公理)已經建立。
〔注:無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕 跟

2007-7-31 02:19 PM ShIrLeY
好似好複雜咁既.. -W-

2007-7-31 02:21 PM kukucat
一定係難= ='
睇左咁耐都唔明講咩.
科學真係太科學啦.....

2007-7-31 02:56 PM candy
好...長ar...= =

2007-7-31 03:37 PM 仁傑
等我教你地啦 ^^

:face006: + :face006: = :face006::face006:

  1   +  1   =      2

2007-7-31 03:52 PM w1ngYaN!`
仲之就係

1+1=2...

都唔會變...:L

2007-7-31 07:53 PM 麻知
真係睇左好多次都唔明.......:L

2007-7-31 09:24 PM candy
回覆 #5 仁傑 的帖子

壇主你好無聊呀...= =

2007-7-31 09:40 PM ShIrLeY
[quote][b]原帖由 [i]仁傑[/i] 於 2007-7-31 03:37 PM 發表。 [/b][url=http://forum.eyankit.com/viewthread.php?tid=5562&page=1#pid25982][img]http://forum.eyankit.com/images/common/back.gif[/img][/url]
等我教你地啦 ^^

:face006: + :face006: = :face006::face006:

  1   +  1   =      2 [/quote]
哈哈! 你好搞笑牙  :em32:

2007-8-2 11:55 AM 阿哲
我問大家這個!!
大家都說我白痴!!

2007-8-4 10:00 PM BennyChung
.....好無奈....1+1..

2007-8-22 02:37 PM 福耳魔D
不要小看這個公式,1+1=2登上科學界‘最偉大公式’之一。:L

2007-9-11 07:24 PM cy
[quote][b]原帖由 [i]仁傑[/i] 於 2007-7-31 03:37 PM 發表。 [/b][url=http://www.eyankit.com/forum/viewthread.php?tid=5562&page=1#pid25982][img]http://www.eyankit.com/forum/images/common/back.gif[/img][/url]
等我教你地啦 ^^

:face006: + :face006: = :face006::face006:

  1   +  1   =      2 [/quote]
你錯左啦
:'(+:'(=:'(:'(
1+1=11
7+7=77;P
7+0.7唔=7.7;P
7+0.7=70.7
7.7=7+.7:em47:

2007-9-11 07:26 PM cy
你好多ys{= =
唔係好想c

2007-9-16 01:31 AM 我係哈哈笑
好複雜牙,唔明牙

2007-12-25 02:12 PM money龜
[quote][b]原帖由 [i]cy[/i] 於 2007-9-11 07:24 PM 發表。 [/b][url=http://forum.eyankit.com/viewthread.php?tid=5562&page=1#pid35008][img]http://forum.eyankit.com/images/common/back.gif[/img][/url]

你錯左啦
:'(+:'(=:'(:'(
1+1=11
7+7=77;P
7+0.7唔=7.7;P
7+0.7=70.7
7.7=7+.7:em47: [/quote]


好串啊你XD"

2008-1-11 04:35 PM melane35
回覆 #15 我係哈哈笑 的帖子

你好無聊呀..

2008-1-11 05:04 PM ashleyemily
回覆 #1 敖犬~~ 的帖子

不用講得太白

2008-7-27 10:41 PM sunday
完全吾知講咩

2008-7-27 10:44 PM 某A
算吧la- -'''
以我地既智慧,
將1,2睇成符號...

:) ->咁係"1"
:)  :)  -> 咁係"2"

搞店,
唔洗咁複雜~~

2008-8-7 09:10 PM CK.KI
複雜得至, 費事體, I'm too lazy

2008-8-7 10:47 PM kelvinNg
呢個係大學研究既課題= =唔明係正常

2008-8-10 12:24 PM 燕~麥~片
我有d唔明呀:L :L :L

2008-8-14 06:12 PM kelvinNg
[quote][b]原帖由 [i]燕~麥~片[/i] 於 2008-8-10 12:24 PM 發表。 [/b][url=http://forum.eyankit.com/viewthread.php?tid=5562&page=2#pid227368][img]http://forum.eyankit.com/images/common/back.gif[/img][/url]
我有d唔明呀:L :L :L [/quote]
你得一d唔明!?
咁besides果d,你都明哂??:em32:

2008-8-16 11:54 AM 灰燼之蒼鬼
:em47: +:em47: =:em47:
(炸      死     左)

2008-10-4 09:34 AM ching520520
我睇左好耐都係唔明-____-

2008-10-15 08:49 PM 星`
唔明 = =

2008-10-30 09:04 PM Fish_Ling
........
好1個1+1=2

2008-10-30 09:05 PM `乜叉.
咁耐歷史嘅po嘅都仲有人回呀.

2008-10-30 09:07 PM `mR.H0
回覆 #29 `乜叉. 的帖子

d人積極嘛~~

頁: [1] 2 3
查看完整版本: 1+1點解係=2


Powered by Discuz! Archiver 5.0.0  © 2001-2006 Comsenz Inc.