theory and practice computability 1621762