Church's Thesis entails that any function intuitively computable by a finite procedure is computable...