"all turing computable functions" - related articles and key terms