> One of those predictions is that it's possible to build a large-scale fault tolerant quantum computer.
Quantum theory doesn't predict that it's possible to build a large scale quantum computer. It merely says that a large scale quantum computer is consistent with theory.
Dyson spheres and space elevators are also consistent with quantum theory, but that doesn't mean that it's possible to build one.
Physical theories are
subtractive, something that is consistent with the lowest levels of theory can still be ruled out by higher levels.
Good point. I didn't sufficiently delineate what counts as a scientific problem and what counts as an engineering problem in QC.
Quantum theory, like all physical theories, makes predictions. In this case, quantum theory predicts that if the physical error rate of qubits is below a threshold, then error correction can be used to increase the quality of a logical at arbitrarily high levels. This prediction can be false. We currently don't know all of the potential noise sources that will prevent us from building a quantum logic gate that is of similar quality as a classical logic gate.
Building thousands of these logical qubits is an engineering problem similar to Dyson spheres and space elevators. You're right that the lower levels of building 1 really good logical qubit doesn't mean that we can build thousands of them.
If our case, even the lower-levels haven't been validated. This is what I meant when I implied that the project of building a large-scale QC might teach us something new about physics.
Quantum theory doesn't predict that it's possible to build a large scale quantum computer. It merely says that a large scale quantum computer is consistent with theory.
Dyson spheres and space elevators are also consistent with quantum theory, but that doesn't mean that it's possible to build one.
Physical theories are subtractive, something that is consistent with the lowest levels of theory can still be ruled out by higher levels.