递归定理

递归定理的描述和证明都比较复杂而抽象，概括地说：就是利用两台经典图灵机，让他们互相打印对方的描述，借此构造了一个能够打印自己的描述的图灵机。外部的自指矛盾通过内部结构的细分被消解了。

但是从意义上来说，递归定理使得程序能够对自身进行引用，同时也使得能够自己制造自己的机器从理论上存在。