4 ms·
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 famous
by ozb 11mo ago
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.
- NoahZuniga 11mo agoHe, however, seems to hold the minority view under Nobel prize winning physicists on this subject.
- roywiggins 11mo agoappear 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.