You may want to read https://www.scottaaronson.com/writings/finite.html https://www.scottaaronson.com/writings/finite.html. Perhaps also https://iep.utm.edu/lp

You may want to read https://www.scottaaronson.com/writings/finite.html https://www.scottaaronson.com/writings/finite.html. Perhaps also https://iep.utm.edu/lp-argue/ https://iep.utm.edu/lp-argue/. The Lucas-Penrose argument is not generally accepted among philosophers. Of course, that doesn't necessarily mean it fails - truth isn't a popularity contest - but it does indicate there are some subtleties at play here; it's not so obvious Emperor of the Mind/Shadows of the Mind succeeds in its argument.