FIT100
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)
ans=‘no’
?
T
F
exit
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
C is nonsense, so L_C can’t exist