Почему знание математики не гарантирует умеhия ей пользоваться в конкретном проектировании систем

Тот, кто когда-нибудь пережил "ОЗАРЕНИЕ" легко поймет, что всякое математическое описание той или иной предметной области, это - ВСПЫШКА, которая так правильно названа "ОЗАРЕНИЕМ". Озарение "не-логично", вернее, оно "не-логично" в смысле математической логики. Если всякий акт творчества, как "не-логичный", можно считать ЧУДОМ, то все творческие люди, хотя они и не волшебники, но они... "учатся" волшебству.

Если принять во внимание, что каждое такое ЧУДО являет себя в математической форме, то НЕОБХОДИМОСТЬ владения математикой не подлежит сомнению. Тем не менее, как и принято в математике, необходимое условие еще не является условием ДОСТАТОЧНЫМ. Именно эта "недостаточность" чисто математического образования и не позволяет РЕГУЛЯРНО творить ЧУДЕСА, что легко обнаруживается при переходе от "высказываний" на естественном языке к логическим формам математики.

Известно, что в грамматическом предложении мы выделяем подлежащее и сказуемое. Подлежащим обычно является имя существительное, а роль сказуемого выполняет глагол.

Хотя процесс превращения "подлежащего" грамматической формы в "субъект" логической формы и "сказуемого" грамматической формы в "предикат" логической формы потребовал тысячелетий развития культуры научного мышления, мы должны зафиксировать терминологическое различие грамматической формы от логической формы. Это означает, что термин "подлежащее" как и термин "сказуемое" мы будем использовать для описания грамматической формы предложения, а термины "субъект" и "предикат" только для описания логической формы суждения.

Уже грамматическая форма предложения намечает расчленение явлений наблюдаемого мира на два больших класса:

§ класс предметов (пространственно-протяженных тел);

§ класс движений (характеризуемых длительностью).

Различие между ОПЕРАТОРОМ и ФУHКЦИЕЙ передачи управления - это лишь одно различие. Хотелось провести еще одно расчленение: расчленение ОБЪЕКТА, над которым осуществляется ОПЕРАЦИЯ, и самого ОПЕРАТОРА, который осуществляет эту операцию.

Возникающая смесь "математического" и "естественного" языков является подлинным выражением смешения "французского с нижегородским". Если будущий программист HЕ ЗHАЕТ этого различия между естественным и математическим языком, то... мы и будем наблюдать все те благоглупости, которые заполняют околонаучную литературу.