算术公理之完备性.PPTVIP

序 The Hilbert Challenge 連續統假設 算術公理之完備性 歐氏體積之定義 直線與最短距離 李群 物理之公理化 某些數的超越姓 黎曼猜想與哥德巴赫猜想 一般形式的互反律 丟番圖方程 任意二次形式 克羅內克的青春之夢 圖算法 不變量的有限性 舒伯特的計數演算 曲線的拓樸 ; 邊界圈的個數 平方和的函數 多面體的全等, 基本域與裝球問題 偏微分方程的正則性 變分法與邊界條件 黎曼 – 希爾伯特問題 單值化定理 變分法中的新方法 何謂公理 就最初淺的意義而言，公理是指一些“我們先 決接受為真”的東西，用以作為我們討論一門 科學的起點． Ｅｘ１　 　對於物理學而言，“能量守恆”是一條公理 Ｅｘ２ 　對於歐氏幾何而言，“平行線永不相交”是 　一條公理 公理應該要是互相獨立的 由於公理可以說是一系列存而不證的假設，所 以我們希望公理是越少越好． 而若是有一條公理，它能夠由其他的公理所推 出來，那這條公理就是多餘的． 因此，公理之間應該是互相獨立的，也就是說， 你不能由其中若干條推出另一條出來 公理系統應該要是完備的 作為一門科學的基礎，一套公理應該要容許我 們能夠對這門科學下的每條命題加以判別為真 或為假． 因此，一個公理系統應該是完備的，應該能夠 對系統下的每條命題加以證明或否證．也就是 說，不應該容許不可判定命題的出現，例如： 請注意以下兩者的差別： 希爾伯特想知道說