This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Build the diagonal argument: assume a halt-checker exists and construct a paradoxical program.
You've completed the free preview. Subscribe to unlock every lesson in every course.