Теоретическая физика уперлась в пределы вычислимости

Ученые утверждают, что человеческое понимание реальности не сводится к набору вычислительных операций. Компьютер способен выполнять инструкции шаг за шагом, как бы сложны они ни были. Однако существуют истины, которые не выводятся через последовательность логических действий. Такие утверждения нередко называют "гёделевскими" - отсылая к теореме математического логика Курта Гёделя, показавшего, что в любой достаточно мощной формальной системе неизбежно остаются утверждения, истинность которых нельзя доказать внутри нее самой.

По словам доктора Файзала, одного из авторов работы, существует граница, за которой вычислительные методы перестают быть достаточными.

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

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

Источник: rg.ru

Комментарии: