The Church-Turing Thesis (Stanford Encyclopedia of Philosophy Archive)
https://plato.stanford.edu/archIves/win2016/entries/church-turing/ “The Church-Turing thesis concerns the notion of an effective or mechanical method in logic and mathematics. ‘Effective’ and its synonym ‘mechanical’ are terms of art in these disciplines: they do not carry their everyday meaning. A method, or procedure, M, for achieving some desired result is called ‘effective’ or ‘mechanical’ just in case Church’s thesis: A function of … Read more