Deutsch, D., 1985, ‘Quantum theory, the Church-Turing principle and the universal quantum computer’, Proc. Roy. Soc. A, 400: 97–115. Diamond, C. (ed.), 1976, Wittgenstein’s Lectures on the Foundations of Mathematics, Cambridge, 1939, Hassocks: Harvester Press. ...
A function is said to be ‘effectively calculable’ if its values can be found by some purely mechanical process. Although it is fairly easy to get an intuitive grasp of this idea, it is nevertheless desirable to have some more definite, mathematically expressible definition. Such a definition ...