computability theory 9850452