When does a physical system compute?

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences

Volumn 470, Issue 2169, 2014, Pages

  Horsman, Clare ^a   Stepney, Susan ^b   Wagner, Rob C ^c   Kendon, Viv ^c  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

^c UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Computation; Computer; Physical computation

Indexed keywords

CALCULATIONS; COMPUTERS; MATHEMATICAL MODELS;

BIOLOGICAL COMPUTERS; COMPUTATIONAL DEVICES; COMPUTATIONAL ENTITIES; COMPUTATIONAL LEVEL; EXPERIMENTAL SCIENCE; FORMAL FRAMEWORK; NON-STANDARD COMPUTING; PHYSICAL COMPUTING;

BIOLOGY;

EID: 84910048210     PISSN: 13645021     EISSN: 14712946     Source Type: Journal    
DOI: 10.1098/rspa.2014.0182     Document Type: Article

References (54)

1. Shannon CE. 1941 Mathematical theory of the differential analyzer. J. Math. Phys. MIT 20, 337-354.
2. Ladd TD, Jelezko F, Laflamme R, Nakamura Y, Monroe C, O'Brien JL. 2010 Quantum computers. Nature 464, 45-53. (doi:10.1038/nature08812)
3. Nielsen M, Chuang I. 2000 Quantum computation and quantum information. Cambridge, UK: Cambridge University Press.
4. Johnson M et al. 2011 Quantum annealing with manufactured spins. Nature 473, 194-198. (doi:10.1038/nature10012)
5. Adleman LM. 1994 Molecular computation of solutions to combinatorial problems. Science 266, 1021-1024. (doi:10.1126/science.7973651)
6. Amos M. 2005 Theoretical and experimental DNA computation. Berlin, Germany: Springer.
7. Kuhnert L, Agladze KI, Krinsky VI. 1989 Image processing using light-sensitive chemical waves. Nature 337, 244-247. (doi:10.1038/337244a0)
8. Adamatzky A, De Lacy Costello B, Asai T. 2005 Reaction-diffusion computers. Amsterdam, The Netherlands: Elsevier.
9. Ball P. 2011 Physics of life: the dawn of quantum biology. Nature 474, 272-274. (doi:10.1038/ 474272a)
10. Penrose R. 1995 Shadows of the mind. London, UK: Vintage.
11. Vedral V. 2012 Decoding the universe. Oxford, UK: Oxford University Press.
12. Lloyd S. 2004 Programming the universe. New York, NY: Alfred A. Knopf.
13. Burkholder L. 2000 Computing. In A companion to the philosophy of science (ed. WH Newton- Smith), pp. 44-52. London, UK: Blackwell.
14. Feynman R. 1996 The Feynman lectures on computation. Harlow, UK: Addison Wesley Publishing Company.
15. Adriaans P. 2013 Information, The Stanford encyclopedia of philosophy (ed. EN Zalta). See http://plato.stanford.edu/cgi-bin/encyclopedia/archinfo.cgi? entry=information.
16. Dill KA, Banu Ozkan S, Scott Shell M, Weikl TR. 2008 The protein folding problem. Annu. Rev. Biophys. 37, 289-316. (doi:10.1146/annurev.biophys.37. 092707.153558)
17. Mohseni M, Rebentrost P, Lloyd S, Aspuru-Guzik A. 2008 Environment-assisted quantum walks in photosynthetic energy transfer. J. Chem. Phys. 129, 174106. (doi:10.1063/1.3002335)
18. Penrose R. 1989 The emperor's new mind. Oxford, UK: Oxford University Press.
19. Pennings TJ. 2003 Do dogs know calculus? College Math. J. 34, 178-182. (doi:10.2307/3595798)
20. Chalmers DJ. 1996 Does a rock implement every finite-state automaton? Synthese 108, 309-333. (doi:10.1007/BF00413692)
21. Van Fraassen BC. 2008 Scientific representation. Oxford, UK: Oxford University Press.
22. Copeland BJ. 1996 What is computation? Synthese 108, 335-359. (doi:10.1007/BF00413693)
23. Popper K. 1959 The logic of scientific discovery. NewYork, NY: Routledge.
24. Kuhn TS. 1962 The structure of scientific revolutions. Chicago, IL: University of Chicago Press.
25. Van Fraassen BC. 1980 The scientific image. Oxford, UK: Oxford University Press.
26. French S. 2007 Science: key concepts in philosophy. New York, NY: Continuum.
27. Friggs R. 2006 Scientific representation and the semantic view of theories. Theoria 55, 37-53.
28. Ladyman J, Presnell S, Short AJ, Groisman B. 2007 The connection between logical and thermodynamic irreversibility. Stud. Hist. Philos. Sci. B, Stud. Hist. Philos. Mod. Phys. 38, 58-79. (doi:10.1016/j.shpsb.2006.03.007)
29. Cousot P, Cousot R. 1977 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238-252. New York, NY: ACM Press.
30. Kordig CR. 1975 The theory-ladenness of observation. In The justification of scientific change, volume 36 of Synthese Library, pp. 1-33. Dordrecht, The Netherlands: Springer.
31. The OPERA Collaboration. 2011 Measurement of the neutrino velocity with the OPERA detector in the CNGS beam. (http://arxiv.org/abs/1109.4897)
32. The OPERA Collaboration. 2012 Measurement of the neutrino velocity with the OPERA detector in the CNGS beam. J. High Energy Phys. 1210, 093.
33. Dirac P.A.M. 1931 Quantised singularities in the electromagnetic field. Proc. R. Soc. Lond. A 133, 60-72. (doi:10.1098/rspa.1931.0130)
34. Swade D. 2002 The difference engine. NewYork, NY: Penguin.
35. Roselló-Merino M, Bechmann M, Sebald A, Stepney S. 2010 Classical computing in nuclear magnetic resonance. Int. J. Unconv. Comput. 6, 163-195.
36. Clark JA, Stepney S, Chivers H. 2005 Breaking the model: finalisation and a taxonomy of security attacks. Electron. Notes Theor. Comput. Sci. 137, 225-242. (doi:10.1016/j.entcs. 2005.04.033)
37. He J, Hoare CAR, Sanders JW. 1986 Data refinement refined (resume). In ESOP 86 (eds B Robinet, R Wilhelm). LNCS, vol. 213, pp. 187-196. Springer.
38. Shannon CE. 1948 A mathematical theory of communication. Bell Syst. Tech. J. 27, 379-423. (doi:10.1002/j.1538-7305.1948.tb01338.x)
39. Von Frisch K. 1967 The dance language and orientation of bees. Cambridge, MA: Harvard University Press.
40. Grier DA. 2007 When computers were human. Princeton, NJ: Princeton University Press.
41. MeQuanics. http://www.qis.ex.nii.ac.jp/mequanics/en/ (accessed 09-2013).
42. The Open Ash Dieback Project. http://oadb.tsl.ac.uk (accessed 09-2013).
43. Searle J. 1980 Minds, brains and programs. Behav. Brain Sci. 3, 417-457. (doi:10.1017/S01405 25X00005756)
44. Halfhill TR. 1995 The truth behind the Pentium bug: an error in a lookup table created the infamous bug in Intel's latest processor. BYTE 20, 163-164.
45. Sarkar S, Sewell P, Alglave J, Maranget L, Williams D. 2011 Understanding power multiprocessors. In Proc. the 32nd ACM SIGPLAN Conf. Programming Language Design and Implementation, vol. 46, pp. 175-186. New York, NY: ACM Press.
46. Van Meter R, Horsman C. 2013 A blueprint for building a quantum computer. Commun. ACM 56, 84-93. (doi:10.1145/2494568)
47. D-Wave Systems. http://www.dwavesys.com (accessed 09-2013).
48. Boixo S, Rønnow TF, Isakov SV, Wang Z, Wecker D, Lidar DA, Martinis JM, Troyer M. 2014 Quantum annealing with more than one hundred qubits. Nat. Phys. 10, 218-224. (doi:10.1038/nphys2900)
49. Smith G, Smolin J. 2013 Putting 'quantumness' to the test. Physics 6, 105. (doi:10.1103/ Physics.6.105)
50. Rønnow TF, Wang Z, Job J, Boixo S, Isakov SV, Wecker D, Martinis JM, Lidar DA, Troye M. 2014 Defining and detecting quantum speedup. (http://arxiv.org/abs/1401.2910)
51. Harding SL, Miller JF, Rietman EA. 2008 Evolution in materio: exploiting the physics of materials for computation. Int. J. Unconv. Comput. 4, 155-194.
52. Adamatzky A. 2010 Physarum machines: computers from slime mould. Singapore: World Scientific.
53. Aaronson S. 2005 NP-complete problems and physical reality. ACM SIGACT News 36, 30-52. (doi:10.1145/1052796.1052804)
54. Deutsch D. 1985 Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Lond. A 400, 97-117. (doi:10.1098/rspa.1985.0070)