Quantum Computing since Democritus

by Scott Aaronson

The second implication is that, if we grant a computer the same freedom that Penrose effectively grants to humans – namely, the freedom to assume the consistency of the underlying formal system – then the computer can prove G(F).