О процессе решения задач по математике

Автор представляет процесс решения задач по математике, как создание формального алгоритма. Это взгля программиста на процесс обучения математике. Автор говорит, что им создана технология по обучению написания таких формальных алгоритмов.