[ozb]

For what it's worth, while I find this "obvious" as well, given the Church-Turing Thesis etc, Nobel Prize-winning physicist and philosopher Roger Penrose famously does think that human brains require access to non-computable insights to do math.

[roywiggins]

appear to the a-life Moses with tablets with the non-simulation proof written in Lean. They don't need insights to verify that proof, just a computer running inside the simulation.

Or just start simulating QM on a limited basis, just inside their brains. You might need to run evolution for another few million years until they start taking advantage of whatever Penrosian effects there are.

[NoahZuniga]

He, however, seems to hold the minority view under Nobel prize winning physicists on this subject.