Abstract
In this chapter, I assess the hypothesis that the world is a computing device. According to this hypothesis, programs or algorithms running on this device generate the numerical values of physical parameters, including the empirical data sets that we collect in the course of observations and measurements in science. I shall argue that this hypothesis entails a testable prediction, namely that empirical data sets form algorithmically compressible strings. The discovery of empirical data sets that are algorithmically incompressible would therefore refute the hypothesis. I shall argue that we already have good evidence that some empirical data sets are algorithmically incompressible, from which I conclude that we can rule out that the world is a computing device.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Mayr O.: Authority, liberty, and automatic machinery in early modern Europe. Johns Hopkins University Press, Baltimore MD (1986).
Mach E.: The science of mechanics: A critical and historical account of its development (1883). Trans. T.J. McCormack. Open Court, LaSalle IL (1960).
Solomonoff R.J.: A formal theory of inductive inference, parts 1 and 2. Information and Control 7, 1–22, 224-254 (1964).
Schmidhuber J.: A computer scientist’s view of life, the universe, and everything. In: Freksa C., Jantzen M., Valk R. (eds.): Foundations of computer science: Potential-theory-cognition. Springer, Berlin (1997).
Dorato M.: The software of the universe: An introduction to the history and philosophy of laws of nature. Trans. R. Marshall. Ashgate, Aldershot (2005).
Zuse K.: Calculating space. MIT Technical Translation AZT-70-164-GEMIT. MIT, Cambridge MA (1970).
Fredkin E.: An introduction to digital philosophy. International Journal of Theoretical Physics 42, 189–247 (2003).
Wolfram S.: A new kind of science. Wolfram Media, Champaign IL (2002).
Weinberg S.: Is the universe a computer? New York Review of Books, 24 October, 43–47 (2002).
Floridi L.: Against digital ontology. Synthese 168, 151–178 (2009).
Putnam H.: Reason, truth, and history. Cambridge University Press (1981).
Bostrom N.: Are we living in a computer simulation? Philosophical Quarterly 53, 243–255 (2003).
Ming L., Vitányi P.: An introduction to Kolmogorov complexity and its applications. 3rd edn. Springer, Berlin (2008).
Banet L.: Evolution of the Balmer series. American Journal of Physics 34, 496–503 (1966).
Wilson T.L.: The search for extraterrestrial intelligence. Nature 409, 1110–1114 (2001).
Kosko B.: Noise. Viking, New York (2006).
Knuth D.E.: The art of computer programming. Vol. 2, Seminumerical algorithms. 3rd edn. Addison-Wesley, Reading MA (1997).
McAllister J.W.: Algorithmic randomness in empirical data. Studies in History and Philosophy of Science 34, 633–646 (2003).
Twardy C., Gardner S., Dowe D.L.: Empirical data sets are algorithmically compressible. Studies in History and Philosophy of Science 36, 391–402 (2005). Reply to McAllister [18].
McAllister J.W.: Algorithmic compression of empirical data. Studies in History and Philosophy of Science 36, 403–410 (2005). Reply to Twardy et al. [19].
Lloyd S.: Programming the universe: A quantum computer scientist takes on the cosmos. Knopf, New York (2006).
McAllister J.W.: The ontology of patterns in empirical data. Philosophy of Science 77, 804–814 (2010).
McAllister J.W.: What do patterns in empirical data tell us about the structure of the world? Synthese 182, 73–87 (2011).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Italia
About this chapter
Cite this chapter
McAllister, J.W. (2013). Empirical Evidence that the World Is Not a Computer. In: Emmer, M. (eds) Imagine Math 2. Springer, Milano. https://doi.org/10.1007/978-88-470-2889-0_15
Download citation
DOI: https://doi.org/10.1007/978-88-470-2889-0_15
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-2888-3
Online ISBN: 978-88-470-2889-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)