He proposed a quantum version of a "Turing machine" — a theoretical model ... allowing it to solve any problem that is ...