[爆卦]公理系統是什麼?優點缺點精華區懶人包

雖然這篇公理系統鄉民發文沒有被收入到精華區:在公理系統這個話題中,我們另外找到其它相關的精選爆讚文章

在 公理系統產品中有4篇Facebook貼文,粉絲數超過457的網紅C.C.M Math,也在其Facebook貼文中提到, 愚人節開開玩笑說個謊騙人,無傷大雅,如果你真不願意破戒,可以考慮邏輯學家的謊言說法「現在說的這句話是騙你的」。 ▎到底我有沒有說謊騙人呢? 這句話可以想的簡單一點「我正在說謊」,如果我說這句話的時候真的在說謊,那麼宣稱「我正在說謊」就是說實話;反過來,如果我說的是實話,那麼宣...

 同時也有1部Youtube影片,追蹤數超過3萬的網紅Shaun&Nick,也在其Youtube影片中提到,Cardinal是UW中由Administrator所建造的、儲存了UW相關的龐大數據和所有的系統命令的大圖書室的管理員。 殺死Admin未果,戰敗逃亡的Cardinal兩百年來一直躲藏於大圖書室中,等待着再次討伐Admin的機會。 與Admin在某種意義上是雙子姐妹的關係。 Cardinal原名...

公理系統 在 辣媽英文天后 林俐 Carol Instagram 的最佳解答

2021-07-06 05:58:15

哇!英數合鳴! 這週四晚上7:30~8:30 —> 李傑老師 @jackleemath 這週六晚上7:30~8:30 —> 俐媽 我們即將要舉辦國三升高一線上直播活動了, 內容精彩、抽獎獎項豐富, 歡迎大家來喔! 今天,送上北一學姊編整的「數學篇」,剛好是英+數合體的最佳表現! ——————...

公理系統 在 伊格|Egoyan Zheng Instagram 的最佳貼文

2021-02-03 19:28:21

2020諾貝爾物理獎,啟發了霍金的Roger Penrose。 圖示是Penrose staircase,潘洛斯階梯,一種現實中無法出現的形狀。 電影《全面啟動》中,李奧那多皮卡丘(Cobb)就是用這件事舉例引誘建築系學生Ellen Page加入他的犯罪計畫── 「你可以創造現實世界中不存在的形狀」...

公理系統 在 伊格|Egoyan Zheng Instagram 的最讚貼文

2021-02-03 19:28:21

