Turing computable

Summary