| Loop_Check Cannot Be |
|
|
|
| Loop_Check
could not work, because |
||
| if it did we’d
make a new program |
||
| Contradict (P): |
| ans =
Loop_Check(P,P) |
|
|
|
| What
happens when we run |
||
| Contradict(Contradict)? |
||
| If
L_C says C loops forever, it stops |
||
| If
L_C says C stops, it loops forever |
||
|
|
|
| ans=‘no’ |
||
| ? |
||
| T |
| exit |
| C is
nonsense, so L_C can’t exist |