Вход на сайт
Симуляция через призму технологической сингулярности
444 просмотров
Перейти к просмотру всей ветки
Назад
в ответ Борис Демидович 3 дня назад, 12:15
любая достаточно мощная система не может доказать внутри себя все истины о самой себе, в частности не может окончательно удостовериться в своей непротиворечивости и самодостаточности.
Верно, но это одна из формулировок самой теоремы, а выше речь шла об одном из следствий из неё. Но философский вопрос остаётся - если доказать нахождение в симуляции невозможно, то зачем заморачиваться?