首页 > 代码库 > 八卦一下
八卦一下
八卦一下
部分递归函数，可能就是维基百科在递归函数词条中提到的“在可计算性理论中证明了递归函数精确的是图灵机的可计算函数。”
Wolfram，就是著名的Mathematica的发明者之一。他的另一个成果是 Wolfram Alpha 计算型知识引擎。
数理逻辑学家、哲学家、人工智能先驱王浩（1921～1995），我记得也发表过一个图灵机等价模型，似乎是翻纸牌的，可能叫做Tile系统。可惜似乎由于有位法官同名，在维基百科上的王浩词条不能浏览，而百度百科语焉不详。
王浩研究自动定理证明，用早期的IBM计算机，几分钟就证明了罗素花十年心血才在其名著《数学原理》中证明的220条命题。王浩是历史学家何兆武先生的同学和好朋友，他俩都研究过 哥德尔-艾舍尔-巴赫 这本书。记得何兆武先生有张照片，背景正是书架，书名都被遮挡起来，除了这本很厚的 哥德尔-艾舍尔-巴赫。这本书讨论的内容就包括图灵机，也就是人的计算能力的限制。他们同样也都对罗素感兴趣，刚刚提到王浩证明了数学原理中的命题，何兆武先生则翻译了罗素的《西方史学史》上卷，对罗素的史学观也有专门论述。
计算的本质[http://book.douban.com/subject/26148763/]
部分递归函数，可能就是维基百科在递归函数词条中提到的“在可计算性理论中证明了递归函数精确的是图灵机的可计算函数。”
Wolfram，就是著名的Mathematica的发明者之一。他的另一个成果是 Wolfram Alpha 计算型知识引擎。
数理逻辑学家、哲学家、人工智能先驱王浩（1921～1995），我记得也发表过一个图灵机等价模型，似乎是翻纸牌的，可能叫做Tile系统。可惜似乎由于有位法官同名，在维基百科上的王浩词条不能浏览，而百度百科语焉不详。
王浩研究自动定理证明，用早期的IBM计算机，几分钟就证明了罗素花十年心血才在其名著《数学原理》中证明的220条命题。王浩是历史学家何兆武先生的同学和好朋友，他俩都研究过 哥德尔-艾舍尔-巴赫 这本书。记得何兆武先生有张照片，背景正是书架，书名都被遮挡起来，除了这本很厚的 哥德尔-艾舍尔-巴赫。这本书讨论的内容就包括图灵机，也就是人的计算能力的限制。他们同样也都对罗素感兴趣，刚刚提到王浩证明了数学原理中的命题，何兆武先生则翻译了罗素的《西方史学史》上卷，对罗素的史学观也有专门论述。
王浩的工作，维基百科英文上查到了，从图灵机英文词条找过去，在[http://en.wikipedia.org/wiki/Wang_B-machine]提到：
Hao Wang (1957), A Variant to Turing‘s Theory of Computing Machines, JACM (Journal of the Association for Computing Machinery) 4; 63-92. Presented at the meeting of the Association, June 23-25, 1954.
八卦一下
声明：以上内容来自用户投稿及互联网公开渠道收集整理发布，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任，若内容有误或涉及侵权可进行投诉： 投诉/举报 工作人员会在5个工作日内联系你，一经查实，本站将立刻删除涉嫌侵权内容。