八卦一下
来源:互联网 发布:高仿京东商城app源码 编辑:程序博客网 时间:2024/05/01 15:44
八卦一下
部分递归函数,可能就是维基百科在递归函数词条中提到的“在可计算性理论中证明了递归函数精确的是图灵机的可计算函数。”
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.
0 0
- 八卦一下
- 八卦一下
- 八卦一下g9的八卦
- 八卦一下模型验证(三)
- 八卦一下,议论附近的跳楼事件
- 八卦一下今年的菲尔兹数学奖
- 八卦一下Erlang的发明人Joe Armstrong
- 读易[8]·八卦一下三层架构
- 读易[8]·八卦一下三层架构
- 读易[8]·八卦一下三层架构
- 读易[8]·八卦一下三层架构
- 读易[8]·八卦一下三层架构
- 八卦一下模型验证(一)
- 八卦一下模型检验(二)
- 读易[8]·八卦一下三层架构
- 读易[8]·八卦一下三层架构
- 八卦一下模型检验(二)
- 八卦一下模型检验(三)
- 关于Ext.onReady的调用方法
- 通过Volley实现ListView加载大量图片(Demo是2000张)
- 快速排序
- C++实现高精度乘法
- UNIX环境高级编程-第0章- 关于apue.h和源码编译问题
- 八卦一下
- C#实现“生产者消费者”问题
- Linux之ubuntu学习笔记(六):shell基础
- div contenteditable光标位置问题
- u-boot中.lds连接脚本文件的分析
- 访问栈上的数组和堆中的数组的区别
- app-framework学习--iscroll5+jquery+afui上拉加载下拉刷新
- 怎样用代码方式退出IOS程序
- 解决python安装Twisted CompressionError: bz2 module is not available