O recente artigo "Consequências da Indecidibilidade na Física sobre a Teoria de Tudo" de @LKrauss1 e outros argumenta que a incompletude de Gödel/Tarski implica que a realidade não pode ser uma simulação. Mas eles estão cometendo um erro de categoria.🧵

Uma "teoria completa da realidade" não precisa provar a sua própria consistência. Incompletude formal ≠ incompletude física. Esperaríamos que tal teoria fosse formalmente incompleta. As declarações não prováveis corresponderiam simplesmente a estruturas irreduzíveis na realidade, não a invalidariam.

Os autores mapeiam sentenças de Gödel para fatos físicos (por exemplo, "microestados específicos de buracos negros") e depois exigem um predicado de verdade não algorítmico "atualizado na natureza." Isso salta da meta-lógica para a ontologia sem qualquer justificação.