İkinci darbe matematikten geldi. British Columbia Üniversitesi'nden Dr. Mir Faizal ve Lawrence Krauss'un da bulunduğu ekip, Gödel'in eksiklik teoremini fiziğe uyguladı (doi:10.22128/jhap.2025.1024.1118). Gödel yeterince güçlü herhangi bir formel sistemde o sistem içinde kanıtlanamayan ama doğru olan önermelerin mutlaka var olduğunu göstermişti. Faizal ve ekibi evrenin temel yasalarını tam ve tutarlı bir şekilde hesaplamanın algoritmik olarak mümkün olmadığını, çünkü gerçekliğin en derin katmanının algoritmik olmayan bir anlayışa dayandığını kanıtladı. Her simülasyon zorunlu olarak algoritmiktir ama evrenin temeli algoritmik değildir; dolayısıyla evren bir simülasyon olamaz. Krauss durumu şöyle özetledi: "Fiziğin temel yasaları uzay-zamanın içinde yer almaz, onları üretir."