Some additions/corrections for Church and Turing