Теория вычислений

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