Помнится, в школе, когда мы начинали изучать геометрию, при прочтении формулировки теоремы о равенcтве треугольников по 3 сторонам, я cразу представил треугольник, и мне стало сразу понятно, что формулировка верна. И я задался вопросом: а почему нас заставляют доказывать очевидные вещи? Где грань между утверждениями которые требуют док-в и другими. Это было минутное навождение, и я продолжил зубрежку. Понимания этого так не пришло.
Думаю, это невозможно формализовать. Мы по прежнему погружены в матрицу, и только какой-то абстрактный дядя исходя из ограничений своего понимания вопросов или по другим неведомым причинам решает это за нас.
Прошли годы и «моя ко мне вернулась» ((С)«Буммер»). Я прочитал простое объяснение гипотезы Пуанкаре.
Собственно сабж.
