Здравствуйте, Evgeny.Panasyuk, Вы писали:

V>>Это не какая угодно терминология, а вполне конкретная, из математики. И мир в математике не может быть каким угодно, есть границы и вполне конкретные.
EP>Эти границы вытекают из некоторых предположений принятых за аксиомы, которые на самом деле не обязаны выполняться. И доказать находясь внутри системы что эти предположения выполняются во всех случаях, всегда — невозможно
Возможно, и доказывают. К примеру, через формулу Эйлера можно отличить шар от тора. И при этом не видеть со стороны что за объект на которым ты находишься.

EP>Мир может вообще не подчинятся коротким и изящным формулам, а быть лишь жёстко закодированной последовательностью состояний — и эта последовательность может быть абсолютно КАКОЙ УГОДНО, и не вкладываться ни в какие представления о красоте и лаконичности формул.
Докажи что он может быть какой угодно. Пока что я видел доказательства строгого следования одного из другого, что опровергает тезис "какой угодно".

EP>>>Что "это"?
V>>Теория чего-то это, примерно, то что имеет конкретное описание/модель и может быть построено/доказано или ещё не доказано, но не противоречит уже доказанному.
EP>Уже доказанное строится на аксиомах, которые в реальности не обязаны выполнятся.
А это и не нужно, выполняется строго то, что после них следует, этого достаточно чтобы не быть "каким угодно", т.к. установлена строгая связь. Более того, многие аксиомы не требуют доказательств, потому-что являются определениями. К примеру, параллельные прямые. Хотя и для них существует доказательство от противного.

EP>В частности законы сохранения импульса, энергии, и т.п. вытекают из вполне определённых ПРЕДПОЛОЖЕНИЙ (что чётко видно из упомянутой знаменитой теоремы Нётер), а не являются обязательными атрибутами любого мира и модели. Эти ПРЕДПОЛОЖЕНИЯ невозможно ДОКАЗАТЬ находясь внутри системы.
Это модель, которая согласуется с тем, что уже открыли.

EP>Я не говорю что оно нарушается "хрен знает как", я говорю что находясь внутри системы невозможно ДОКАЗАТЬ что оно никогда не будет нарушаться.
Математика это делает постоянно. Доказывает из одного другое. При этом не выходя из системы.