Закат теоретической физики как науки (СР)

[gabblgob]

Оригинал взят у minski_gaon в Закат теоретической физики как науки

В середин XX в ряд логиков доказали принципиальное утверждение, после которого теоретическая физика стала игрой в солдатики, -- утверждение, что в физической теории теоретические термины не сводятся к терминам наблюдения. Это означает, что любая физическая теория не сводится к фактам, а представляет собой в каком-то смысле игру моего воображения, мои математические фантазии, каким-то образом коррелирующие с фактами.



В современной математике давно знают о субъективности математических исследований -- нет и не может быть единой математики -- есть математика с аксиомой выбора и без нее, с аксиомой Архимеда и без нее, с аксиомой фундированности и без нее и т.д. Нельзя при этом сказать, какая математика правильная. Для разных целей мы используем разные математики.

Даже в геометрии все непросто. В традиционной геометрии первичным неопределяемым объектом является точка, а есть теория, в которой точка уже определяемый объект и выводится из окружности. Кто прав? Никто.

Вместе с тем, теоретические физики (как у нас, так и у них) в современной математике не разбираются совсем. Может только группа Воловича (по р-адической физике), с которой я сотрудничал, понимают субъективность математических игр и стали использовать математику без аксиомы Архимеда в квантовой механике. Но это скорее исключение. Складывается впечатление, что теоретические физики знакомы только с математикой XIX в. -- дифференциальным исчислением и еще пару старых теорий. Они вообще не знают о теории вычислимости (без которой сейчас вообще никуда), они не знают современной логики и вообще не умеют строить формальные теории. К слову, формальная теория -- это всегда расширение логики высказываний. Какой физик способен это формально показать?

Проблема теоретических физиков в том, что они сохранили научную методологию XIX в с верой в единую научную теорию, в единую математику. Со стороны это крайне смешно. Объемы финансирования теоретической физики стремительно сокращаются. Научный интерес к ней теряется. Если бы не адронный коллайдер, то о них вообще бы никто не слышал.

zushe

Все что Вы так долго и пафосно описывали, суммируется одной фразой: физика суть естественная наука, а не точная. А вот современная математика совершенно утратила естественность, и кроме редких случаев выныривания назад в наш грешный мир (топология, группы Ли и пр., наверняка основанные на старом добром 19-м веке), не может представлять практического интереса для решения реальных физических проблем.

Спрос же определяет предложение, и то что требуется - изучается.

А тот факт что теоретическая физика оперирует ненаблюдаемыми параметрами - неизбежен, поэтому любая теория не считается доработанной, пока эти параметры не переведутся в observables и не станет ясно, как ее проверить. То есть, изначально избирается направление, противоположное математической формализации.

И не дай Бог нам дожить до формализации физики! Это будет ее смерть как Естественной науки.

Comments

[svchost1101.livejournal.com]

Да да, кто-то там уже в веке 19 говорил, что в физике всё изучено. Не стоит наступать на те же грабли. Особенно если учесть, какая дозвездища проблем до сих пор не решена.

[gabblgob.livejournal.com]

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