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

Как мне кажется это к прикладникам — как заставить систему изменяться под условия задачи. Важно, что никакой мистики и имени бога там нет. И пусть «умная машина» хоть пальцем в небо тычет выполняя расчет, хоть пиво в баре пьет. Мне кажется многих людей «математическая» сторона программирования сбивает с толку — они слышат про, например, частично вычислимые функции и сразу определяют это для себя как «какой-то матан про числа». Хотя преобразования там вообще-то определяются над формальным языком, то есть там может фигурировать хоть родинка над губою, хоть банка томатного супа «кэмпбэлл».