Beggs, E. and Tucker, J. V. (2006) Embedding infinitely parallel computation in Newtonian kinematics. Applied Mathematics and Computation 178 (1)25–43.
Beggs, E. and Tucker, J. V. (2007a) Can Newtonian systems, bounded in space, time, mass and energy compute all functions? Theoretical Computer Science 371 (1)4–19.
Beggs, E. and Tucker, J. V. (2007b) Experimental computation of real numbers by Newtonian machines. Proceedings of the Royal Society, Series A (Mathematical, Physical and Engineering Sciences) 463 (2082)1541–1561.
Beggs, E., Costa, J. F., Loff, B. and Tucker, J. V. (2008a) On the complexity of measurement in classical physics. In: Agrawal, M., Du, D., Duan, Z. and Li, A. (eds.) Theory and Applications of Models of Computation (TAMC 2008). Springer-Verlag Lecture Notes in Computer Science 4978 20–30.
Beggs, E., Costa, J. F., Loff, B. and Tucker, J. V. (2008b) Computational complexity with experiments as oracles. Proceedings of the Royal Society, Series A (Mathematical, Physical and Engineering Sciences) 464 (2098)2777–2801.
Beggs, E., Costa, J. F., Loff, B. and Tucker, J. V. (2008c) Oracles and advice as measurements. In: Calude, C. S., Costa, J. F., Freund, R., Oswald, M. and Rozenberg, G. (eds.) Unconventional Computation (UC 2008). Springer-Verlag Lecture Notes in Computer Science 5204 33–50.
Beggs, E., Costa, J. F. and Tucker, J. V. (2008d) Quanta in classical mechanics: uncertainty in space, time, energy. In Proceedings of the Studia Logica International Conference on Logic and the Foundations of Physics: space, time and quanta (Trends in Logic VI)), Belgium, Brussels, 11-12 December.
Beggs, E., Costa, J. F., Loff, B. and Tucker, J. V. (2008e) Computational complexity with experiments as oracles II. Upper bounds. Proceedings of the Royal Society, Series A (Mathematical, Physical and Engineering Sciences) 465 (2105)1453–1465.
Beggs, E., Costa, J. F. and Tucker, J. V. (2009a) Physical experiments as oracles. Bulletin of the European Association for Theoretical Computer Science 97 137–151. (An invited paper for the ‘Natural Computing Column’.)
Beggs, E., Costa, J. F. and Tucker, J. V. (2009b) Physical oracles. Technical Report, Department of Computer Science, University of Swansea.
Beggs, E., Costa, J. F. and Tucker, J. V. (2009c) Computational Models of Measurement and Hempel's Axiomatization. In: Carsetti, A. (ed.) Causality, Meaningful Complexity and Knowledge Construction, Theory and Decision Library A 46, Springer-Verlag 155–184.
Beggs, E., Costa, J. F. and Tucker, J. V. (2010a) Physical oracles: The Turing machine and the Wheatstone bridge. In: Aerts, D., Smets, S. and Van Bendegem, J. P. (eds.) Special issue: The contributions of Logic to the Foundations of Physics. Studia Logica 95 271–292.
Beggs, E., Costa, J. F. and Tucker, J. V. (2010b) Comparing complexity classes relative to physical oracles. In: Ferreira, F., Guerra, H., Mayordomo, E. and Rasga, J. (eds.) Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, CMATI – Centre for Applied Mathematics and Information Technology, University of Azores 62–72.
Beggs, E., Costa, J. F. and Tucker, J. V. (2010c) Limits to measurement in experiments governed by algorithms. Mathematical Structures in Computer Science 20 1019–1050.
Beggs, E., Costa, J. F. and Tucker, J. V. (2012a) Axiomatising physical experiments as oracles to algorithms. (In preparation.)
Bournez, O. and Cosnard, M. (1996) On the computational power of dynamical systems and hybrid systems. Theoretical Computer Science 168 (2)417–459.
Campbell, N. R. (1928) An Account of the Principles of Measurement and Calculation, Longmans, Green and co.
Carnap, R. (1966) Philosophical Foundations of Physics, Basic Books.
Geroch, R. and Hartle, J. B. (1986) Computability and Physical Theories. Foundations of Physics 16 (6)533–550.
Hempel, C. G. (1952) Fundamentals of concept formation in empirical science. International Encyclopedia of Unified Science 2 (7).
Kreisel, G. (1974) A notion of mechanistic theory. Synthese 47 9–24.
Kreisel, G. (1982) Review of Pour-El and Richards. Journal of Symbolic Logic 47 (4)900–902.
Moore, C. (1990) Unpredictability and undecidability in dynamical systems. Physical Review Letters 64 (20)2354–2357.
Németi, I. and Dávid, G. (2006) Relativistic computers and the Turing barrier. Applied Mathematics and Computation 178 (1)118–142.
Odifreddi, P. (1989) Classical Recursion Theory, Studies in Logic and the Foundations of Mathematics 125, North Holland.
Penrose, R (1989) The Emperor's New Mind, Oxford University Press.
Pour-El, M. and Richards, I. (1981) The wave equation with computable initial data such that its unique solution is not computable. Advances in Mathematics 39 (4)215–239.
Siegelmann, H. T. (1999) Neural Networks and Analog Computation: Beyond the Turing Limit, Birkhäuser.
Weihrauch, K. and Zhong, N. (2002) Is wave propagation computable or can wave computers beat the Turing machine? Proceedings of the London Mathematical Society 85 (2)312–332.
Yao, A. C.-C. (2003) Classical physics and the Church–Turing thesis. Journal of the ACM 50 (1)100–105.
Ziegler, M. (2009) Physically-relativized Church–Turing hypotheses: Physical foundations of computing and complexity theory of computational physics. Applied Mathematics and Computation 215 (4)1431–1447.