《哥德尔不完备性定理》-课件设计（公开).ppt

序 The Hilbert Challenge 連續統假設 算術公理之完備性 歐氏體積之定義 直線與最短距離 李群 物理之公理化 某些數的超越姓 黎曼猜想與哥德巴赫猜想 一般形式的互反律 丟番圖方程 任意二次形式 克羅內克的青春之夢 圖算法 不變量的有限性 舒伯特的計數演算 曲線的拓樸 ; 邊界圈的個數 平方和的函數 多面體的全等, 基本域與裝球問題 偏微分方程的正則性 變分法與邊界條件 黎曼 – 希爾伯特問題 單值化定理 變分法中的新方法 何謂公理 就最初淺的意義而言，公理是指一些“我們先 決接受為真”的東西，用以作為我們討論一門 科學的起點． Ｅｘ１　 　對於物理學而言，“能量守恆”是一條公理 Ｅｘ２ 　對於歐氏幾何而言，“平行線永不相交”是 　一條公理 公理應該要是互相獨立的 由於公理可以說是一系列存而不證的假設，所 以我們希望公理是越少越好． 而若是有一條公理，它能夠由其他的公理所推 出來，那這條公理就是多餘的． 因此，公理之間應該是互相獨立的，也就是說， 你不能由其中若干條推出另一條出來 公理系統應該要是完備的 作為一門科學的基礎，一套公理應該要容許我 們能夠對這門科學下的每條命題加以判別為真 或為假． 因此，一個公理系統應該是完備的，應該能夠 對系統下的每條命題加以證明或否證．也就是 說，不應該容許不可判定命題的出現，例如： 請注意以下兩者的差別： 希爾伯特想知道說，我們的數學體系究竟是 不是完備的？是否在數學中，存在有不可判 定命題？ 他認為數學體系是完備的，並嘗試去證明． 他的想法是，幾何可以用座標體系一一對應 到數域上，而整個數域又以算術：整數和加 減乘除為基礎，因此，只要證明算術系統是 完備的，就能證明整個數學體系是完備的． 第二問題　算術公理的完備性 證明皮亞諾算術公理系統是完備的，進 而證明整個數學系統是完備的 就算是完備的又如何？ 在自然數集合大小與實數集合大小之間， 沒有其他的集合大小 什麼是集合的大小？ Ｅｘ．　自然數和偶數是一樣多的 Ｅｘ．　正有理數和自然數是一樣多的 Ｅｘ．(0,1)實數和自然數是不一樣多的 如果第二問題成立，則當我們要證明在自然 數集合大小與實數集合大小之間，沒有其他 的集合大小時，只要先在公理中多假設有第 三種大小的存在，然後推出一個不可判定命 題便能證明 哥德爾第一不完備性定理 皮亞諾公理系統是不完備的，也就是說， 在算術系統中，我們總是能夠找到一個不 可判定命題 證明思路 為了限制符號的數量，將算術系統轉換為量化邏輯的公理系統 討論在這樣的系統中，什麼樣的命題是可以確實被寫出來的　（可表達性定理） 將所有可以被寫出來的命題與證明編號，並藉此提供一個判別某證明Ａ是否為一個命題Ｂ的一個證明的方法 藉由2,3, 實際寫出句子：“本命題不可被證明”藉此證明不完全性定理 介紹流程 淺介量化邏輯 將算術系統表成量化邏輯 介紹可表達性定理的數個特例 將系統下的所有證明編號並給出一個判別證明的方法 利用3,4 寫出“這個命題不可被證明”這一個句子，藉此證明哥德爾第一不完備性定理 壹 名詞 命題：可以判別真假的句子 邏輯符號 ～　　非　　　　　Ｅｘ．　～Ｐ Λ　　且　　　　　Ｅｘ．　ＰΛＱ Ｖ　　或　　　　　Ｅｘ．　ＰＶＱ ?　　蘊含　　　　Ｅｘ．　Ｐ?Ｑ 　　　對於所有 Ｅｘ．　　 　　　存在　　　　Ｅｘ．　 　　 真值表 命題的真假 Ｅｘ．　命題：　　Ａ　Ｖ　～　Ａ 簡化符號 量化邏輯下的論證 原論證：若ｎ是整數且ｎ不可被２整除，則 　　　　ｎ是奇數 前提１　ｎ是整數　　　　?　Ａ 前提２　ｎ不可被２整除　?　Ｂ 結論　　ｎ是奇數　　　　?　Ｃ 因此原論證可表為： 　　　　　１．Ａ 　　　　　２．Ｂ　／∴Ｃ 量化邏輯下的證明 將數學證明轉為邏輯證明的例子 量化邏輯下的公理系 貳 皮亞諾的五條算術公理 ０是一個非負整數 每個非負整數ｎ，都有不同於ｎ的後繼元素ｎ‘ 不存在非負整數ｎ，使得ｎ‘為０ 對於任意非負整數ｍ和ｎ，如果ｍ‘＝ｎ’，那麼ｍ＝ｎ 對於任何含有０的非負整數集合Ｓ，如果對任意的ｎ屬於Ｓ，都有ｎ‘屬於Ｓ，那麼Ｓ含有所有的非負整數 上述五條公理確立了非負整數集. 關係符號：＝ “＝”這個符號蘊含著兩個公理： ｘ＝ｘ ｔｋ＝ｘ 　?ｆ（ｔ１，ｔ２．．ｔｋ．．，ｔｎ） 　＝ｆ（ｔ１，ｔ２．．ｘ．．，ｔｎ） 　其中ｆ是任意函數或關係 以上兩條相等公理確立了　＝　的性質 將皮亞諾公設表成量化邏輯 ０是一個非負整數　　　 ?　個體常元　０ 每個自然數ｎ，都有不同於ｎ的後繼ｎ‘ ?　函數　ｘ‘ 不存在非負整數ｎ，使得ｎ‘為０ ?　公理： 對於任意非負整數ｍ和ｎ，如果ｍ‘＝ｎ’，那麼 ｍ＝ｎ ? 對於任何含有０的非負整數集合Ｓ，如果對任意 的ｎ屬於Ｓ，都有ｎ‘屬於Ｓ