Wikipedia - Digital Physics
Wikipedia - Digital Physics
Digital physics
In physics and cosmology, digital physics is a collection of theoretical perspectives based on the premise that the
universe is, at heart, describable by information, and is therefore computable. Therefore, the universe can be
conceived of as either the output of a computer program, a vast, digital computation device, or mathematically
isomorphic to such a device.
Digital physics is grounded in one or more of the following hypotheses; listed in order of decreasing strength. The
universe, or reality:
• is essentially informational (although not every informational ontology needs to be digital)
• is essentially computable
• can be described digitally
• is in essence digital
• is itself a computer
• is the output of a simulated reality exercise
History
Every computer must be compatible with the principles of information theory, statistical thermodynamics, and
quantum mechanics. A fundamental link among these fields was proposed by Edwin Jaynes in two seminal 1957
papers.[1] Moreover, Jaynes elaborated an interpretation of probability theory as generalized Aristotelian logic, a
view very convenient for linking fundamental physics with digital computers, because these are designed to
implement the operations of classical logic and, equivalently, of Boolean algebra.[2]
The hypothesis that the universe is a digital computer was pioneered by Konrad Zuse in his book Rechnender Raum
(translated into English as Calculating Space). The term digital physics was first employed by Edward Fredkin, who
later came to prefer the term digital philosophy.[3] Others who have modeled the universe as a giant computer
include Stephen Wolfram,[4] Juergen Schmidhuber,[5] and Nobel laureate Gerard 't Hooft.[6] These authors hold that
the apparently probabilistic nature of quantum physics is not necessarily incompatible with the notion of
computability. Quantum versions of digital physics have recently been proposed by Seth Lloyd,[7] David Deutsch,
and Paola Zizzi.[8]
Related ideas include Carl Friedrich von Weizsäcker's binary theory of ur-alternatives, pancomputationalism,
computational universe theory, John Archibald Wheeler's "It from bit", and Max Tegmark's ultimate ensemble.
Overview
Digital physics suggests that there exists, at least in principle, a program for a universal computer which computes
the evolution of the universe. The computer could be, for example, a huge cellular automaton (Zuse 1967[9]), or a
universal Turing machine, as suggested by Schmidhuber (1997), who pointed out that there exists a very short
program that can compute all possible computable universes in an asymptotically optimal way.
Some try to identify single physical particles with simple bits. For example, if one particle, such as an electron, is
switching from one quantum state to another, it may be the same as if a bit is changed from one value (0, say) to the
other (1). A single bit suffices to describe a single quantum switch of a given particle. As the universe appears to be
composed of elementary particles whose behavior can be completely described by the quantum switches they
undergo, that implies that the universe as a whole can be described by bits. Every state is information, and every
change of state is a change in information (requiring the manipulation of one or more bits). Setting aside dark matter
and dark energy, which are poorly understood at present, the known universe consists of about 1080 protons and the
same number of electrons. Hence, the universe could be simulated by a computer capable of storing and
manipulating about 1090 bits. If such a simulation is indeed the case, then hypercomputation would be impossible.
Digital physics 2
Loop quantum gravity could lend support to digital physics, in that it assumes space-time is quantized. Paola Zizzi
has formulated a realization of this concept in what has come to be called "computational loop quantum gravity", or
CLQG.[10][11] Other theories that combine aspects of digital physics with loop quantum gravity are those of
Marzuoli and Rasetti[12][13] and Girelli and Livine.[14]
Weizsäcker's ur-alternatives
Physicist Carl Friedrich von Weizsäcker's theory of ur-alternatives (archetypal objects), first publicized in his book
The Unity of Nature (1980),[] further developed through the 1990s,[][] is a kind of digital physics as it axiomatically
constructs quantum physics from the distinction between empirically observable, binary alternatives. Weizsäcker
used his theory to derive the 3-dimensionality of space and to estimate the entropy of a proton falling into a black
hole.
Computational foundations
Turing machines
Theoretical computer science is founded on the Turing machine, an imaginary computing machine first described by
Alan Turing in 1936. While mechanically simple, the Church-Turing thesis implies that a Turing machine can solve
any "reasonable" problem. (In theoretical computer science, a problem is considered "solvable" if it can be solved in
principle, namely in finite time, which is not necessarily a finite time that is of any value to humans.) A Turing
machine therefore sets the practical "upper bound" on computational power, apart from the possibilities afforded by
hypothetical hypercomputers.
Wolfram's principle of computational equivalence powerfully motivates the digital approach. This principle, if
correct, means that everything can be computed by one essentially simple machine, the realization of a cellular
automaton. This is one way of fulfilling a traditional goal of physics: finding simple laws and mechanisms for all of
nature.
Digital physics is falsifiable in that a less powerful class of computers cannot simulate a more powerful class.
Therefore, if our universe is a gigantic simulation, that simulation is being run on a computer at least as powerful as
a Turing machine. If humans succeed in building a hypercomputer, then a Turing machine cannot have the power
required to simulate the universe.
This compound conjecture is sometimes called the "strong Church-Turing thesis" or the Church–Turing–Deutsch
principle. It is stronger because a human or Turing machine computing with pencil and paper (under Turing's
conditions) is a finitely realizable physical system.
Digital physics 5
Criticism
[citation needed]
The critics of digital physics—including physicists who work in quantum mechanics—object to it on
several grounds.
Locality
Some argue that extant models of digital physics violate various postulates of quantum physics (as in [27]). For
example, if these models are not grounded in Hilbert spaces and probabilities, they belong to the class of theories
with local hidden variables that some deem ruled out experimentally using Bell's theorem. This criticism has two
possible answers. First, any notion of locality in the digital model does not necessarily have to correspond to locality
formulated in the usual way in the emergent spacetime. A concrete example of this case was recently given by Lee
Smolin.[28]Wikipedia:Citing sources Another possibility is a well-known loophole in Bell's theorem known as
superdeterminism (sometimes referred to as predeterminism).[29]Wikipedia:Please clarify In a completely
deterministic model, the experimenter's decision to measure certain components of the spins is predetermined. Thus,
the assumption that the experimenter could have decided to measure different components of the spins than he
actually did is, strictly speaking, not true.
Digital physics 6
References
[1] Jaynes, E. T., 1957, " Information Theory and Statistical Mechanics, (http:/ / bayes. wustl. edu/ etj/ articles/ theory. 1. pdf)" Phys. Rev 106:
620.
Jaynes, E. T., 1957, " Information Theory and Statistical Mechanics II, (http:/ / bayes. wustl. edu/ etj/ articles/ theory. 2. pdf)" Phys. Rev. 108:
171.
[2] Jaynes, E. T., 1990, " Probability Theory as Logic, (http:/ / bayes. wustl. edu/ etj/ articles/ prob. as. logic. pdf)" in Fougere, P.F., ed.,
Maximum-Entropy and Bayesian Methods. Boston: Kluwer.
[3] See Fredkin's Digital Philosophy web site. (http:/ / www. digitalphilosophy. org)
[4] A New Kind of Science website. (http:/ / www. wolframscience. com) Reviews of ANKS. (http:/ / www. math. usf. edu/ ~eclark/
ANKOS_reviews. html)
[5] Schmidhuber, J., " Computer Universes and an Algorithmic Theory of Everything. (http:/ / www. idsia. ch/ ~juergen/ computeruniverse.
html)"
[6] G. 't Hooft, 1999, " Quantum Gravity as a Dissipative Deterministic System, (http:/ / arxiv. org/ abs/ gr-qc/ 9903084)" Class. Quant. Grav.
16: 3263-79.
[7] Lloyd, S., " The Computational Universe: Quantum gravity from quantum computation. (http:/ / arxiv. org/ abs/ quant-ph/ 0501135)"
[8] Zizzi, Paola, " Spacetime at the Planck Scale: The Quantum Computer View. (http:/ / arxiv. org/ abs/ gr-qc/ 0304032)"
[9] Zuse, Konrad, 1967, Elektronische Datenverarbeitung vol 8., pages 336-344
[10] Zizzi, Paola, " A Minimal Model for Quantum Gravity. (http:/ / arxiv. org/ gr-qc/ 0406069)"
[11] Zizzi, Paola, " Computability at the Planck Scale. (http:/ / arxiv. org/ gr-qc/ 0412076)"
[12] Marzuoli, A. and Rasetti, M., 2002, " Spin Network Quantum Simulator, (http:/ / arxiv. org/ quant-ph/ 0209016)" Phys. Lett. A306, 79-87.
[13] Marzuoli, A. and Rasetti, M., 2005, " Computing Spin Networks, (http:/ / arxiv. org/ quant-ph/ 0410105)" Annals of Physics 318: 345-407.
[14] Girelli, F.; Livine, E. R., 2005, " (http:/ / arxiv. org/ gr-qc/ 0501075)" Class. Quant. Grav. 22: 3295-3314.
[15] Papers on pancompuationalism (http:/ / philpapers. org/ browse/ pancomputationalism)
[16] Chalmers, David. J., 1995, " Facing up to the Hard Problem of Consciousness, (http:/ / consc. net/ papers/ facing. html)" Journal of
Consciousness Studies 2(3): 200-19. This paper cites John A. Wheeler, 1990, "Information, physics, quantum: The search for links" in W.
Zurek (ed.) Complexity, Entropy, and the Physics of Information. Redwood City, CA: Addison-Wesley. Also see Chalmers, D., 1996. The
Conscious Mind. Oxford Univ. Press.
[17] Langan, Christopher M., 2002, " The Cognitive-Theoretic Model of the Universe: A New Kind of Reality Theory, pg. 7 (http:/ / www.
megafoundation. org/ CTMU/ Articles/ Langan_CTMU_092902. pdf)" Progress in Complexity, Information and Design
[18] Wheeler, John Archibald, 1986, " Hermann Weyl and the Unity of Knowledge (http:/ / www. weylmann. com/ wheeler. pdf)"
[19] Eldred, Michael, 2009, ' Postscript 2: On quantum physics' assault on time (http:/ / www. arte-fact. org/ dgtlon_e. html#ps2)'
[20] Eldred, Michael, 2009, The Digital Cast of Being: Metaphysics, Mathematics, Cartesianism, Cybernetics, Capitalism, Communication
(http:/ / www. arte-fact. org/ dgtlcast. html) ontos, Frankfurt 2009 137 pp. ISBN 978-3-86838-045-3
[21] Floridi, L., 2004, " Informational Realism, (http:/ / crpit. com/ confpapers/ CRPITV37Floridi. pdf)" in Weckert, J., and Al-Saggaf, Y, eds.,
Computing and Philosophy Conference, vol. 37."
[22] See Floridi talk on Informational Nature of Reality, abstract at the E-CAP conference 2006.
[23] Stanford Encyclopedia of Philosophy: " The Church-Turing thesis (http:/ / www. science. uva. nl/ ~seop/ entries/ church-turing/ #Bloopers)"
-- by B. Jack Copeland.
[24] David Deutsch, "Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer."
[25] John A. Wheeler, 1990, "Information, physics, quantum: The search for links" in W. Zurek (ed.) Complexity, Entropy, and the Physics of
Information. Redwood City, CA: Addison-Wesley.
[26] Piccinini, Gualtiero, 2007, "Computational Modelling vs. Computational Explanation: Is Everything a Turing Machine, and Does It Matter
to the Philosophy of Mind?" Australasian Journal of Philosophy 85(1): 93-115.
[28] L. Smolin, " Matrix models as non-local hidden variables theories. (http:/ / arxiv. org/ abs/ hep-th/ 0201031)"
[29] J. S. Bell, 1981, "Bertlmann's socks and the nature of reality," Journal de Physique 42 C2: 41-61.
Further reading
• Paul Davies, 1992. The Mind of God: The Scientific Basis for a Rational World. New York: Simon & Schuster.
• David Deutsch, 1997. The Fabric of Reality. New York: Allan Lane.
• Michael Eldred, 2009, The Digital Cast of Being: Metaphysics, Mathematics, Cartesianism, Cybernetics,
Capitalism, Communication (http://www.arte-fact.org/dgtlcast.html) ontos, Frankfurt 2009, 137 pp. ISBN
978-3-86838-045-3
• Edward Fredkin, 1990. "Digital Mechanics," Physica D: 254-70.
• Seth Lloyd, Ultimate physical limits to computation (http://puhep1.princeton.edu/~mcdonald/examples/QM/
lloyd_nature_406_1047_00.pdf), Nature, volume 406, pages 1047–1054
Digital physics 7
• Carl Friedrich von Weizsäcker, 1980. The Unity of Nature. New York: Farrar Straus & Giroux.
• John Archibald Wheeler, 1990. "Information, physics, quantum: The search for links" in W. Zurek (ed.)
Complexity, Entropy, and the Physics of Information. Addison-Wesley.
• John Archibald Wheeler and Kenneth Ford, 1998. Geons, black holes and quantum foam: A life in physics. W. W.
Norton. ISBN 0-393-04642-7.
• Robert Wright, 1989. Three Scientists and Their Gods: Looking for Meaning in an Age of Information.
HarperCollins. ISBN 0-06-097257-2. This book discusses Edward Fredkin's work.
• Konrad Zuse, 1970. Calculating Space (http://ftp.idsia.ch/pub/juergen/zuserechnenderraum.pdf). The
English translation of his Rechnender Raum.
External links
• Luciano Floridi, "Against Digital Ontology" (http://www.philosophyofinformation.net/publications/pdf/ado.
pdf), Synthese, 2009, 168.1, (2009), 151-178.
• Edward Fredkin:
• Digital Philosophy (http://www.digitalphilosophy.org)
• Introduction to Digital Philosophy (http://64.78.31.152/wp-content/uploads/2012/08/intro-to-DP.pdf)
• Gontigno, Paulo, " Hypercomputation and the Physical Church-Turing thesis (http://citeseer.ist.psu.edu/cache/
papers/cs/30488/http:zSzzSzwww3.oup.co.ukzSzphiscizSzhdbzSzVolume_54zSzIssue_02zSzpdfzSz540181.
pdf/cotogno03hypercomputation.pdf)"
• Petrov, Plamen, and Joel Dobrzelewski, 1998. Digital Physics (http://digitalphysics.org/)
• Juergen Schmidhuber:
• Home page, 1996-2007 (http://www.idsia.ch/~juergen/)
• Computer Universes and Algorithmic Theory of Everything (http://www.idsia.ch/~juergen/
computeruniverse.html)
• " Zuse's Thesis: The Universe is a Computer (http://www.idsia.ch/~juergen/digitalphysics.html)"
• Konrad Zuse, PDF scan (ftp://ftp.idsia.ch/pub/juergen/zuse67scan.pdf) of Zuse's paper.
• Konrad Zuse, Re-edition (http://www.mathrix.org/zenil/ZuseCalculatingSpace-GermanZenil.pdf) of Zuse's
paper in modern LaTeX.
• Digital physics. (http://www.mtnmath.com/whatrh/node62.html) Mountain Math Software.
• The Oxford Advanced Seminar on Informatic Structures (http://se10.comlab.ox.ac.uk:8080/
InformaticPhenomena/IntroductiontoOASIS_en.html)
• Wired: God is the Machine (http://www.wired.com/wired/archive/10.12/holytech.html)
• Gualtiero Piccinini. Computation in Physical Systems (http://plato.stanford.edu/entries/
computation-physicalsystems/) Discusses the metaphysical foundations of digital physics in section 3.4.
Article Sources and Contributors 8
License
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/