theory of computability 1098557