|
that takes a python program P (as a string) and returns 1 if the P halts when run, |
|
that takes a python program P (as a string) and returns 1 if P halts when run, |
|
|
|
|
|
then P' would halt. |
|
then P' would halt. Thus, the procedure HALT(P) does not work for this program P'. |