I also add the Turing one at the end of the post also because of the discussions at the beginning - especially "Church had certainly obtained the result before

I also add the Turing one at the end of the post also because of the discussions at the beginning - especially "Church had certainly obtained the result before Turing"