I will repeat that I am not actually making a claim about quantum computers here. I have no idea if the Gödel’s Incompleteness-based proof holds. I am merely pointing out the sneakiness of this assumption.
In case you’re curious, quantum computers also cannot solve the halting problem, because quantum computers can be simulated on classical computers with only exponential slowdown.
Nice find.
In case you’re curious, quantum computers also cannot solve the halting problem, because quantum computers can be simulated on classical computers with only exponential slowdown.