theory and practice of computability class 32 892833