Openstack DevOps and IBM/Informix Certified DBA . Phd in Math (Duality of spaces of... · 11 авг 2021
Возвращаясь к вопросу "Ко всем ли наукам применим принцип фальсифицируемости?"
Один из ответов и одно из полученных мной замечаний звучат примерно одинаково :
Принцип фальсифицируемости не работает в таких науках, как математика, информатика, логика и остальных подобных, работающих на постулатах и выводимых из них доказательств.
Не смотря на то, что Уравнения Математической Физики ,Теория Функций Многих комплексных переменных,Теория Информации относятся к фундаментальной математике . Многие результаты как в УМФ ,МТФКП и Теории Информации имеют обратное влияние на Теор. Физику ( Квантовую теорию полю и квантовую механику ) и процесс верификации передаваемого кода . Подробно мои возражения изложены в ответном комментарии по пунктам :-
"Рустем Мухаметшин", Ряд ключевых результатов Уравнений Математической Физики ( по Вашему лежащими вне области фундаментальной математики ) имеющих прямое отношение к квантовой теории поля проходили экспериментальную проверку и неоднократно.
В.С. Владимиров занимался численными методами расчёта критических параметров многослойных ядерных систем (РДС — Ракетный двигатель Сталина). Предложил (1951) метод характеристик (часто называемый в литературе методом Владимирова). В 1950—1953 годах вручную были рассчитаны десятки вариантов многослойных зарядов для водородной бомбы. За выполненную работу вместе с Н. Н. Боголюбовым был удостоен Сталинской премии (1953). Таким образом, Вы считаете проект РДС6С не прошел экспериментальную проверку в виде взрыва первого Советского термоядерного устройства ?
После завершения аксиоматизации теории множеств Фон-Нейман занялся аксиоматизацией квантовой механики. Он сразу понял, что состояния квантовых систем могут быть рассмотрены как точки в гильбертовом пространстве, подобно тому как в классической механике состояниям сопоставляются точки 6N-мерного фазового пространства. В таком случае обычные для физики величины (такие как позиция и импульсы) могут быть представлены как линейные операторы над гильбертовым пространством.Таким образом изучение квантовой механики было редуцировано к изучению алгебр линейных эрмитовых операторов над гильбертовым пространством. Надо заметить, что в этом подходе принцип неопределенности, согласно которому точное определение местоположения и импульса частицы одновременно невозможны, выражается в некоммутативности соответствующих этим величинам операторов. <<Эта новая математическая формулировка включила в себя формулировки Гейзенберга и Шрёдингера как частные случаи.>>
Пояснение
Уравне́ние Шрёдингера — линейное дифференциальное уравнение в частных производных, описывающее изменение в пространстве (в общем случае,в конфигурационном пространстве) и во времени чистого состояния, задаваемого волновой функцией, в гамильтоновых квантовых системах. Играет в квантовой механике такую же важную роль, как уравнения Гамильтона или уравнение второго закона Ньютона в классической механике или уравнения Максвелла для электромагнитных волн.
Далее работы Клода Шеннона (1942-45 гг.) содержали
теоремы , которые прошли неоднократные проверки во время боевых действий ВМС США в период войны с фашистской Германией и Японией. Однако Шеннон не предоставил их строго математического обоснования. По указанию президента Трумена - группа разработчиков под руководством Джона Фон-Неймана в 45-49 гг. дала полностью корректные математические доказательства всех утверждений Клода Шеннона. Заложив собственно основы Терии Информации, которая судя по Вашему замечанию также к Математике отношения не имеет.