Математик для физика -

[aleatorius]

это сумасшедший грамматик -который создаёт язык изучения языка - этакий искуственный интеллект познающий сам себя.
Тогда как для физика язык - есть коммуникация с реальностью - а заниматься всё время только подручными средствами - всё время совершенствуя приборы - и при этом не использовать по назначению - это кажется физику странным.
Т.е. тут вопрос соподчинения - для физика синтаксис подчинен семантике - а для математика - всё только сплошной синтаксис.
(Это всё оочень условно - нужна некая дихотомия была).

Comments

Автоматическая проверка доказательств?

[elephleo.livejournal.com]

Понятно, что доказать любое наперед заданное утверждение алгоритмически нельзя. А вот проверить полученное тем или иным образом - или опровергнуть, что важнее для приложений - почему бы и нет?

Предположим, что доказательство формализовано тем или иным образом. Тогда можно построить такую метафору: док-во <-> программа, система проверки <-> компилятор. Что указывает на ошибочность док-ва (на метауровне, грамматические ошибки исключаем): использование недоказанных утверждений <-> обращение к несуществующим библиотекам, нарушение правил логического вывода <-> неправильный вызов функций и т.д.