Re: why is halting problem profound?

shimp wrote:

... The wording of the theorem is so
abstract and it says nothing about the kind of code or instructions that
the machine is allowed to execute.

Quite so. Many apparently different definitions of calculation turn out
to be equivalent so that leads one to think that the class of calculable
functions is significant. It's a bit like the Axiom of Choice being
significant because (in part) so many statements are equivalent to it.

--
Remove "antispam" and ".invalid" for e-mail address.
.

Quantcast