大约十年前，我收到了一份学习笔记，其中写道：
编程的所有功能都可以使用支持三种功能的任何语言：
一步一步执行（陈述） 根据条件改变执行流程（分支选择） 在循环中重复执行。
我有三个问题：
1）谁先假设这个？
2）谁首先证明了这一点？ （我记得证明是相对较新的。）
3）我最喜欢哪种流行的书籍或文字来源？
谷歌搜索没有给我任何答案。 ： - （答案 0 :(得分：1)
您正在考虑Structured Program theorem，它表明具有这些功能的语言可以计算任何computable function。
正如维基百科所述，CorradoBöhm和Giuseppe Jacopini于1966年以此形式陈述过，但可以追溯到常规语言。