Двач, я тут подумал над такой штукой - вот у тебя есть вселенная. Если предположить, что она представима в виде непротиворечивой математической модели, то тогда выясняется забавная вещь - любая непротиворечивая математическая модель существует, в том же смысле, в каком существует наша вселенная. Декарт на этом месте, как мы помним из школьного курса философии, сказал "стоп" и ввел критерий существования - "я мыслю - следовательно я существую". Ну и вообще, разумно любую достаточно сложную математическую систему считать разумной, то бишь существующей. Таким образом, получается совершенно новый уровень абстракции. И вроде бы все хорошо, но есть одно но.
Кто придумал математику и непротиворечивые модели? Что такое вообще свойство непротиворечивости?
Я думаю так - у тебя есть набор элементов, которые являются разнообразными структурами друг над другом. Можно представлять это так - есть набор базовых элементов, причем есть операция A->B, как бы применяющая элемент A относительно B как функцию. Что-то похожее на функциональное программирование. Тогда система полна, если все функции, возвращающие всевозможные элементы от всевозможных параметров, существуют (притом, что сам параметр может быть функцией, и результат - тоже). Тогда более-менее минимальным непротиворечивым состоянием, не состоящим из только нуля, является единица, которая на нуле возвращает ноль, а на единице - себя. Такой бесконечный рекурсивный вызов. А если предположить существование двух элементов, то мы получаем список, логику и вообще все наши ненаглядные математические конструкции. Такие дела.
Но вот является ли свойство полноты/непротиворечивости фундаментальным для любого объекта нашего мультиверса?