Computable domains of a Halting Function

Abel Luis Peralta

We discuss the possibility of constructing a function that validates the definition or not definition of the partial recursive functions of one variable. This is a topic in computa…