2020諾貝爾物理獎,Roger Penrose。圖示是Penrose staircase,現實中無法出現的形狀。⁣ 電影《全面啟動》中,李奧那多皮卡丘(Cobb)就是用這件事舉例引誘建築系學生Ellen Page加入他的犯罪計畫──「你可以創造現實世界中不存在的形狀」。⁣ 2010年出版的《噬夢人...

  • 公理系統 在 C.C.M Math Facebook 的最佳解答

    2019-03-31 22:35:22
    有 4 人按讚


    愚人節開開玩笑說個謊騙人,無傷大雅,如果你真不願意破戒,可以考慮邏輯學家的謊言說法「現在說的這句話是騙你的」。
      
    ▎到底我有沒有說謊騙人呢?
      
    這句話可以想的簡單一點「我正在說謊」,如果我說這句話的時候真的在說謊,那麼宣稱「我正在說謊」就是說實話;反過來,如果我說的是實話,那麼宣稱「我正在說謊」就是個謊言。
      
    ▎結論是,類似「此命題是錯的」形式的話你不能說它對,也不能說它不對。這就是著名的說謊者悖論。
      
    #愚人節快樂
    #更多數學請往下
      
    著名數學家 #大衛希爾伯特 (David Hilbert) 曾經夢想一個完美的數學國度,認為全部數學的相容性可以歸結為基本算術的相容性。白話就是說,經過某種程度的轉換,複雜系統中的命題也都可透過簡單體系中的手段來證明。
      
    這個夢被 #庫爾特哥德爾 (Kurt Friedrich Gödel) 給粉碎了。
    哥德爾 #不完備定理 指出[數學公理系統存在自身固有的侷限性],其中為了提出第一不完備定理的證明,哥德爾採取的巧妙把戲就是在形式公理系統中構造一個類似說謊者悖論的命題 P =「此命題是不可證明的」。
      
    簡單說就是,如果公理系統有相容性,哥德爾可證明 P 不能在系統內被證明,因此,P 就是一道無法被證明的真命題,這就指出系統存在天生必然的侷限。值得一提的是,哥德爾的不完備定理的重要性,並非是製造類似說謊者悖論這種[不可證真也不可證偽]的語句(這種命題很多),關鍵之處是他製造的不可證明之命題是真的[即含義為真]。讀者若有興趣深究下去,會發現許多本質上更深刻的理論。
      
    數理邏輯一般人看起來像是邏輯學家在玩文字遊戲,感覺沒有什麼應用(?)其實不然,姑且不說不完備定理在數學根本上的重要性,在 2004 年有學者*指出量子物理中著名且重要的基礎理論<海森堡不確定性原理>和<不完備定理>之間的關係。在資訊科學領域中,著名的停機問題 (Halting problem) 也是不完備定理的一種表現。
      
    *Cristian S. Calude, Algorithmic Randomness, Quantum Physics, and Incompleteness, 2004.

  • 公理系統 在 沃草 Watchout Facebook 的精選貼文

    2018-10-01 21:06:51
    有 123 人按讚


    你也聽說「黎曼猜想」被證明了嗎?那是什麼?
    這一期的 #康德散步 為草民獻上白話文的黎曼猜想。

    【#康德散步】
     
    數學界在這周有一個重要消息,傳說英國數學家麥可.阿蒂亞(Michael Atiyah)爵士已經證明「黎曼猜想」。這則消息要怎麼理解?為什麼重要?
     
    首先,什麼是「猜想」?一個數學猜想,代表一個「可能是定理,但是我們還沒辦法證明」的東西。整個數學系統,是一種經過超嚴格邏輯、步步堆砌起來的偉大系統(「公理系統」),一個沒辦法「數學地證明」的東西,即便看起來超像是對的(黎曼猜想在超過 200 億個案例下都正確),我們還是不能說這是一個數學定理,所以不能放到數學系統裡頭。
     
    所以說,證明對於數學來說非常重要。在數學史中,有很多領先時代的數學家提出過猜想,而黎曼猜想是其中最重要的之一。黎曼猜想的證明已經困擾了聰明絕頂的數學家超過 150 年,被認為是當前的數學七大難題之一,並且,有許多「定理」都在等待黎曼猜想被證明,才能被證明。
     
    其次,黎曼猜想的內容是什麼?這問題很複雜,而且已經有很多文章試圖解釋這件事,今天的康德散步,在這裡想給一個白話說明。
     
    我們所要知道的只有:什麼是黎曼 ζ(zeta)函數?(雖然可能還是有點難懂。)
     
    對於了解數學記號的人來說,黎曼 ζ 函數的形式並不困難(http://bit.ly/2zyFBeE)。如果你覺得困難也沒關係,在這裡我們只要知道,這是一個從複數對應到複數的函數。
     
    什麼是函數?函數像是一個彈珠台,你把一個彈珠從某處放進去,它會從某處掉(對應)出來。
     
    複數是二維的東西(一個維度是實數 R 、一個維度是虛數 iR),可以想成一個平面,請點開參考圖 http://bit.ly/2R5ciGW ,這裡有兩個平面,左邊是準備要放進函數的,右邊是放進去後對應到的:
    你把左圖一個點丟到這函數裡面,會得出一個右圖的點。你把左圖的直線丟進去,會得到右圖彎彎的線(有發現這些線都是垂直的嗎?)。
     
    黎曼猜想關心的是:黎曼 ζ 函數在什麼時候會為 0 (右圖的原點)?也就是說,零點在哪?
     
    有一種零點不是很重要,被叫作平凡零點( -2 、 -4 等負偶數)。黎曼猜想關心的是不平凡的零點,「非平凡零點」。事實上,黎曼 ζ 函數的非平凡零點不太好找。
     
    雖然說這些零點不太好找,但黎曼觀察了一下零點的分佈後,他認為:所有的非平凡零點的實數部份(左圖中的點的 x 座標)都會是 1/2 ,也就是說,這些非平凡零點都分佈在一條直線(左圖的 x=1/2)上。這就是黎曼猜想。
     
    阿蒂亞爵士真的證明了黎曼猜想嗎?讓我們繼續看下去。
     
    *圖片來源:Urban Maths: Picturing the Zeta Function http://bit.ly/2OfZajJ
     
    ▌烙哲學
    ◎ 作畫:沃草
    ◎ 來烙哲學聊天室一起抬槓: http://citizenedu.tw/

  • 公理系統 在 余海峯 David . 物理喵 phycat Facebook 的最佳貼文

    2015-07-13 01:32:20
    有 18 人按讚


    【科學家名句系列】

    歐幾里得:「幾何學並沒有皇家通道。」

    "There is no royal road to geometry." - Euclid

    歐幾里得是古希臘數學家,被後世稱為幾何學之父。他寫的《幾何原本》是史上第一本使用少量不證自明的公理、系統地證明幾何定理的教科書。不少著名科學家包括愛因斯坦,都曾受這著作的啟發。據說埃及托勒密王朝創建者托勒密一世曾向歐幾里得學習幾何學,他問歐幾里得「有沒有學習幾何學的捷徑?」上述引言就是歐幾里得的回答,體現了學習的精神:學問之中,並沒有不勞而獲。

    圖片來源:
    Wikimedia Commons (Public Domain)

    =======================================
    余海峯 David | 物理喵 phycat

    Blog: phycat.wordpress.com
    Instagram: instagram.com/phycat
    YouTube: youtube.com/user/sptfung
    Facebook: facebook.com/davidyu.phycat

  • 公理系統 在 Shaun&Nick Youtube 的最佳解答

    2020-04-20 01:18:37

    Cardinal是UW中由Administrator所建造的、儲存了UW相關的龐大數據和所有的系統命令的大圖書室的管理員。
    殺死Admin未果,戰敗逃亡的Cardinal兩百年來一直躲藏於大圖書室中,等待着再次討伐Admin的機會。
    與Admin在某種意義上是雙子姐妹的關係。

    Cardinal原名莉瑟莉絲,出生於央都聖托利亞中一名家具製造師的家庭,是公理教會的見習修女。
    莉潔莉絲剛過十歲時,Administrator命人將其帶到大教堂最上層的房間裡,將自己搖光中的思考領域和重要的記憶,覆寫到莉潔莉絲的搖光之上。 但由於搖光的崩壞,寄宿在其身體中的Cardinal副程序取得了身體的控制權。但Cardinal在試圖消滅Admin的戰鬥中戰敗,被迫躲入大圖書室中。此後的兩百年中Cardinal一直在等待反擊的機會,並將使魔派遣到UW各地尋找能夠幫助自己的人。

    Cardinal有一隻蜘蛛使魔,名字叫夏洛特。其依照Cardinal的命令作為觀察者待在桐人與尤吉歐身邊兩年最後在桐人與Admin戰鬥的時候為了幫助尤吉歐完成目的被Admin的劍之巨人殺死。
    桐人與尤吉歐因違反禁忌目錄而被關入公理教會的監獄後試圖越獄,在逃脫過程中被Cardinal救到大圖書室中。Cardinal將武裝完全支配術教給桐人和尤吉歐,兩人也答應幫助Cardinal擊敗Admin。
    但Cardinal最終在與Admin的對決中為了保全桐人一行三人被Admin殺死。

    #SAO #刀劍神域 #卡迪娜爾

你可能也想看看

搜尋相關網站