Прошлые домены больше не функционируют, используйте адрес
ARHIVACH.HK.
24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна.
Подробности случившегося. Мы призываем всех неравнодушных
помочь нам с восстановлением утраченного контента!
Самое главное, непонятно, зачем всё это. Всевозможные инженеры и научные работники либо воспользуются программой символьных вычислений (а для элементарных функций есть общий универсальный алгоритм интегрирования, который является следствием развития дифференциальной алгебры), либо (что скорее) будут интегрировать численно.
Венцом всего этого стало событие, произошедшее больше года назад. По просьбе своей кафедры я участвовал в олимпиаде Санкт-Петербурга по математике для технических вузов. Задачи на той олимпиаде были довольно техническими (простите за каламбур), судя по всему, ориентированными на те же синтаксические преобразования.
В одной из задач требовалось решить диффур. Я никогда не умел решать диффуры, кроме как методом подстановки-проверки. Подставил две или три простейших функции, вижу — получил ответ, так и пишу в решении: проверим что данная функция удовлетворяет уравнению, проверим, что выполнены условия теоремы существования и единственности. Вполне строгое решение, даже самому строгому проверяющему не к чему придраться.
На апелляции вижу, что за эту задачу у меня стоит далеко не полный балл. Беру свою работу, но в ней по этому поводу ничего не отмечено. Вдруг какой-то человек (позднее оказалось, что это был заведующий кафедрой математики ВИТУ) спрашивает меня: что я собираюсь апеллировать? Я отвечаю. Он начинает со мной спорить, что то, что я написал — это не решение, а решением должен быть некий набор действий, показывающий, как это решение получилось (полученный, очевидно, при помощи синтаксической процедуры). В конце концов, ему предложили пример: есть поле, на котором закопан клад, который надо найти. Один человек перекопал всё поле и нашёл клад, а другой просто угадал, где надо копать, и сразу выкопал клад. Кто из них решил задачу (нашёл клад)? Заведующий кафедрой математики сказал, что только тот, кто перекопал всё поле.
Но это, конечно, было не самым интересным. Через некоторое время у меня началась собственно апелляция, которую проводил председатель жюри (он же отбирал задачи) профессор матмеха Н. А. Широков. После некоторого спора он в конце концов выдал мне следующую фразу (воспроизвожу не дословно, но близко к оригиналу и без потери смысла): «Возьмите любой учебник дифференциальных уравнений, там есть набор стандартных подстановок, их-то и надо использовать при решении таких задач. При решении диффуров вы должны продемонстрировать ваше владение этим набором стандартных подстановок, а не умение решать задачи.». Это был для меня сильнейший деморализующий удар, я так и не нашёлся, что можно на это возразить, так и ушёл с неполным баллом (хотя выиграл олимпиаду). А вот другой человек получил полный балл, применив пару подстановок, даже не соизволив пояснить, почему его решение единственно (что было сделано у меня).
Математика делится на содержательную и синтаксическую. Представителями синтаксической математики являются подавляющее большинство учителей школ, всевозможные репетиторы, заведующий кафедрой математики ВИТУ, а также профессор матмеха Н. А. Широков (он, кстати, там заведует кафедрой матанализа).
Не путайте содержательную математику с синтаксической!
Пикрелейтед - картины Фоменко "Математика", "Математика. Гомеоморфизм, достаточно близкий к тождественному" и "Математика. Расслоенные пространства".
Предыдущий: