Nedávný článek "Důsledky nerozhodnutelnosti ve fyzice na teorii všeho" od @LKrauss1 a dalších tvrdí, že Gödelova/Tarského neúplnost implikuje, že realita nemůže být simulací. Ale dělají chybu v kategorii. 🧵

"Úplná teorie reality" nemusí dokazovat svou vlastní konzistenci. Formální neúplnost ≠ fyzická neúplnost. Očekávali bychom, že taková teorie bude formálně neúplná. Nedokazatelná tvrzení by jednoduše odpovídala neredukovatelným strukturám v realitě, nikoli by ji zneplatnila.

Autoři mapují Gödelovy věty na fyzikální fakta (např. "specifické mikrostavy černých děr") a pak požadují nealgoritmický pravdivostní predikát "aktualizovaný v přírodě". To přeskakuje od metalogiky k ontologii bez jakéhokoli ospravedlnění.