computability theory 7578188