阅读背景:

[计算理论] 停机问题不可解决的简单证明 halting problem

来源:互联网 

编程问题的提出

我们是否可以编写一个程序用来测试任何可以用哥德尔数表示的程序是否会终止?我们是否可以编写一个程序用来测试任何可以用哥德尔数表示




你的当前访问异常,请进行认证后继续阅读剩余内容。

分享到: