Questions tagged «charles-babbage»

1
艾伦·图灵(Alan Turing)的学生罗宾·甘迪(Robin Gandy)是否断言查尔斯·巴贝奇(Charles Babbage)没有通用计算机的概念?
罗宾甘迪(Robin Gandy)是艾伦图灵(Alan Turing)的学生。 甘迪对巴贝奇的 分析引擎进行了分析(参见“甘迪-1936年思想的汇合”,在“赫尔肯·罗尔夫- 通用图灵机-半个世纪的调查。史普林格出版社”中引用),并表示做到了(参见。第52–53页): 算术函数+,-,×,其中-表示如果y≥x,则“适当”减法x-y = 0。 任何操作序列都是一种操作。 重复操作(重复操作P的n倍)。 有条件的迭代(以测试T的“成功”为条件,将操作P重复n次)。 有条件的转移(即,有条件的“ goto”)。 然后他说 由(1),(2)和(4)可以计算出的函数正是图灵可计算的函数。 (第53页)。 然后他说: …重点是对固定的可迭代算术序列进行编程。对于计算机通用理论而言,条件迭代和条件转移的根本重要性尚未得到认可…… 甘迪p。55 我正在这里评估Gandy的索赔范围。(无论是对还是错)。他似乎在说,尽管巴贝奇似乎偶然发现了图灵完整性的概念(可以使用(1),(2)和(4)表示任何程序,但他没有可计算函数的概念。(也许甘迪说,由于巴贝奇(Babbage)的工作先于希尔伯特(Hilbert)和戈德尔(Godel)的工作,他没有数学工具来约束通用计算机的定义。) 我的问题是:艾伦·图灵(Alan Turing)的学生罗宾·甘迪(Robin Gandy)是否断言查尔斯·巴贝奇(Charles Babbage)没有通用计算机的概念?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.