由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - Ada的程序
相关主题
王垠: 图灵的光环 (转载)[bssd] Neural network as a programming language
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别是编译器还是什么问题?
[bssd]计算机科学的自然律凡是学过点数理逻辑的,80%会觉得functional programming有意思
王垠终于开始搞垠语言了弱问c++ iterator 和 pointer区别
王垠水平见长数学不好编程不行张口闭口AI咋搞
有一道著名面试题,问的就是怎么解停机问题gbd调试时的一个简单问题 (转载)
FP的主要问题是两个VC++ 6.0 弱问,多谢解答
对于现在machine learning有个问题,请指教[合集] 基类函数已经是virtual了,为啥子类还要virtual啊?
相关话题的讨论汇总
话题: 程序话题: turing话题: 大括号话题: machine话题: variable
进入Programming版参与讨论
1 (共1页)
w***g
发帖数: 5958
1
https://upload.wikimedia.org/wikipedia/commons/c/cf/Diagram_for
computation_of_Bernoulli_numbers.jpg
注意最左边的行号, 用词(operation, variable, working variable),以及13行到
23行左边的那个大括号,以及大括号右边的两个小括号。
注意分析机是支持条件跳转的。
这个才是码公这一行当之无愧的祖师爷太太。
这个图发表在1842年的论文中,比图灵机论文早了近100年。
再看巴贝奇1864年的quote:
"As soon as an Analytical Engine exists, it will necessarily guide the
future course of the science. Whenever any result is sought by its aid, the
question will then arise—By what course of calculation can these results be
arrived at by the machine in the shortest time?"
h*i
发帖数: 3446
2
是啊。王垠那篇图灵的评论基本上没啥大错。图灵的确有点名不符实。
实过于名,能与牛顿这些相提并论的,是香龙这种做了开创性工作的,不但做了,还做
全了,搞得后人都没啥水可灌了的。

the

【在 w***g 的大作中提到】
: https://upload.wikimedia.org/wikipedia/commons/c/cf/Diagram_for
: computation_of_Bernoulli_numbers.jpg
: 注意最左边的行号, 用词(operation, variable, working variable),以及13行到
: 23行左边的那个大括号,以及大括号右边的两个小括号。
: 注意分析机是支持条件跳转的。
: 这个才是码公这一行当之无愧的祖师爷太太。
: 这个图发表在1842年的论文中,比图灵机论文早了近100年。
: 再看巴贝奇1864年的quote:
: "As soon as an Analytical Engine exists, it will necessarily guide the
: future course of the science. Whenever any result is sought by its aid, the

w***g
发帖数: 5958
3
史上最牛B硕士论文,可能没有之一了吧。

【在 h*i 的大作中提到】
: 是啊。王垠那篇图灵的评论基本上没啥大错。图灵的确有点名不符实。
: 实过于名,能与牛顿这些相提并论的,是香龙这种做了开创性工作的,不但做了,还做
: 全了,搞得后人都没啥水可灌了的。
:
: the

h*i
发帖数: 3446
4
对啊,这篇史上最牛B硕士论文,才是当代数字计算机的基础。
https://goo.gl/GxT4wb

【在 w***g 的大作中提到】
: 史上最牛B硕士论文,可能没有之一了吧。
n*********2
发帖数: 357
5
他们为什么没给 Shannon 一个图灵奖? 按说Shannon的很多东西跟计算机很靠。

【在 w***g 的大作中提到】
: 史上最牛B硕士论文,可能没有之一了吧。
d*******r
发帖数: 3299
h*i
发帖数: 3446
7
香龙没有早死,所以没有死人的mystic。他不吹捧自己,不拉帮结派。
不过话说回来,给香龙一个图灵奖不是侮辱他么?他们是同时代的人,香龙比图灵强多
了。

【在 n*********2 的大作中提到】
: 他们为什么没给 Shannon 一个图灵奖? 按说Shannon的很多东西跟计算机很靠。
N*****m
发帖数: 42603
8
硕士论文是马工鼻祖,博士论文是老千鼻祖
搞数学的就是厉害

【在 w***g 的大作中提到】
: 史上最牛B硕士论文,可能没有之一了吧。
h*i
发帖数: 3446
9
人还活的潇洒,这才是人生楷模。生子当如香龙。

