Upd 2016-03-17:
Ракоход интеллектуса -- оглавление[Upd 2017-03-09
нормальный цикл приматического интеллектуса основной цикл Интеллектуса-2 -- там даны чистенькие примеры Ракохода с премиальными результатами]
Правило Чапая важность экспликации очевидностей Завет Артура Шопенгауэра Карл Вейерштрасс когда-то призывал уделять особое внимание основаниям наук -- призывал словом (мы его цитировали в конце пятой страницы
одного научного сочинения) и делом (до него
оснований матанализа фактически не существовало).
В науко-приматологических терминах важность оснований раскрывается двояко:
1
Ракоход мысли ведёт в направлении именно что оснований.
И если нет понимания оснований,
то ракоход может завести интеллектус только в болото
лажи (
insufficiens_discretio etc. Upd
лажа (11) лажевая компонента).
Нормальное большинство учится, может, даже и на хорошо и отлично,
но имея в качестве мотивации и ориентира больше оценку, чем понимание основ,
а по-настоящему цепляет памятью только рецепты, причём не любые,
а только "те, что реально нужны" для курсовой-диплома-публикации-диссера-...
[Upd ср.
профанация (7) основной механизм]
Ни о каком ракоходе потом, конечно, говорить не приходится.
2
Именно на уровне аксиом, очищенных от
комбинаторных нагромождений,
шероховатости имеют шанс проявиться особенно рельефно.
Например, неконструктивный характер всевозможных неизмеримых множеств и т.п.
-- ничё себе такая на всю математику шероховатость.
И много кого она взволновала?
А
всмотришься (функционально-категориальная аксиоматизация математики у нас уже
вспоминалась) -- и, глядишь, --
и адронные струи
корректно определятся,
и масса нейтрино наилучшим мировым образом
ограничится.
Всмотреться, правда, нужно ещё и в ту картинку, где явлен
мегапузырь наших дней, потому что он всюду, всюду, и мимо него не проскочить.
(Компонентный Паскаль, и в статье про нейтрино упомянутый, и в реализации корректного определения адронных струй сыгравший свою
enabling роль -- это практически то же самое, что Оберон-2 на картинке.)
Чем больше глубоких оснований перетеребишь -- тем богаче (по закону комбинаторных сочетаний) последствия.