As an answer to the question "are there finite mathematical descriptions that are not effective" posed by Hilbert, Turing provided the halting function as being not effectively computable despite being finitely expressible. This he established by devising
