Il recente articolo "Le conseguenze dell'indecidibilità nella fisica sulla teoria di tutto" di @LKrauss1 e altri sostiene che l'incompletezza di Gödel/Tarski implica che la realtà non possa essere una simulazione. Ma stanno commettendo un errore di categoria.🧵

Una "teoria completa della realtà" non deve necessariamente dimostrare la propria coerenza. L'incompletezza formale ≠ l'incompletezza fisica. Ci aspetteremmo che una tale teoria fosse formalmente incompleta. Le affermazioni indecidibili corrisponderebbero semplicemente a strutture irreducibili nella realtà, senza invalidarla.

Gli autori mappano le frasi di Gödel ai fatti fisici (ad esempio, “microstati specifici di buchi neri”) e poi richiedono un predicato di verità non algoritmico “attualizzato nella natura.” Questo salta dalla meta-logica all'ontologia senza alcuna giustificazione.