computability concepts 907850