there is no theory that proves it's impossible. breakthroughs like topological quantum computing could make error correction trivial (Microsoft is already claiming they have a device that proves this)...