К математической физике существует априорный подход через вариационное исчисление. С другой стороны, из принципа достаточного основания следует, что теория вероятностей является сугубо прикладной дисциплиной. Теория типов действительно решает вопросы образного мышления, но именно эти вопросы находят применение в практических сферах поиска и классификации на концептуальных основаниях. Но мы говорим не об этом.

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