I kind of disagree, describing any possible algorithm is not that powerful, given that an actual Turing machine can do it.

And along with Turing machines you've got problems, like undecidability and the halting problem.