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