> Uncomputable functions exist because the halting problem exists. Uncomputable functions exist because there are only countably many Turing machines. There ar

> Uncomputable functions exist because the halting problem exists. Uncomputable functions exist because there are only countably many Turing machines. There are problems that stay uncomputable even if the halting problem were computable.