【在 N*****m 的大作中提到】
: 硕士论文是马工鼻祖,博士论文是老千鼻祖
: 搞数学的就是厉害

g****t
发帖数: 31659
10
说了很多次了。计算模型Turing不是第一个,这是事实。
但是第一个可以接受别的程序的程序,也就是Universal Turing Machine,
是Turing写的。

the

【在 w***g 的大作中提到】
: https://upload.wikimedia.org/wikipedia/commons/c/cf/Diagram_for
: computation_of_Bernoulli_numbers.jpg
: 注意最左边的行号, 用词(operation, variable, working variable),以及13行到
: 23行左边的那个大括号,以及大括号右边的两个小括号。
: 注意分析机是支持条件跳转的。
: 这个才是码公这一行当之无愧的祖师爷太太。
: 这个图发表在1842年的论文中,比图灵机论文早了近100年。
: 再看巴贝奇1864年的quote:
: "As soon as an Analytical Engine exists, it will necessarily guide the
: future course of the science. Whenever any result is sought by its aid, the

w***g
发帖数: 5958
11
Turing machine == 算法或者固定算法的电路
程序 == 算法的编码, 在Turning machine或现实计算机中表现为一个超大的数
Universal turing machine == 可以接受程序的计算机
巴贝奇的分析机是Turing complete的,等价于UTM。人家机器都设计出来了,
你非说人没有发明描述机器的概念。
你这种可以接受程序的程序的说法很奇怪。UTM的描述里只有机器和这个机器的
输入(某图灵机编码, 输入数据)。程序本身是passive的,就是一个数,
要进行计算最终必须有个机器。你说的可以接受程序的程序其实是一个虚拟机程序。
当然UTM的U保证了它可以跑对应它自己的程序。

【在 g****t 的大作中提到】
: 说了很多次了。计算模型Turing不是第一个,这是事实。
: 但是第一个可以接受别的程序的程序,也就是Universal Turing Machine,
: 是Turing写的。
:
: the

g****t
发帖数: 31659
12
Turing Complete 说明这个语言是等价于TM的,所以也是等价于church, Godel的。
跟Universal TM是两回事。这就好比
(a)你发明了c
(b)你用c写了世界上第一个BIOS
这是两件事。

【在 w***g 的大作中提到】
: Turing machine == 算法或者固定算法的电路
: 程序 == 算法的编码, 在Turning machine或现实计算机中表现为一个超大的数
: Universal turing machine == 可以接受程序的计算机
: 巴贝奇的分析机是Turing complete的,等价于UTM。人家机器都设计出来了,
: 你非说人没有发明描述机器的概念。
: 你这种可以接受程序的程序的说法很奇怪。UTM的描述里只有机器和这个机器的
: 输入(某图灵机编码, 输入数据)。程序本身是passive的,就是一个数,
: 要进行计算最终必须有个机器。你说的可以接受程序的程序其实是一个虚拟机程序。
: 当然UTM的U保证了它可以跑对应它自己的程序。

g****t
发帖数: 31659
13
你们这些说起来八卦头头是道,敢于说图灵名不副实的。
有没有花一个星期读一下香浓的文章?

【在 h*i 的大作中提到】
: 对啊,这篇史上最牛B硕士论文,才是当代数字计算机的基础。
: https://goo.gl/GxT4wb

1 (共1页)
进入Programming版参与讨论
相关主题
[合集] 基类函数已经是virtual了,为啥子类还要virtual啊?王垠水平见长
问题请教有一道著名面试题,问的就是怎么解停机问题
c++读写多个大文件的问题FP的主要问题是两个
关于gdb调试c++ template的问题, 设置行号断点有offset对于现在machine learning有个问题,请指教
王垠: 图灵的光环 (转载)[bssd] Neural network as a programming language
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别是编译器还是什么问题?
[bssd]计算机科学的自然律凡是学过点数理逻辑的,80%会觉得functional programming有意思
王垠终于开始搞垠语言了弱问c++ iterator 和 pointer区别
相关话题的讨论汇总
话题: 程序话题: turing话题: 大括号话题: machine话题: variable