История изменений

Представим, что у ТСа цель получить не просто какую-то модель мира, а модель мира совпадающую с Миром.

Теперь, если модель фиксированна, всегда истинна по определению, и описана в виде свода формальных правил - с помощью формальной логики можно доказать не только существование, но и несуществование. (В универе даже есть по этому поводу курс - «теория алгоритмов»). То, чего не существует - несуществует. Разве нет? Есть даже «дополненное существование» - теорема о неполноте )))

Представим, что у ТСа цель получить не просто какую-то модель мира, а модель мира совпадающую с Миром.

Теперь, если модель фиксированна, всегда истинна по определению, и описана в виде свода формальных правил - с помощью формальной логики можно доказать не только существование, но и несуществование. То, чего не существует - несуществует. Разве нет? Есть даже «дополненное существование» - теорема о неполноте )))