Bài báo gần đây "Hệ quả của sự không thể quyết định trong Vật lý đối với Lý thuyết về mọi thứ" của @LKrauss1 và những người khác lập luận rằng sự không hoàn chỉnh của Gödel/Tarski ngụ ý rằng thực tại không thể là một mô phỏng. Nhưng họ đang mắc phải một lỗi phân loại.🧵

Một "lý thuyết hoàn chỉnh về thực tại" không cần phải chứng minh tính nhất quán của chính nó. Sự không hoàn chỉnh về hình thức ≠ sự không hoàn chỉnh về vật lý. Chúng ta sẽ mong đợi một lý thuyết như vậy là không hoàn chỉnh về hình thức. Các phát biểu không thể chứng minh sẽ đơn giản tương ứng với các cấu trúc không thể giảm thiểu trong thực tại, không làm vô hiệu hóa nó.

Các tác giả ánh xạ các câu Gödel tới các sự thật vật lý (ví dụ, "các trạng thái vi mô lỗ đen cụ thể") và sau đó yêu cầu một định nghĩa về sự thật không thuật toán "được hiện thực hóa trong tự nhiên." Điều này nhảy từ siêu logic sang tồn tại mà không có bất kỳ sự biện minh nào.