Re: [實況] 奧術神座

[rogerli ()]

哥德爾不完備性定理，簡單說就是：
一個包含算術運算的公理系統，不可能既一致又完備。

一致說的是，構成這個系統的所有公理不會造成邏輯矛盾。
完備的意思是，在體系內的所有命題，都可以證明或證偽。

根據不完備性定理，無論我們怎麼建構公理，
總是會有一些命題無法確定是否成立？
這種無法確定是由算術運算的性質造成的，
是公理系統內在的限制，和人類的數學能力無關。
最有名的例子就是集合論的 ZFC體系下的"連續統假設"。

當初定理發表後，在數學界造成很大的風波；
因為這個定理證明了：沒有完美的數學公理系統。

目前看來，路西恩的世界還沒出現康托集合論，
所以離不完備性定理還有點遠。
他和風暴主宰應該是要做黑體輻射吧？

把集合論構造出來也很棒，接著就可以討論羅素悖論；
然後驚奇地發現，原來把所有集合聚在一起，
不是集合，也就是說宇集合不存在！

同樣的邏輯可以證明，神不是全能的！
或者說，全能的不會是神。
（全能的神能不能造出一塊他也舉不起來的石頭？）

教會裡面會不會有人爆頭呢？
讓我們繼續看下去。

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 210.61.41.42
→ shrek0665:工學院學生表示沒聽過...
推 going80:長知識
※ 編輯: rogerli         來自: 210.61.41.42         (08/21 08:07)
→ rogerli:工學院能把工數練好就很不錯了,頂多加上物數吧。
※ 編輯: rogerli         來自: 210.61.41.42         (08/21 09:31)
推 a020234043:每個字都看的懂 可是合起來看不懂
→ fewhy:我覺得不可能會寫到這樣子 因為奧術神座一直沒有這麼深
→ rogerli:不過一旦扯到量子理論,那群論和衍生出來的對稱就跑不掉了
→ rogerli:而且,都在練習吉米多維奇了,那測度論似乎也不算遠;而要
→ rogerli:研究測度論,基本的集合論也跑不掉啊！
→ Odyseus:這樣下去是教會先爆頭還是我會先爆頭呢？文組生好哀傷
→ iscu:工學院飄過.....
→ light4855:完全看不懂就不會被爆頭啦～
推 st9061204:連看個小說都要被爆頭，文組生哭哭。
推 MadDevil:這部分我不懂...但是很期待星象系魔法的故事會拿啥來用
推 Bread7923:管理學院爆頭+1
→ Bread7923:不對 我從來就不知道這些東西 不用爆頭了 哈哈哈哈哈
推 w76301:商學院飄過~  爆頭+1
→ w76301:被難到爆頭阿QAQ
→ rogerli:看到中午這章，原來克洛伊是波茲曼啊。
推 NoraXD:理學院飄過...這什麼...
推 midnightsnow:設計學院飄過....爆頭
推 charles226:法學院爆頭+1
推 lordguyboy:醫學院爆頭+1
推 nanako81240:爆頭+1
推 sonone      : 商學院無感