Not All Computational Methods Are Effective Methods
Abstract
:1. Introduction
2. Distinguishing Features of This Argument
2.1. No Dependence on Hypercomputation
“… ‘effective computation’ (i.e., calculation by means of effective procedures) encompasses a wide, and an important, class of computations, but not necessarily all computations … none of the hyper-machines described in the literature computes by means of effective procedures.”Shagrir and Pitowsky [6] (p. 94)
“It is perhaps surprising that not all classical algorithms are manual methods. That this is in fact the case has emerged from recent work on quantum computation … Algorithms for quantum Turing machines are not in general manual methods, since not all the primitive operations made available by the quantum hardware can be performed by a person unaided by machinery.”Copeland and Sylvan [2] (p. 55)
2.2. Computations Should Be Individuated by Their Internal Workings
3. What Is an Effective Method?
“A method, or procedure, M, for achieving some desired result is called ‘effective’ (or ‘systematic’ or ‘mechanical’) just in case:
- M is set out in terms of a finite number of exact instructions (each instruction being expressed by means of a finite number of symbols);
- M will, if carried out without error, produce the desired result in a finite number of steps;
- M can (in practice or in principle) be carried out by a human being unaided by any machinery except paper and pencil;
- M demands no insight, intuition, or ingenuity, on the part of the human being carrying out the method.” Copeland [24]
“A mathematical method is termed ‘effective’ or ‘mechanical’ if and only if it can be set out in the form of a list of instructions able to be followed by an obedient human clerk … who works with paper and pencil, reliably but without insight or ingenuity, for as long as is necessary.”Copeland [25] (p. 12)
“Turing examined … human mechanical computability and exploited, in sharp contrast to Post, limitations of the human computing agent to motivate restrictive conditions … Turing asked in the historical context in which he found himself the pertinent question, namely, what are the possible processes a human being can carry out (when computing a number or, equivalently, determining algorithmically the value of a number theoretic function)?”Sieg [26] (p. 395)
“[Computable problems are those] which can be solved by human clerical labour, working to fixed rule, and without understanding”Turing [27] (pp. 38–39)
“[With regard to what is effectively calculable] Both Church and Turing had in mind calculation by an abstract human being using some mechanical aids (such as paper and pencil).”Gandy [28] (p. 123)
“Turing’s analysis makes no reference whatsoever to calculating machines. Turing machines appear as a result, as a codification, of his analysis of calculation by humans [previously defined as ‘effective calculability’].”Gandy [29] (p. 77)
“Roughly speaking, an algorithm [previously defined as an ‘effective procedure’] is a clerical (i.e., deterministic, book-keeping) procedure which can be applied to any of a certain class of symbolic inputs and which will eventually yield, for each such input a corresponding symbolic output.”Rogers [30] (p. 1)
“Effectiveness. An algorithm is also generally expected to be effective, in the sense that its operations must all be sufficiently basic that they can in principle be done exactly and in a finite length of time by someone using pencil and paper.”Knuth [31] (p. 6)
“[an effective procedure is] a list of instructions … that in principle make it possible to determine the value for any argument n … The instructions must be completely definite and explicit. They should tell you at each step what to do, not tell you to go ask someone else what to do, or to figure out for yourself what to do: the instructions should require no external sources of information, and should require no ingenuity to execute …”Boolos et al. [32] (p. 23)
4. Didn’t Turing Define “Effective Method”?
“Turing’s work is a paradigm of philosophical analysis: it shows that what appears to be a vague intuitive notion has in fact a unique meaning which can be stated with complete precision.”Gandy [29] (p. 79)
“Church’s thesis is the proposal to identify an intuitive notion with a precise, formal, definition.”Folina [42] (p. 311)
“In 1928, the notion of an algorithm [effective method] was pretty vague. Up to that point, algorithms were often carried out by human beings using paper and pencil … Attacking Hilbert’s problem forced Turing to make precise exactly what was meant by an algorithm. To do this, Turing described what we now call a Turing machine.”Matuschak and Nielsen [43]
“If Turing’s thesis is correct, then talk about the existence and non-existence of effective methods can be replaced throughout mathematics, logic and computer science by talk about the existence or non-existence of Turing machine programs.”Copeland [24]
“… one can reduce it [the definition of a solvable puzzle] to the definition of ‘computable function’ or ‘systematic [effective] procedure’. A definition of any one of these would define all the rest. Since 1935 a number of definitions have been given [Turing machines, the -calculus, the -recursive functions, etc.], explaining in detail the meaning of one or other of these terms, and these have all been proved equivalent to one another …”Turing [44] (p. 589)
5. All Computational Methods Are Effective Methods
“An algorithm or effective method … is a procedure for correctly calculating the values of a function or solving a class of problems that can be executed in a finite time and mechanically—that is, without the exercise of intelligence or ingenuity or creativity … A computation is anything that … calculates the values of a function or solves a problem by following an algorithm or effective method.”Burkholder [46] (p. 47)
“The logician Turing proposed (and solved) the problem of giving a characterization of computing machines in the widest sense—mechanisms for solving problems by effective series of logical operations.”Oppenheim and Putnam [47] (p. 19)
“We have assumed the reader’s understanding of the general notion of effectiveness, and indeed it must be considered as an informally familiar mathematical notion, since it is involved in mathematical problems of a frequently occurring kind, namely, problems to find a method of computation, i.e., a method by which to determine a number, or other thing, effectively. We shall not try to give here a rigorous definition of effectiveness, the informal notion being sufficient to enable us, in the cases we shall meet, to distinguish methods as effective or non-effective … The notion of effectiveness may also be described by saying that an effective method of computation, or algorithm, is one for which it would be possible to build a computing machine.”Church [48] (p. 52)
“Sometimes computers are called information processors … How they process or manipulate is by carrying out effective procedures … Computation [means] the use of an algorithm … also called an ‘effective method’ or a ‘mechanical procedure’ … to calculate the value of a function.”Crane [49] (pp. 102, 233)
“The functional organisation of mental processes can be characterized in terms of effective procedures, since the mind’s ability to construct working models is a computational process.”Johnson-Laird [50] (pp. 9–10)
“… [a] procedure admissible as an ‘ultimate’ procedure in a psychological theory [will fall] well within the intuitive boundaries of the ‘computable’ or ‘effective’ as these terms are presumed to be used in Church’s Thesis.”Dennett [51] (p. 83)
6. Quantum Computations That Are Not Effective Methods
“In addition to classical sequential algorithms, in use from antiquity, we have now parallel, interactive, distributed, real-time, analog, hybrid, quantum, etc. algorithms. New kinds of numbers and algorithms may be introduced. The notions of numbers and algorithms have not crystallized (and maybe never will) to support rigorous definitions.”Gurevich [64] (p. 32)
7. Simulating the Quantum System by Hand
8. Conclusions
- If two putative computational methods have different worst-case complexity profile, then they are genuinely different computational methods.
- There are abstract quantum computational methods that have different worst-case complexity profiles to that of any known effective method.
- 3.
- There are computational methods that are not effective methods.
“The real question at issue is ‘What are the possible processes which can be carried out in computing a number?’ ”Turing [45] (p. 249)
Funding
Institutional Review Board Statement
Informed Consent Statement
Data Availability Statement
Acknowledgments
Conflicts of Interest
1 | See Copeland and Proudfoot [1]. |
2 | |
3 | |
4 | I do not claim that quantum cases are the only examples of non-effective computational methods; see the end of Section 6 for discussion of other possible examples. |
5 | |
6 | In other words, by the function that they compute, where “function” is understood in a purely extensional way, i.e., as a set or ordered pairs corresponding to the overall input and output. |
7 | |
8 | See Block [15] for a classic discussion of this. |
9 | Worst-case measures of space or time complexity are not the only ones used to describe this resource usage, but they are the most commonly employed. Thanks to an anonymous reviewer for this point. |
10 | In this notation, n is the size of the list and provides an asymptotic upper bound on the resource consumption: for large enough n, resource consumption is always less than or equal to some constant times the function named inside the . For more on complexity theory and use of big-O notation to measure resource usage, see Papadimitriou [16]. |
11 | |
12 | For a helpful analysis of these two problems in relation to creating a general theory, see Blass et al. [21]. |
13 | See Knuth [22], (p. 97), who suggests that a distinguishing feature of computer science is that algorithms should be individuated by their complexity class. He argues that this “algorithmic” mode of thinking separates the thought processes of earlier mathematicians from those of later computer scientists (pp. 96–98). See Dean [17], (pp. 20–29); Shagrir [23] for further discussion of how and why complexity profiles matter to the individuation of computational methods. |
14 | Some critics of Turing argued that his human-centric characterisation of an effective method was not too narrow (as the authors above suggest), but too broad: the definition should be narrowed by adding a requirement that the number of steps taken by the human clerk should be somehow bounded or determinable in advance. For criticism of such proposals, see Gandy [29] (pp. 59–60); Mendelson [37] (p. 202); Rogers [30] (p. 5). |
15 | |
16 | |
17 | Copeland [25,52] criticises a number of the same authors for committing what he calls the “Church–Turing fallacy”. The fallacy is to assume that any possible physical mechanism could be simulated by some Turing machine. My claim is that the authors make a second mistake in that they assume that any possible computational method is also an effective method. Copeland argues that although “effective” and “mechanical” sometimes appear to be synonyms in mathematical logic, the relationship between them should be handled with caution. “Mechanical” should be understood as a term of art and defined in the way described in Section 3. It does not correspond in any straightforward way to the concept of a physical mechanism. |
18 | See Searle [54] (p. 202) and Searle (personal correspondence). |
19 | |
20 | See Lycan [58] for the name “homuncular functionalism” and a clear reconstruction of the view. |
21 | See Shagrir [61] for a helpful analysis and criticism of this second claim about the multiple realisability of computation. |
22 | See also Blass and Gurevich [65]: “In fact the notion of algorithm is richer these days than it was in Turing’s days. And there are algorithms … not covered directly by Turing’s analysis, for example, algorithms that interact with their environments, algorithms whose inputs are abstract structures, and geometric or, more generally, non-discrete algorithms.” (p. 31) |
23 | |
24 | If a superposition state is measured, then the result is 0 with probability , and 1 with probability , with . A gate performs the operation on the quantum state vector described by the complex-valued matrix . |
25 | Cf. Nielsen and Chuang [69] (p. 50): “… it is tempting to dismiss quantum computation as yet another technological fad … This is a mistake, since quantum computation is an abstract paradigm for information processing that may have many different implementations in technology.” |
26 | More accurately, a unitary (reversible) operator is applied to the input, : , where ⊕ indicates addition modulo 2. is used because there is no guarantee that an arbitrary f itself is unitary, and the evolution of a quantum mechanical system must be governed by unitary operators. This modification does not affect the point above. |
27 | See Nielsen and Chuang [69] (pp. 30–32). |
28 | Strictly, a pair of values can be recovered, . The output is a pair because the evolution of the quantum state is governed by unitary operators (quantum computations must be reversible). |
29 | |
30 | A Hadamard gate is a quantum operator that works in a similar way to Deutsch’s operator, but defined over the real numbers. The transformation provided by a Hadamard gate is given by the real-valued matrix . Like Deutsch’s , a Hadamard gate may be physically implemented with half-silvered mirrors; see Barz [73]. |
31 | See Nielsen and Chuang [69] (pp. 32–36) for the details of the algorithm. |
32 | Ibid. |
33 | For further discussion of this point, see Nielsen and Chuang [69], pp. 30–34. |
34 | See Ekert and Jozsa [75] for algorithms that use quantum entanglement, and Bennett et al. [76], Gottesman and Chuang [77] for algorithms that use teleportation. Counterfactual computation is a counterintuitive method in which the intermediate steps of the computations do not take place in the actual world (according to measurement), yet the desired output is still produced; for a proposed application, see Hosten et al. [78]. |
35 | Shagrir [40], pp. 46–47. |
36 | I am assuming the methods in question have the same overall input–output profile and that one is trying to individuate them based on their internal workings. As discussed in Section 2.1, I am setting aside the use of hypercomputers for establishing the claim that not all computational methods are effective methods. |
37 | Nielsen and Chuang [69] (pp. 48, 204–206). |
References
- Copeland, B.J.; Proudfoot, D. Alan Turing’s forgotten ideas in computer science. Sci. Am. 1999, 280, 77–81. [Google Scholar] [CrossRef]
- Copeland, B.J.; Sylvan, R. Beyond the universal Turing machine. Australas. J. Philos. 1999, 77, 46–66. [Google Scholar] [CrossRef]
- Copeland, B.J. Hypercomputation. Minds Mach. 2002, 12, 461–502. [Google Scholar] [CrossRef]
- Copeland, B.J. Hypercomputation: Philosophical issues. Theor. Comput. Sci. 2004, 317, 251–267. [Google Scholar] [CrossRef]
- Syropoulos, A. Hypercomputation: Computing Beyond the Church–Turing Barrier; Springer: New York, NY, USA, 2008. [Google Scholar]
- Shagrir, O.; Pitowsky, I. Physical hypercomputation and the Church-Turing thesis. Minds Mach. 2003, 13, 87–101. [Google Scholar] [CrossRef]
- Button, T. SAD Computers and two versions of the Church-Turing Thesis. Br. J. Philos. Sci. 2009, 60, 765–792. [Google Scholar] [CrossRef]
- Davis, M. The myth of hypercomputation. In Alan Turing: Life and Legacy of a Great Thinker; Teuscher, C., Ed.; Springer: Berlin, Germany, 2004; pp. 195–211. [Google Scholar]
- Piccinini, G. The physical Church–Turing Thesis: Modest or bold? Br. J. Philos. Sci. 2011, 62, 733–769. [Google Scholar] [CrossRef] [Green Version]
- Németi, I.; Dávid, G. Relativistic computers and the Turing barrier. Appl. Math. Comput. 2006, 178, 118–142. [Google Scholar] [CrossRef]
- Copeland, B.J. The broad conception of computation. Am. Behav. Sci. 1997, 40, 690–716. [Google Scholar] [CrossRef]
- Turing, A.M. Systems of logic based on ordinals. Proc. Lond. Math. Soc. Ser. 2 1939, 45, 161–228. [Google Scholar] [CrossRef]
- Church, A. The Calculi of Lambda-Conversion; Princeton University Press: Princeton, NJ, USA, 1941. [Google Scholar]
- Marr, D. Vision; W. H. Freeman: San Francisco, CA, USA, 1982. [Google Scholar]
- Block, N. Psychologism and behaviorism. Philos. Rev. 1981, 90, 5–43. [Google Scholar] [CrossRef] [Green Version]
- Papadimitriou, C.H. Computational Complexity; Addison-Wesley: Reading, MA, USA, 1994. [Google Scholar]
- Dean, W. Algorithms and the mathematical foundations of computer science. In Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge; Horsten, L., Welch, P., Eds.; Oxford University Press: Oxford, UK, 2016; pp. 19–66. [Google Scholar]
- Gurevich, Y. The sequential ASM thesis. Bull. Eur. Assoc. Theor. Comput. Sci. 1999, 67, 93–124. [Google Scholar]
- Gurevich, Y. Sequential Abstract State Machines capture sequential algorithms. Acm Trans. Comput. Log. 2000, 1, 77–111. [Google Scholar] [CrossRef]
- Moschovakis, Y.N. What is an algorithm? In Mathematics Unlimited—2001 and Beyond; Engquist, B., Schmid, W., Eds.; Springer: Berlin, Germany, 2001. [Google Scholar]
- Blass, A.; Dershowitz, N.; Gurevich, Y. When are two algorithms the same? Bull. Symb. Log. 2009, 15, 145–168. [Google Scholar] [CrossRef] [Green Version]
- Knuth, D.E. Algorithms in modern mathematics and computer science. In Algorithms in Modern Mathematics and Computer Science; Ershov, A.P., Knuth, D.E., Eds.; Springer: Berlin/Heidelberg, Germany, 1981; pp. 82–99. [Google Scholar]
- Shagrir, O. Advertisement for the philosophy of the computational sciences. In The Oxford Handbook of Philosophy of Science; Humphreys, P., Ed.; Oxford University Press: Oxford, UK, 2016; pp. 15–42. [Google Scholar]
- Copeland, B.J. The Church-Turing thesis. In The Stanford Encyclopedia of Philosophy, Summer 2020 ed.; Zalta, E.N., Ed.; 2020; Available online: https://plato.stanford.edu/archives/sum2020/entries/church-turing/ (accessed on 23 September 2022).
- Copeland, B.J. Narrow versus wide mechanism. J. Philos. 2000, 97, 5–32. [Google Scholar] [CrossRef]
- Sieg, W. Calculations by man and machine: Conceptual analysis. In Proceedings of the Reflections on the Foundations of Mathematics (Essays in Honor of Solomon Feferman); Volume 15 of Lectures Notes in Logic, Association of Symbolic Logic; Sieg, W., Sommer, R., Talcott, C., Eds.; Cambridge University Press: Cambridge, UK, 2002; pp. 390–409. [Google Scholar]
- Turing, A.M. Proposals for development in the Mathematics Division of an Automatic Computing Engine (ACE). Report to the Executive Committee of the National Physics Laboratory. In Collected Works of A. M. Turing: Mechanical Intelligence; Ince, D.C., Ed.; Elsevier: Amsterdam, The Netherlands, 1992; pp. 1–86. [Google Scholar]
- Gandy, R.O. Church’s thesis and principles of mechanisms. In The Kleene Symposium; Barwise, J., Keisler, H.J., Kunen, K., Eds.; North Holland: Amsterdam, The Netherlands, 1980; pp. 123–145. [Google Scholar]
- Gandy, R.O. The confluence of ideas in 1936. In The Universal Turing Machine: A Half-Century Survey; Herken, R., Ed.; Oxford University Press: Oxford, UK, 1988; pp. 55–111. [Google Scholar]
- Rogers, H. Theory of Recursive Functions and Effective Computability; McGraw-Hill: New York, NY, USA, 1967. [Google Scholar]
- Knuth, D.E. The Art of Computer Programming, Volume 1: Fundamental Algorithms, 3rd ed.; Addison-Wesley: Upper Saddle River, NJ, USA, 1997. [Google Scholar]
- Boolos, G.; Burgess, J.P.; Jeffrey, R.C. Computability and Logic, 5th ed.; Cambridge University Press: Cambridge, UK, 2007. [Google Scholar]
- Cleland, C.E. The concept of computability. Theor. Comput. Sci. 2004, 317, 209–225. [Google Scholar] [CrossRef]
- Cleland, C.E. On effective procedures. Minds Mach. 2002, 12, 159–179. [Google Scholar] [CrossRef]
- Etesi, G.; Németi, I. Non-Turing computations via Malament–Hogarth space-times. Int. J. Theor. Phys. 2002, 41, 341–370. [Google Scholar] [CrossRef]
- Shagrir, O. Effective computation by humans and machines. Minds Mach. 2002, 12, 221–240. [Google Scholar] [CrossRef]
- Mendelson, E. On some recent criticism of Church’s Thesis. Notre Dame J. Form. Log. 1963, 4, 201–205. [Google Scholar] [CrossRef]
- Shapiro, S. Computability, proof, and open-texture. In Church’s Thesis After 70 Years; Olszewski, A., Woleński, J., Janusz, R., Eds.; Ontos Verlag: Heusenstamm, Germany, 2006; pp. 420–455. [Google Scholar]
- Black, R. Proving Church’s Thesis. Philos. Math. 2000, 8, 244–258. [Google Scholar] [CrossRef]
- Shagrir, O. The Nature of Physical Computation; Oxford University Press: Oxford, UK, 2022. [Google Scholar]
- Smith, P. An Introduction to Gödel’s Theorems, 2nd ed.; Cambridge University Press: Cambridge, UK, 2013. [Google Scholar]
- Folina, J. Church’s Thesis: Prelude to a proof. Philos. Math. 1998, 6, 302–323. [Google Scholar] [CrossRef]
- Matuschak, A.; Nielsen, M.A. Quantum Computing for the Very Curious; San Francisco. 2019. Available online: https://quantum.country/qcvc (accessed on 23 September 2022).
- Turing, A.M. Solvable and unsolvable problems. In The Essential Turing; Copeland, B.J., Ed.; Oxford University Press: Oxford, UK, 2004; pp. 582–595, Originally published in Science News, 1954, 31, 7–23. [Google Scholar]
- Turing, A.M. On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. Ser. 2 1936, 42, 230–265. [Google Scholar]
- Burkholder, L. Computing. In A Companion to the Philosophy of Science; Newton–Smith, W.H., Ed.; Blackwell: Oxford, UK, 2000; pp. 44–55. [Google Scholar]
- Oppenheim, P.; Putnam, H. Unity of science as a working hypothesis. In Concepts, Theories, and the Mind–Body Problem; Feigl, H., Scriven, M., Maxwell, G., Eds.; Minnesota Studies in the Philosophy of Science, University of Minnesota Press: Minneapolis, MN, USA, 1958; Volume 2, pp. 3–36. [Google Scholar]
- Church, A. Introduction to Mathematical Logic; Princeton University Press: Princeton, NJ, USA, 1956. [Google Scholar]
- Crane, T. The Mechanical Mind, 2nd ed.; Routledge: London, UK, 2003. [Google Scholar]
- Johnson-Laird, P.N. Mental Models; Cambridge University Press: Cambridge, UK, 1983. [Google Scholar]
- Dennett, D.C. Brainstorms; MIT Press: Cambridge, MA, USA, 1978. [Google Scholar]
- Copeland, B.J. Turing’s O-machines, Searle, Penrose and the brain. Analysis 1998, 58, 128–138. [Google Scholar] [CrossRef]
- Searle, J.R. Minds, brains, and programs. Behav. Brain Sci. 1980, 3, 417–424. [Google Scholar] [CrossRef] [Green Version]
- Searle, J.R. The Rediscovery of the Mind; MIT Press: Cambridge, MA, USA, 1992. [Google Scholar]
- Copeland, B.J. The curious case of the Chinese gym. Synthese 1993, 95, 173–186. [Google Scholar] [CrossRef]
- Sprevak, M. Chinese rooms and program portability. Br. J. Philos. Sci. 2007, 58, 755–776. [Google Scholar] [CrossRef]
- Fodor, J.A. The appeal to tacit knowledge in psychological explanation. J. Philos. 1968, 65, 627–640. [Google Scholar] [CrossRef]
- Lycan, W.G. Form, function, and feel. J. Philos. 1981, 78, 24–50. [Google Scholar] [CrossRef]
- Block, N. Troubles with functionalism. In Perception and Cognition: Issues in the Foundations of Psychology, Minnesota Studies in the Philosophy of Science; Savage, C.W., Ed.; University of Minnesota Press: Minneapolis, MN, USA, 1978; Volume 9, pp. 261–325. [Google Scholar]
- Putnam, H. Philosophy and our mental life. In Mind, Language and Reality, Philosophical Papers, Volume 2; Cambridge University Press: Cambridge, UK, 1975; pp. 291–303. [Google Scholar]
- Shagrir, O. Multiple realization, computation and the taxonomy of psychological states. Synthese 1998, 114, 445–461. [Google Scholar] [CrossRef]
- Cutland, N. An Introduction to Recursive Function Theory; Cambridge University Press: Cambridge, UK, 1980. [Google Scholar]
- Soare, R. The history and concept of computability. In Handbook of Computability Theory; Griffor, E.R., Ed.; Elsevier: New York, NY, USA, 1999; pp. 3–36. [Google Scholar]
- Gurevich, Y. What is an algorithm? In SOFSEM 2012: Theory and Practice of Computer Science. Lecture Notes in Computer Science, Volume 7147; Bieliková, M., Friedrich, G., Gottlob, G., Katzenbeisser, S., Turán, G., Eds.; Springer: Berlin, Germany, 2011; pp. 31–42. [Google Scholar]
- Blass, A.; Gurevich, Y. Algorithms: A quest for absolute definitions. In Church’s Thesis after 70 Years; Olszewski, A., Woleński, J., Janusz, R., Eds.; Ontos Verlag: Heusenstamm, Germany, 2006; pp. 24–57. [Google Scholar]
- Chabert, J.L.; Weeks, C.; Barbin, E.; Borowczyk, J.; Guillemot, M.; Michel-Pajus, A.; Djebbar, A.; Martzloff, J.C. A History of Algorithms: From the Pebble to the Microchip; Springer: Berlin, Germany, 1999. [Google Scholar]
- Knuth, D.E. Ancient Babylonian algorithms. Commun. ACM 1972, 15, 671–677. [Google Scholar] [CrossRef]
- Deutsch, D.; Ekert, A.; Lupacchini, R. Machines, logic and quantum physics. Bull. Symb. Log. 2000, 3, 265–283. [Google Scholar] [CrossRef]
- Nielsen, M.A.; Chuang, I.L. Quantum Computation and Quantum Information, 10th anniversary ed.; Cambridge University Press: Cambridge, UK, 2010. [Google Scholar]
- Cleve, R.; Ekert, A.; Macchiavello, C.; Mosca, M. Quantum algorithms revisited. Proc. R. Soc. Ser. A 1998, 454, 339–354. [Google Scholar] [CrossRef] [Green Version]
- Deutsch, D.; Jozsa, R. Rapid solution of problems by quantum computation. Proc. R. Soc. Ser. A 1992, 439, 553–558. [Google Scholar]
- Deutsch, D. Quantum theory, the Church–Turing principle and the universal quantum computer. Proc. R. Soc. Ser. A 1985, 400, 97–117. [Google Scholar]
- Barz, S. Quantum computing with photons: Introduction to the circuit model, the one-way quantum computer, and the fundamental principles of photonic experiments. J. Phys. B At. Mol. Opt. Phys. 2015, 48, 083001. [Google Scholar] [CrossRef] [Green Version]
- Shor, P.W. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 1999, 41, 303–332. [Google Scholar] [CrossRef]
- Ekert, A.; Jozsa, R. Quantum algorithms: Entanglement-enhanced information processing. Philos. Trans. R. Soc. Lond. Ser. A 1998, 356, 1769–1782. [Google Scholar] [CrossRef] [Green Version]
- Bennett, C.H.; Brassard, G.; Crépeau, C.; Jozsa, R.; Peres, A.; Wootters, W.K. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett. 1993, 70, 1895–1899. [Google Scholar] [CrossRef] [Green Version]
- Gottesman, D.; Chuang, I.L. Quantum teleportation is a universal computational primitive. Nature 1999, 402, 390–393. [Google Scholar] [CrossRef] [Green Version]
- Hosten, O.; Rakher, M.T.; Barreiro, J.T.; Peters, N.A.; Kwiat, P.G. Counterfactual quantum computation through quantum interrogation. Nature 2006, 949–952. [Google Scholar] [CrossRef] [PubMed]
- Adleman, L.M. Molecular computation of solutions to combinatorial problems. Science 1994, 266, 1021–1024. [Google Scholar] [CrossRef] [PubMed] [Green Version]
- Lipton, R.J. DNA solution of hard computational problems. Science 1995, 268, 542–545. [Google Scholar] [CrossRef] [PubMed] [Green Version]
- Barrett, H.C. Enzymatic computation and cognitive modularity. Mind Lang. 2005, 20, 259–287. [Google Scholar] [CrossRef]
- Adamatzky, A. (Ed.) Advances in Physarum Machines; Springer: Berlin, Germany, 2016. [Google Scholar]
- Adamatzky, A. Towards fungal computer. Interface Focus 2018, 8, 20180029. [Google Scholar] [CrossRef] [PubMed]
- Tanaka, G.; Yamane, T.; Héroux, J.B.; Nakane, R.; Kanazawa, N.; Takeda, S.; Numata, H.; Nakano, D.; Hirose, A. Recent advances in physical reservoir computing: A review. Neural Netw. 2019, 115, 100–123. [Google Scholar] [CrossRef] [PubMed]
- Wu, K.; García de Abajo, J.; Soci, C.; Ping Shum, P.; Zheludev, N.I. An optical fiber network oracle for NP-complete problems. Light. Sci. Appl. 2014, 3, e147. [Google Scholar] [CrossRef] [Green Version]
- Ulmann, B. Analog Computing; Oldenbourg Wissenschaftsverlag: Munich, Germany, 2013. [Google Scholar]
- Goldreich, O. Computational Complexity: A Conceptual Perspective; Cambridge University Press: Cambridge, UK, 2008. [Google Scholar]
- Yao, A.C.C. Classical physics and the Church–Turing Thesis. J. ACM 2003, 50, 100–105. [Google Scholar] [CrossRef] [Green Version]
- Aharonov, D.; Vazirani, U. Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics. In Computability: Turing, Gödel, Church, and Beyond; Copeland, B.J., Posy, C.J., Shagrir, O., Eds.; MIT Press: Cambridge, MA, USA, 2013; pp. 329–349. [Google Scholar]
- Bernstein, E.; Vazirani, U. Quantum complexity theory. SIAM J. Comput. 1997, 26, 1411–1473. [Google Scholar] [CrossRef]
- Yamakawa, T.; Zhandry, M. Verifiable quantum advantage without structure. arXiv 2022, arXiv:2204.02063v2. [Google Scholar] [CrossRef]
- Feynman, R.P. Simulating physics with computers. Int. J. Theor. Phys. 1982, 21, 467–488. [Google Scholar] [CrossRef]
- Wittgenstein, L. Remarks on the Philosophy of Psychology; Blackwell: Oxford, UK, 1980; Volume 1. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).
Share and Cite
Sprevak, M. Not All Computational Methods Are Effective Methods. Philosophies 2022, 7, 113. https://doi.org/10.3390/philosophies7050113
Sprevak M. Not All Computational Methods Are Effective Methods. Philosophies. 2022; 7(5):113. https://doi.org/10.3390/philosophies7050113
Chicago/Turabian StyleSprevak, Mark. 2022. "Not All Computational Methods Are Effective Methods" Philosophies 7, no. 5: 113. https://doi.org/10.3390/philosophies7050113