5.10 深入递归

到目前为止，我们只学习了C++的一个子集，但是你可能有兴趣知道，这个子集可以算作一个完整的编程语言，任何可计算的事物都可以用该子集表达。任何现有的程序都能通过我们学过的这些仅有的语言特征来重写(实际上，我们还需要一些控制键盘、鼠标、硬盘等设备的命令，就这些了)。 证明这个论断并不是个简单的练习，最早由阿兰图灵完成，他是最早的计算机科学家之一(很多人可能争辩说他是数学家，但是很多早期的计算机科学家都是从数学家开始的)。相应地，这个结论也称为图灵理论。如果你选了计算理论课程的话，你有机会看到相关证明的。