Set Theory · Application: Undecidability of Halting

Lesson 7

Nikolai Chukhin · Alexander S. Kulikov

It would be great if our favorite IDE had an option for checking the termination of a program, wouldn't it?