Quantum Supremacy: How the Quantum Computer Revolution Will Change Everything

by Michio Kaku

Are there true statements that cannot be computed in a finite amount of time by a Turing machine, given a set of axioms? Like the work of Gödel, Turing showed that the answer is yes.