Quantum Computing since Democritus

by Scott Aaronson

why all of mathematics can't be reduced to a fixed “mechanical process,”