发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
选自量子杂志
「这些抽象机器也许是最好的证据,证明提出基本问题可能是科学家能够做的最有用的事情之一。」
来自: 天承办公室 > 《022机器之心》
0条评论
发表
请遵守用户 评论公约
一个无解的数学难题是如何触及机器学习的极限的?数学统治一切
本·大卫和他的同事如何证明特定问题的“估计最大值(EMX)”可学习性独立于ZFC数学公理?然而,使用标准的算法形式(例如图灵机)...
哥德尔定理及其哲学义蕴_
1961年美国哲学家鲁卡斯(J.Lucas)首先以激烈言辞撰文《心、机器、哥德尔》,试图用哥德尔定理直接证明"人心超过计算机"的结论:"依我看,哥德尔定理证明了机械论是错误的,因为,无论...
P问题和NP问题
P问题和NP问题。最简单的解释:P:算起来很快的问题NP:算起来不一定快,但对于任何答案我们都可以快速的验证这个答案对不对NP-hard:比所有的NP问题都难的问题NP-complete:满足两点:1. 是NP hard的...
算法系列教程02-从罗素悖论到图灵机
算法系列教程02-从罗素悖论到图灵机。这个问题就是著名的理发师悖论,是哲学家兼数学家的罗素用来比喻罗素悖论的一个通俗说法,也被叫作...
邱奇-图灵论题
邱奇-图灵论题邱奇-图灵论题(The Church-Turing thesis)是计算机科学中以数学家阿隆佐.邱奇(Alonzo Church)和阿兰.图灵命名的论题。该论题被普遍假定为真,也被称为邱奇论题或邱奇猜想和图灵论题。...
孤独的破译者和他的计算机器
为了用一种标准方式表达图灵机的结构,他将图灵机的配置"规范化"一个五元组 (当前状态,当前符号,要写的新符号,移动方向,下一状态) 如果将所有m-函数展开,任何图灵机都可由这样...
数学的不完美之美——阿兰·图灵与图灵机
数学的不完美之美——阿兰·图灵与图灵机。换句话说,图灵机能计算的函数便是可计算的函数,图灵机无法计算的函数便是不可计算的函...
巅峰对话:哥德尔论图灵【心灵与机器:论可计算主义(完结篇)】
巅峰对话:哥德尔论图灵【心灵与机器:论可计算主义(完结篇)】巅峰对话:哥德尔论图灵【心灵与机器:论可计算主义(完结篇)】心灵与...
图灵
微信扫码,在手机上查看选中内容