Без заголовка

Вообще-то говоря, проблема остановки и теорема Геделя — это должно входить в курс по вычислениям. И их мало кто понимает (попсовое понимание чаще всего не про их настоящий смысл), они ведь ни разу не про упорядочивание винегрета понятий.