В академических курсах по математике (в том числе, в зарубежных) часто наблюдается примерно вот такое, если переложить это на АйТи.

Курс называется «Обработка фотографий в Фотошопе». Вы смотрите первое занятие. Лектор говорит: «в принципе, на машине Тьюринга можно было бы написать программу для работы с графикой». И начинает объяснять устройство машины Тьюринга. Всю лекцию. А потом всю вторую. А потом всю третью. На четвёртой он приводит примеры теорем, которые можно доказать при помощи машины Тьюринга. С пятой по десятую он показывает, как написать код, который позволяет смещать точку из одной позиции в другую. Код чудовищно непонятный, но что вы хотели — на машине Тьюринга понятный просто невозможно написать. Одиннадцатая и двенадцатая лекции посвящены разбору вопросов по этому коду. Ещё пять лекций разбираются возражения по поводу устройства машины Тьюринга, выдвинутые в 1952-м и 1961-м годах. К восемнадцатой лекции давно почившие скептики сабжевой машины разбиты наголову и можно праздновать триумф. Ещё две лекции делается набросок того, как на машине Тьюринга можно было бы закодировать цвета точек и грубый пример операции «инвертировать цвет».

Увы, курс всего из двадцати лекций, поэтому, извините, лектор рассказал бы ещё, но время вышло.

На вопросы отдельных недовольных в стиле «что это было?», лектор вежливо и дружелюбно отвечает: вы просто не поняли, на машине Тьюринга гипотетически возможно закодировать что угодно, поэтому вам не надо думать про Фотошоп — думайте про машину Тьюринга. Всем спасибо, все свободны.