构造性语义经典数学哥德尔定理-知识论与认知科学研究中心-厦门.ppt

下载文档 降价啦

3
0
约小于1千字
约 50页
2019-08-04 发布于天津
举报
版权申诉
保障服务

构造性语义经典数学哥德尔定理-知识论与认知科学研究中心-厦门.ppt

1、本文档共50页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

一种构造性的计算理论;通用计算——计算通用;将构造进行到底;回顾历史;康托尔对角线方法;罗素悖论;直觉主义;形式主义;哥德尔定理;图灵;形式主义成为主流;被忽视的维特根斯坦;归结到对角线方法;一些研究工作;构造性的计算理论;理发师悖论;矛盾的启发;逻辑的功能与局限;;对于理发师悖论的分析;;递归函数的例子;;;数字化：罗素悖论的对角线形式;递归函数形式;现有理论中的对角线方法;计算理论需要更严格的基础;一种构造性的计算理论;;对于“所有”的构造性理解;康托尔函数;对于“所有”的构造性理解;“相互追随，趋于无穷”;不停机不可以吗？;;小结;;附录：对角线引理;康托尔对角线方法;;对于对角线方法的分析;维氏的正对角线方法;;定义的不完整性;维氏对于其他悖论的统一分析;;对角线相关悖论的特点;结论;