假设我们有一个名称为P的程序，该程序针对具体的输入的代码，能够让你知道，这段具体的源代码，和它所有的故障一起，最终是否会停止运行。

you cannot tell if computation will stop. For imagine we have a procedure called P

youdao

假设我们有一个名称为P的程序，该程序针对具体的输入的代码，能够让你知道，这段具体的源代码，和它所有的故障一起，最终是否会停止运行。

you cannot tell if computation will stop. For imagine we have a procedure called P

youdao