Skip to main content

Conservative logic

Abstract

Conservative logic is a comprehensive model of computation which explicitly reflects a number of fundamental principles of physics, such as the reversibility of the dynamical laws and the conservation of certainadditive quantities (among which energy plays a distinguished role). Because it more closely mirrors physics than traditional models of computation, conservative logic is in a better position to provide indications concerning the realization of high-performance computing systems, i.e., of systems that make very efficient use of the “computing resources” actually offered by nature. In particular, conservative logic shows that it is ideally possible to build sequential circuits with zero internal power dissipation. After establishing a general framework, we discuss two specific models of computation. The first uses binary variables and is the conservative-logic counterpart of switching theory; this model proves that universal computing capabilities are compatible with the reversibility and conservation constraints. The second model, which is a refinement of the first, constitutes a substantial breakthrough in establishing a correspondence between computation and physics. In fact, this model is based on elastic collisions of identical “balls,” and thus is formally identical with the atomic model that underlies the (classical) kinetic theory of perfect gases. Quite literally, the functional behavior of a general-purpose digital computer can be reproduced by a perfect gas placed in a suitably shaped container and given appropriate initial conditions.

This is a preview of subscription content, access via your institution.

References

  • Baierlein, R. (1971).Atoms and Information Theory. W. H. Freeman. San Francisco.

    Google Scholar 

  • Bekenstein, J. D. (1981 a). “Universal upper bound to entropy-to-energy ratio for bounded systems,”Physiocal Review D,23, 287–298.

    Google Scholar 

  • Bekenstein, J. D. (1981b). “Encrgy cost of information transfer,”Physical Review Letters,46, 623–626.

    Google Scholar 

  • Benioff, P. (1980). “The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines,”Journal of Statistical Physics,22, 563–591.

    Google Scholar 

  • Bennett, C. H. (1973). “Logical reversibility of computation,”IBM Journal of Research and Development,6, 525–532.

    Google Scholar 

  • Bennett, C. H. (1979). “Dissipation-error tradeoff in proofreading.”BioSystems,11, 85–91.

    Google Scholar 

  • Feynman, R. (1963).Lectures on Physics, Vol. I. Addison-Wesley, Reading, Massachusetts.

    Google Scholar 

  • Fredkin, E., and Toffoli, T. (1978). “Design principles for achieving high-performance submicron digital technologies,” Proposal to DARPA, MIT Laboratory for Computer Science.

  • Haken, H., (1975). “Cooperative phenomena,”Reviews of Modern Physics,47, 95.

    Google Scholar 

  • Herrell, D. J. (1974). “Femtojoule Josephson tunnelling logic gates,”IEEE Journal of Solid State Circuits.SC9, 277–282.

    Google Scholar 

  • Katz, A. (1967).Principles of Statistical Mechanics—The Information Theory Approach, Freeman, San Francisco.

    Google Scholar 

  • Keyes, R. W. (1977). “Physical uncertainty and information,”IEEE Transactions on Computers C26, 1017–1025.

    Google Scholar 

  • Kinoshita, K., Tsutomu, S., Jun, M. (1976). “On magnetic bubble circuits,”IEEE Transactions on Computers,C25, 247–253.

    Google Scholar 

  • Landau, L. D., and Lifshitz, E. M. (1960).Mechanics. Pergamon Press, New York.

    Google Scholar 

  • Landauer R. (1961). “Irreversibility and heat generation in the computing process,”IBM Journal of Research and Development,5, 183–191.

    Google Scholar 

  • Landauer, R. (1967). “Wanted: a physically possible theory of physics,”IEEE Spectrum,4, 105–109.

    Google Scholar 

  • Landauer, R. (1976). “Fundamental limitations in the computational process,”Berichte der Bunsengesellschaft fuer Physikalische Chemie,80, 1041–1256.

    Google Scholar 

  • Ohanian, H. C. (1976).Gravitation and Spacetime, Norton. New York.

    Google Scholar 

  • Petri, C. A. (1976). “Grundsätzliches zur Beischreibung diskreter Prozesse,” 3rd Colloquium über Automatentheorie, Basel, Birkhäuser Verlag. (An English translation is available from Petri or from the authors).

    Google Scholar 

  • Priese, L. (1976). “On a simple combinatorial structure sufficient for sublying nontrivial self-reproduction,”Journal of Cybernetics,6, 101–137.

    Google Scholar 

  • Ressler, A., The design of a conservative logic computer and a graphical editor simulator. M. S. Thesis. MIT, EECS Department (January 1981).

  • Shannon, Claude E. “A mathematical theory of communication,”Bell Systems Technical Journal,27, 379–423 and 623–656.

  • Toffoli, T. (1977). “Computation and construction universality of reversible cellular automata,”Journal of Computer Systems Science,15, 213–231.

    Google Scholar 

  • Toffoli, T. (1977). “Cellular automata mechanics,”Technical Report No. 208, Logic of Computers Group, CCS Department, The University of Michigan, Ann Arbor, Michigan (November).

    Google Scholar 

  • Toffoli, T. (1980). “Reversible computing,”Technical Memo MIT/LCS/TM-151, MIT Laboratory for Computer Science (February). An abridged version of this paper appeared under the same title inSeventh Colloquium on Automata, Languages and Programming, J. W. de Bakker and J. van Leeuwen, eds. Springer, Berlin (1980), pp. 632–644. An enlarged, revised version for final publication is in preparation.

  • Toffoli, T. (1981). “Bicontinuous extensions of invertible combinatorial functions,”Mathematical Systems Theory,14, 13–23.

    Google Scholar 

  • Turing, A. M. (1936). “On computable numbers, with an application to the entscheidungs problem,”Proceedings of the London Mathematical Society Ser. 2 43, 544–546.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

This research was supported by the Defense Advanced Research Projects Agency and was monitored by the Office of Naval Research under Contract No. N000 14-75-C-0661.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Fredkin, E., Toffoli, T. Conservative logic. Int J Theor Phys 21, 219–253 (1982). https://doi.org/10.1007/BF01857727

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01857727

Keywords

  • Kinetic Theory
  • Power Dissipation
  • Atomic Model
  • Digital Computer
  • Elastic Collision