更改

是否会停下来？我们可以形象地把这写程序之间的关系表达为图：

是否会停下来？我们可以形象地把这写程序之间的关系表达为图：

[[File:2011131713151330.jpg |600px |thumb |center |图5-3图灵停机问题图示]]

[[File:2011131713151330.jpg |400px |thumb |center |图5-3图灵停机问题图示]]

答案是，像H这样聪明的程序是不存在的，我们可以通过反证法来证明这个结论。首先，我们假设H这样的程序存在，不妨设这个程序可以写成一个二元函数：H(x,y)，其中x

答案是，像H这样聪明的程序是不存在的，我们可以通过反证法来证明这个结论。首先，我们假设H这样的程序存在，不妨设这个程序可以写成一个二元函数：H(x,y)，其中x