study of computability 2429831