发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
来自: kankan888 > 《教育》
0条评论
发表
请遵守用户 评论公约
如何通俗地解释停机问题(Halting Problem)?
他首先证明,图灵机就覆盖了所有的“机械过程”,如果存在一个问题,图灵机判定不了,那么就说明,不存在这种“通用的”过程,这样就证明了原问题。然后,图灵就设计了一个问题,确实是图灵机判定不了...
人类数学中的结界,永远无法跨越的障碍!—哥德尔不完备性定理!
—哥德尔不完备性定理!没错,在二十世纪前,数学一直都被认为是自洽的,没有矛盾的,可是在1931年后,这个认知就被一个定理打破了,它...
悖论边缘的世界图景:从哥德尔不完全性定理到非严格决定论
悖论边缘的世界图景:从哥德尔不完全性定理到非严格决定论 丁 利 上帝是存在的,因为数学是逻辑一致的;哥德尔定理是元数学——证明论的最重要成果...
人类真的能掌握宇宙真理吗:罗素悖论与哥德尔不完备性定理
人类真的能掌握宇宙真理吗:罗素悖论与哥德尔不完备性定理。但哥德尔的不完备性定理粉碎了希尔伯特的梦想,对此感到惊讶的不仅是希尔伯...
巅峰对话:哥德尔论图灵(连载一)
巅峰对话:哥德尔论图灵(连载一)心灵与机器:论可计算主义(一)王浩选自《逻辑之旅》第6章老蝉录入编辑转载请标示公号【拾柒年蝉】王浩(1921-1995),美籍华商数字家、辑学家、计算机科学家、哲学家...
算法系列教程02-从罗素悖论到图灵机
算法系列教程02-从罗素悖论到图灵机。这个问题就是著名的理发师悖论,是哲学家兼数学家的罗素用来比喻罗素悖论的一个通俗说法,也被叫作...
悖论不完备
悖论不完备。更为著名的自指悖论是理发师悖论,罗素在1901年为了比较形象地讲解罗素悖论而给出的一个比喻:小镇的理发师说:我只给,且...
GEB一条永恒的金带之
这种模棱两可性不仅表现在埃舍尔的画的怪圈上,也表现在其他形式怪圈的系统中。就在我们生活的这个世纪里,有一个影响深远、与之呼应的重大数学发现,这就是哥德尔在数学系统中发现了怪圈。只要证明,...
阅读与人生
(《未来简史》是我很喜欢的一本书,观点新颖有趣,我唯一不赞同的就是他关于人类永生的观点,他的新书《今日简史》值得推荐。)很多人...
微信扫码,在手机上查看选中内容