Altra Realta, в математике есть свои приколы типа непревзойдённой сложности, когда для доказательства чего-то буквально изобретается новый математический аппарат, просто постичь который может десяток математиков в мире... которые заняты своими проблемами. Автоматических средств верификации теорем всё ещё не завезли. Итого имеем интересную картину, когда формально доказательство есть, а реально понять его тупо некому:) В физике есть милашки суперструнщики, которые тоже ворочают такими монструозными математическими конструкциями, что математики крутят у виска пальцем и посылают нафиг, в итоге получается, что теоретический аппарат как бы есть, но применить его нельзя никак - и ищут способы, как бы что бы упростить, как бы всё-таки применить вычмат... это всё - без единого подтверждающего эксперимента, к слову, теория чисто из принципа математической симметрии и красоты формул выросла (справедливости ради - ранее очень часто оказывалось, что мир описывается красивыми формулами и математическими симметриями). Так что не всё ладно в Датском королевстве. Есть вообще такая забавная история, как супердетерминизм - интерпретация квантовой механики, которая... нефальсифицируема. Т.е. согласно принципу Поппера - ненаучна, лол. Непроверяема никак. Но есть физики, которые её придерживаются. Мир сложнее, чем кажется на первый взгляд.