computability concepts 9812470