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）没有通用计算机的概念？