




已阅读5页,还剩26页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
戈德爾不完備定理 董世平 中原大學應用數學系,2,二十世紀數理邏輯之重大成果,上世紀末 1901 1903 1904 1930 1931,Georg Cantor (1845-1919) David Hilbert (1862-1943) Berfrand Russell (1872-1970) Ernst Zermelo (1871-1956) Kurt Gdel (1907-1978) Kurt Gdel,: (1)有理數可數 (N0) (2)實數不可數 (C ) (3)無窮數無窮 (4)超越數不可數 : 23個問題(第二屆世界數學家會議) #1. 連續假設 C = N1 #2. 算數公設之一致性(Hilbert Program) #10. 不定方程式之演算法 : 羅素詭論 : 選擇公設 : 述詞邏輯完備 : 不完備定理,3,二十世紀數理邏輯之重大成果,1936 1939 1963 1966 1970 1971,Alan Turing (1912-1954) Alonzo Church (1903-1995) Kurt Gdel Paul J. Cohen Abraham Robinson ( ? -1974) Juri Matijasevich Stephen Cook,: 涂林機(全備計算機) : 邱池論(定義計算) : 連續假設與選擇公設之一致性 : 連續假設與選擇公設之獨立性 : 非標準分析 : 不定方程式不可決定 : NP-完備性 P=NP?,4,On January 14, 1978, Kurt Gdel died in Princeton in his seventy-first year. There are those who believe that he was the most brilliant mind of the twentieth century. When Harvard University gave him an honorary degree*, the citation described him as “discoverer of the most significant mathematical truth of this century, incomprehensible to laymen, revolutionary for philosophers and logicians.”,* 1952,5,It is with this analysis, and its impact on the minds of such men as John von Neumann and others, that the theoretical concepts and the analysis of the digital computer in the modern sense began. It remains true to this very day that the theoretical description of what can be computed in general and its more penetrating analysis are rooted in the soil of mathematical logic which Gdel turned over for the first time in his memoir of 1931.,6,The great abstract logical work of Gdel had a striking outcome. In analyzing the forma; machinery of Gdels description of what could be obtained by step-by-step procedures, the brilliant young English logician Alan Turing identified the results of such procedures-the general recursive functions-with the outcomes of what could be computed on a machine in general.,7,8,第一不完備定理 任何一個足夠強的一致公設系統,必定是不完備的。 即除非這個系統很簡單(所以能敘述的不多),或是包含矛盾的,否則必有一真的敘述。 第二不完備定理 任何一個足夠強的一致公設系統,必無法證明本身的一致性 所以除非這個系統很簡單,否則你若在此系統,證明了本身的一致性, 反而已顯出它是不一致的。,9,10,11,12,? 真 可證明 真 可證明 一致性 真 可證明 完備性,13,Rucker, Infinity and the Mind,14,15,16,17,18,19,20,21,22,A:B這句話是真的 B:A這句話是假的 這句話是假的 這句話不能被證明,23,24,The Goodstein sequence on a number m, notated G(m), is defined as follows: 1. the first element of the sequence is m. 2. write m in hereditary base 2 notation, change all the 2s to 3s, and then subtract 1. This is the second element of G(m). 3. write the previous number in hereditary base 3 notation, change all 3s to 4s, and subtract 1 again. 4. continue until the result is zero, at which point the sequence terminates.,25,Elements of G(4) continue to increase for a while, but at base 3 2402653209, they reach the maximum of 3 2402653210 1, stay there for the next 3 2402653209 steps, and then begin their first and final descent. The value 0 is reached at base 3 2402653211 1,26,27,28,Halting Problem is uncomputable. There is no program can tell semantic error
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 广西贵港市港南中学三文科班2025年物理高二下期末预测试题含解析
- 浙江省公立寄宿学校2025年物理高一第二学期期末经典模拟试题含解析
- 2025年广西南宁市金伦中学、华侨、新桥、罗圩中学物理高二下期末复习检测模拟试题含解析
- 2025届山东省济宁市鱼台一中物理高二第二学期期末检测试题含解析
- 2025届江苏省江阴市暨阳中学高二物理第二学期期末综合测试试题含解析
- 二零二五年度高科技电子产品代理购销合同协议书
- 二零二五年度牛老师个性化技术服务合同下载平台
- 2025版XX个人住房装修贷款合同模板
- 2025版标准仓储物流合同范本
- 二零二五年OEM光伏产品委托制造及安装服务合同
- 甲状腺癌护理疑难病例讨论
- 光伏发电工程可行性研究报告编制办法(试行)-GD-003-2025
- 2025年度苗木种植与乡村振兴战略合作合同4篇
- 新能源车辆充电桩建设和运营合同
- 人教版初中九年级全册英语单词表(完整版)
- 2024自身免疫性肝炎诊断和治疗指南解读
- 2025年极兔速递有限公司招聘笔试参考题库含答案解析
- 《地方铁路运输企业安全生产标准化建设规范》
- 截瘫患者的并发症及护理
- 《大模型原理与技术》全套教学课件
- 民族宗教理论政策知识竞赛考试题及答案
评论
0/150
提交评论