aleatorius (
aleatorius) wrote2005-01-19 05:21 pm
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Математик для физика -
это сумасшедший грамматик -который создаёт язык изучения языка - этакий искуственный интеллект познающий сам себя.
Тогда как для физика язык - есть коммуникация с реальностью - а заниматься всё время только подручными средствами - всё время совершенствуя приборы - и при этом не использовать по назначению - это кажется физику странным.
Т.е. тут вопрос соподчинения - для физика синтаксис подчинен семантике - а для математика - всё только сплошной синтаксис.
(Это всё оочень условно - нужна некая дихотомия была).
Тогда как для физика язык - есть коммуникация с реальностью - а заниматься всё время только подручными средствами - всё время совершенствуя приборы - и при этом не использовать по назначению - это кажется физику странным.
Т.е. тут вопрос соподчинения - для физика синтаксис подчинен семантике - а для математика - всё только сплошной синтаксис.
(Это всё оочень условно - нужна некая дихотомия была).
no subject
Во-первых, проверить математическое доказательство просто пройдясь по нему и убедившись в его логической непротиворечивости (грамматической корректности), нельзя. То есть синтаксис связан с семантикой нетривиальным образом. Это может означать наличие некоторой реальности, которую изучает математика.
Во-вторых, доказательство все-таки однозначно проверяемо. Значит, язык хорошо соответствует описываемой реальности. Можно даже сказать, что соответствие точнее чем в любой другой науке.
Возможно, математика может показаться лингвистикой по причине такого точного соответствия языка и реальности, что их трудно различить. Дополнительно конечно действует тот факт, что изучаемую математикой реальность нельзя пощупать, она кажется нематериальной.
Поправьте меня.
(no subject)
(no subject)
(no subject)
(no subject)
(no subject)
(no subject)
(no subject)
(no subject)
(no subject)
Автоматическая проверка доказательств?