这是什么计算机科学定理？ [关闭]

Question

我有一个大约十年前的学习笔记，我写过：

任何支持三件事的语言都可以发挥编程的全部力量：

逐步执行（语句）

根据条件更改执行流程（分支选择）

在循环中重复执行。

我有三个问题：

1) 谁首先提出了这个假设？

2) 谁首先证明了它？ （我记得证明是相对较新的。）

3) 我最可能的来源是什么流行的书籍或文字？

谷歌搜索没有给我任何答案。 :-(

Answer 1

您正在考虑Structured Program theorem，它表明具有这些功能的语言可以计算任何computable function。

正如 Wikipedia 所述，Corrado Böhm 和 Giuseppe Jacopini 在 1966 年以这种形式表示，但可以进一步追溯到常规语言。