Theory of Computation

Проблема остановки (Halting Problem): Самая мощная программа, которую абсолютно невозможно создать