相关文档

复旦大学:《数理逻辑》课程教学资源(讲义)第9章 哥德尔第一不完全性定理、第10章 哥德尔第二不完全性定理

第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性,不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句
团购合买资源类别:文库,文档格式:PDF,文档页数:46,文件大小:532.34KB
点击进入文档下载页(PDF格式)