соответствую представлению о несоизмеримости;
знаю геометрию Евклида; но понимаю ее, если соответствую результату Гильберта (начало XXв.) по предъявлению в ней континуума; более высокий уровень понимания, если соответствую результату Артина (середина XXв.) о свойствах пространства, в котором выразим континуум;
Кантор знал равномощность квадрата и отрезка, но несколько лет не понимал;
знаю рефлексивность параллельности; но понимаю её, если соответствую представлению о необходимости её рассмотрения как представителя аксиоматизированных отношений;
тесты на понимание; ответьте на естественные вопросы: что такое математика, линейная алгебра, анализ, число, прямая; Вы знаете, что Ахилл догонит черепаху, но понимаете в чем состоит апория Зенона.
Уравнение решил и ладно; кое-что остается за кадром – вплоть до законов мироздания.
Программирование и «понимание» - это стремительное повторение взросления математики на пути:
как делать;
что делать (спецификация);
в чем делать (представление знания).