但有时候我们必不可少的遇到在集合论的模型中讨论有关图灵机的满足关系,比如M╞ Φₑ(x)↓这种表述。这时候我们怎么看待图灵机呢?这里实际上也可以直接用克林尼的原始递归谓词代替: M╞ Φₑ (x)↓⇔ M╞ ∃z T(e,x,z)
这样就没有任何疑惑了。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。