Теорема завершаемости

⚙ Эрик Демейн о математике алгоритмов: «Инварианты гарантируют корректность»