Page "Church–Turing thesis" Paragraph 10

:"< sup >†</ sup > We shall use the expression ' computable function ' to mean a function calculable by a machine, and let ' effectively calculable ' refer to the intuitive idea without particular identification with any one of these definitions.