可计算性：希尔伯特，哥德尔，图灵 / 开普饭

一.乐观的理性主义对理性主义者来说,十九世纪末至二十世纪初无疑是一段令人怀念的美妙时光.人们相信,无论是以经典力学.电磁学和热力学为代表的物理学或是以<德国民法典>为代表的大陆法系都已接 ...

为什么自亚里士多德以来的25个世纪里,直觉没有得到像逻辑那样多的关注?直觉是难以捉摸的,难以定义和量化,有时还具有欺骗性.事实上,甚至还有不同种类的直觉.亚里士多德认为,直觉是照亮黑暗的灯塔.然而,在 ...

一个有纸.笔.橡皮擦并且坚持行为准则的人,实质上就是一台图灵机.--图灵图灵停机问题通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题.该问题等价于:是否存在一个程序P(X ...

7 月 28 日~7 月 30 日,Responsible 数据峰会 2020 即将召开!本次会议将展示最新技术,给予不同声音公开坦率对话以及加入行动号召的机会,甚至可能是建立一个负责任的数据管理新运 ...

编译 | 吴彤编辑 | 陈大鑫作为科技界"公正处"的编外人员,Jürgen Schmidhuber(约尔根·施密杜伯)常年以个人博客为主阵地,对科技界新闻躬身评审,撰写了超过3 ...

库尔特·哥德尔的不完全性定理与物理学之间的精确关系是物理学家和哲学家经常讨论的问题. 这里有一个例子,它可以被认为是哥德尔的第一个不完备定理和(量子)物理学之间的一个非常紧密的联系: 我们展示了哥德尔 ...

加拿大数学家西蒙柯亨在他对哥德尔的致敬中回忆道: 在博士考试中,我被要求写出5个哥德尔定理.这个问题的实质是,每一个定理要么催生了一个新的分支,要么彻底改变了现代数学逻辑.证明理论.模型理论.递归理论 ...

作为20世纪数学理论最重要的成果之一,哥德尔不完备性定理被誉为数学和逻辑发展史中的里程碑.哥德尔定理的提出不仅具有数学意义,而且蕴含了深刻的哲学意义.历史上从来没有哪一个数学定理能够如它一样,对人类文 ...

10小时前撰文 | 姬扬来源 | 选自<现代物理知识>2020年第6期原标题:原著和中译本都登峰造极的科普神作--侯世达的<哥德尔.艾舍尔.巴赫:集异壁之大成> 大家经常 ...

本文为明德讲坛第13期<哥德尔定理与认知科学的局限>文字稿,扫描上方海报二维码查看讲坛回放. @朱锐今天的主题是"哥德尔定理与认知科学的局限",我们邀请了4位不同领域 ...

哥德尔理论计算机科学杰出论文奖由EATCS和ACM SIGACT联合主办.该奖项的设立是为了纪念库尔特·哥德尔(Kurt Gödel)在数理逻辑方面做出的重大贡献,因而以他的名字而命名.哥德尔在约翰· ...

可计算性：希尔伯特，哥德尔，图灵