[intellectus] Ракоход интеллектуса. Важность оснований (завет Карла Вейерштрасса)

Apr 10, 2013 21:40

Upd 2016-03-17: Ракоход интеллектуса -- оглавление
[Upd 2017-03-09
нормальный цикл приматического интеллектуса
основной цикл Интеллектуса-2 -- там даны чистенькие примеры Ракохода с премиальными результатами]
Правило Чапая
важность экспликации очевидностей
Завет Артура Шопенгауэра

Карл Вейерштрасс когда-то призывал уделять особое внимание основаниям наук -- призывал словом (мы его цитировали в конце пятой страницы одного научного сочинения) и делом (до него оснований матанализа фактически не существовало).




В науко-приматологических терминах важность оснований раскрывается двояко:

1
Ракоход мысли ведёт в направлении именно что оснований.
И если нет понимания оснований,
то ракоход может завести интеллектус только в болото лажи ( insufficiens_discretio etc. Upd лажа (11) лажевая компонента).

Нормальное большинство учится, может, даже и на хорошо и отлично,
но имея в качестве мотивации и ориентира больше оценку, чем понимание основ,
а по-настоящему цепляет памятью только рецепты, причём не любые,
а только "те, что реально нужны" для курсовой-диплома-публикации-диссера-...
[Upd ср. профанация (7) основной механизм]

Ни о каком ракоходе потом, конечно, говорить не приходится.

2
Именно на уровне аксиом, очищенных от комбинаторных нагромождений,
шероховатости имеют шанс проявиться особенно рельефно.

Например, неконструктивный характер всевозможных неизмеримых множеств и т.п.
-- ничё себе такая на всю математику шероховатость.
И много кого она взволновала?

А всмотришься (функционально-категориальная аксиоматизация математики у нас уже вспоминалась) -- и, глядишь, --
и адронные струи корректно определятся,
и масса нейтрино наилучшим мировым образом ограничится.

Всмотреться, правда, нужно ещё и в ту картинку, где явлен мегапузырь наших дней, потому что он всюду, всюду, и мимо него не проскочить.

(Компонентный Паскаль, и в статье про нейтрино упомянутый, и в реализации корректного определения адронных струй сыгравший свою enabling роль -- это практически то же самое, что Оберон-2 на картинке.)

Чем больше глубоких оснований перетеребишь -- тем богаче (по закону комбинаторных сочетаний) последствия.

критика, интеллектус-2, назидательное, вейерштрасс_кв, ракоход

Up