I'll have to have a look at Lean 4 then. The simulation hypothesis has a flaw IMHO- If it is modelable and therefore computable, it may be subject to the halti

I'll have to have a look at Lean 4 then. The simulation hypothesis has a flaw IMHO- If it is modelable and therefore computable, it may be subject to the halting problem