Makalah baru-baru ini "Konsekuensi Ketidakpastian dalam Fisika pada Teori Segalanya" oleh @LKrauss1 dan yang lainnya berpendapat bahwa ketidaklengkapan Gödel/Tarski menyiratkan bahwa realitas tidak dapat menjadi simulasi. Tapi mereka membuat kesalahan kategori. 🧵

Sebuah "teori realitas yang lengkap" tidak perlu membuktikan konsistensinya sendiri. Ketidaklengkapan formal ≠ ketidaklengkapan fisik. Kami mengharapkan teori seperti itu secara formal tidak lengkap. Pernyataan yang tidak dapat dibuktikan hanya akan sesuai dengan struktur yang tidak dapat direduksi dalam kenyataan, bukan membatalkannya.

Para penulis memetakan kalimat Gödel ke fakta fisik (misalnya, "keadaan mikro lubang hitam tertentu") dan kemudian menuntut predikat kebenaran non-algoritmik "diaktualisasikan di alam." Ini melompat dari meta-logika ke ontologi tanpa pembenaran apa pun.