戈德尔不完备定理董世平中原大学应用数学系-FLOLAC2018‘逻辑.pptVIP

戈德爾不完備定理董世平中原大學應用數學系 二十世紀數理邏輯之重大成果 二十世紀數理邏輯之重大成果 * 上世紀末19011903190419301931 Georg Cantor(1845-1919)David Hilbert(1862-1943)Berfrand Russell(1872-1970)Ernst Zermelo(1871-1956)Kurt G?del(1907-1978)Kurt G?del : (1)有理數可數 (N0) (2)實數不可數 (C ) (3)無窮數無窮 (4)超越數不可數: 23個問題(第二屆世界數學家會議) #1. 連續假設 C = N1  #2. 算數公設之一致性(Hilbert Program) #10. 不定方程式之演算法: 羅素詭論 : 選擇公設 : 述詞邏輯完備 : 不完備定理 193619391963196619701971 Alan Turing(1912-1954)Alonzo Church(1903-1995)Kurt G?del Paul J. CohenAbraham Robinson( ? -1974)Juri Matijasevich