Nice reply. I don’t know anything about Peano arithmetic, or how it applies to the halting problem, so I can’t really evaluate this. All I know is the description of the proof that I read some time ago. Maybe there’s more to dig into on it, but as you say at the start of your post, likely none of it has anything to do with what Penrose is arguing for.