Quantum Computing since Democritus

by Scott Aaronson

First, it means that, when Penrose claims that humans can “see” the truth of G(F), really he's just claiming that humans can see the consistency of F!