→ caseypie:需要公設跟哲學的一環沒有關連 02/24 08:02
→ remmurds:樓上哩工蝦 02/24 08:30
→ tomnelson:他的意思是說,哲學不用公設這種東西,與其是脫勾的,所以 02/24 14:45
→ tomnelson:兩個根本沒有關聯. 02/24 14:45
推 Pietro:嗯嗯我也是這麼想的(? 02/24 16:05
要證明1+1=2
先瞭解一下Peano公設,
設N是一個非空集合,這個集合有
(i)N中的每一個元素n屬於N,都有唯一一個N中的元素與之對應,
這個對應的元素稱為後繼元素,記為n+.
(ii)N中有一個元素e屬於N,e不是N中任何元素的後繼元素.
(iii)後繼元素相同a+=b+,必可得a=b.
(iv)(歸納公理)設S是N的ㄧ個子集,e屬於S,如果n屬於S時必有n+屬於S,則S=N.
滿足上述條件的集合稱為自然數集合,而其中的元素稱為自然數.
而符號e定為1,e+定為2,(e+)+定為3......
f是一函數,N是peano公設的自然數集,f:NxN→N滿足
(i)對任意n屬於N,有f(n,e)=n+
(ii)對任意的n,m屬於N,有f(n,m+)=(f(n,m))+
上述條件的函數f,稱為加法.
這裡還可以再證明上述的函數f是存在且唯一,此處不是重點,我不再贅述.
1=e,2=e+
1+1=f(e,e)=e+=2
我這樣敘述你可以接納1+1=2的證明嗎?
1+1=2是架構在peano公設上,而peano公設架構在集合論上,
可是羅素詭論X={x|x不屬於X}推翻集合論的完備性(集合論存在矛盾).
換句話說,1+1=2不是真理.數學家不得不承認數學只是哲學下的ㄧ環.
而"神"這思維也是如此,必須接納某些公理,才能進行.
可是思維中ㄧ有假設性,你的思維已經不完備,不是真理.
但是換個角度想,也因為每個思維都不是真理,
反而讓每個思維在不同情況下,各有其不同的意義和價值,包含"神"也是.
我已經證明1+1=2,現在請come大證明"上帝的存在".
不過我在你證明前告訴你一件事,就是我認為"基督徒無能力證明上帝的存在".
哥德爾不完備定理第二定律:任何相容的形式體系不能用於證明它本身的相容性
換句話說,你要證明上帝的存在,
你不可以預設上帝已存在或拿聖經的內容來證明,否則內容是矛盾且荒唐的.
你只能建立另一有包含上帝的體系才能證明,
而這體系還參有與上帝不一致的思維(可能如其他神,無神等思維),
但是與上帝不一致的思維是基督徒所不能接納.
如果你還不願相信聖經內容也是哲學下的ㄧ環,
那請你證明"上帝的存在"給大家看看吧!
※ 引述《come (come come )》之銘言：
: 既然你想要我們證明上帝存在
: 其實我也很想證明給你看
: 但是我覺的你根本不懂真理是什麼
: 所以如果你先回答我的問題,能夠證明1+1＝2這個最簡單的部份
: 我就能證明上帝存在給你看
: 加油囉～
: ※ 引述《shiu1 (風雲再起)》之銘言：
: : 你只要有假設,你如何說你的思維是真理?
: : 再說"自有永有",佛教的空,道教的無,是不是自有永有?
: : 上帝與空無有何不同?你能提出解釋嗎?
: : 我認為你沒看懂文意.
: : 上帝比你大那麼多,你如何確定祂要照聖經做?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.38.236.252