It did not prove the idea impossible. Just trivial/naive versions of the idea which ignore the halting problem or incompleteness theorem.