Хеломец, подобно англичанину, прощается, но не уходит

[xaxam]

Парад авторитетов-2

Три дела, однажды начавши, трудно кончить: а) вкушать хорошую пищу; б) беседовать с возвратившимся из похода другом и в) чесать, где чешется. Козьма Прутков

Что такое double blind method в медицине? Это два ортопеда, разглядывающие кардиограмму. Старый анекдот

Протокол симпозиума целой бригады ортопедов, разглядывающих кардиограмму, чешется каждой строчкой.

❝Сергей, ну ты даешь, демонстрируешь полное незнание того, что такое современная математика. Поэтому специально для тебя

Современная математика -- итог следующих реформ:

1) аксиоматизация математики, с начала 20 века по 60е гг того же века. В результате были созданы универсальная алгебра (группы, кольца и т.д.), теория чисел, общая топология. Аксиоматизация сделана вчерне. Это значит, что до сих пор многие детали -- в тумане. Если взять теорию относительности Эйнштейна, то она написана на языке математики 18-19 века. Иными словами, это такие же сказочки как "Начала" Евклида и "Арифметика" Диофанта. только сейчас завершается аксиоматизация теории относительности, когда эта теория уже в жопе и никому не нужна. Современные теоретические физики в общей массе очень мало знают об аксиоматической математике. Доказывать теоремы в рамках формальных теорий не умеют. Очень редкие исключения -- удачные примеры применения универсальной алгебры в квантовой механике (ты об этом упомянул). Но среднестатистический физик -- диффурщик и не знает, что такое аксиоматическая теория. А здесь все очень сложно. Пример. Шанин -- гениальный советский математик. Получил степень кандидата физмат наук по топологии. Потом увлекся конструктивной математикой, для которой топология -- бред сивой кобылы, поскольку основывается, как считается в конструктивной математике, на ложных аксиомах. И он написал прошение в ВАК с просьбой лишить его степени (ее правда не выполнили).

2) Развитие компьютерной математики. В первую очередь теории вычислимости. База -- теория рекурсивных функций. Этого физики вообще в глаза не видели, а именно теория вычислимости стала дефакто лидирующей наукой. Это сейчас все -- и программирование, и шифрование данных, и экспертные системы, абсолютно все. Единственное направление -- квантовый компьютер, где это пытаются скрестить. Но общим трендом это не является

______________________________________

Современная физика даже не аксиоматизирована (хи-хи). А ты говоришь о том, что в теоретической физике много современной математики. Показываешь дилетантизм ;-) ❞

А уж книга под условным названием "Философы читают Гёделя" была бы бестселлером в электричках, обойдя сборники анекдотов от Петросяна.