На ваш вкус делает инструментом математику такое определение:
Математика - сокращение записи доказательных рассуждений;
Полезные сокращения - определения;
Понятные определения - понятия;
Доказательные - с применением понятий;
Рассуждения - построение высказывания;
Высказывания - ... (Логика А.А.Зиновьева)
Например, система координат на плоскости - два отношения: дальше/ближе и левее/правее. И вообще любая система - два и более отношений. Отношение - одно или многоместный оператор предикации.
...
Хотел с подсказки начать: изоморф от "инженер не физик". Уточню вопрос - первые сборки прикладных пакетов программ распространялись в готовом, т.е. исполнимом виде - почему. Но вопросом на вопрос вы лишили себя удовольствия подумать. Мой вариант ответа - исполнимый или мёртвый код гарантировал от распространения самомодифицирующихся программ, т.е. предмет культа подменил собой древний ритуал или инструмент заменил собой живую теорию. Ну и шутка - "инженер" не автор замысла - уже не шутка. Увы мне.
Математика - сокращение записи доказательных рассуждений;
Полезные сокращения - определения;
Понятные определения - понятия;
Доказательные - с применением понятий;
Рассуждения - построение высказывания;
Высказывания - ... (Логика А.А.Зиновьева)
Например, система координат на плоскости - два отношения: дальше/ближе и левее/правее. И вообще любая система - два и более отношений. Отношение - одно или многоместный оператор предикации.
...
Страницы