DOI: 10.1007/bf01857727. Conservative logic

Conservative logic

10.1007/bf01857727

Crossref journal-article

Springer Science and Business Media LLC

International Journal of Theoretical Physics (297)

Bibliography

Fredkin, E., & Toffoli, T. (1982). Conservative logic. International Journal of Theoretical Physics, 21(3â4), 219â253.

Authors 2

Edward Fredkin (first)
Tommaso Toffoli (additional)

References 27 Referenced 1,706

Baierlein, R. (1971).Atoms and Information Theory. W. H. Freeman. San Francisco. / Atoms and Information Theory by R. Baierlein (1971)
Bekenstein, J. D. (1981 a). “Universal upper bound to entropy-to-energy ratio for bounded systems,”Physiocal Review D,23, 287–298. (10.1103/PhysRevD.23.287) / Physiocal Review D by J. D. Bekenstein (1981)
Bekenstein, J. D. (1981b). “Encrgy cost of information transfer,”Physical Review Letters,46, 623–626. (10.1103/PhysRevLett.46.623) / Physical Review Letters by J. D. Bekenstein (1981)
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. (10.1007/BF01011339) / Journal of Statistical Physics by P. Benioff (1980)
Bennett, C. H. (1973). “Logical reversibility of computation,”IBM Journal of Research and Development,6, 525–532. (10.1147/rd.176.0525) / IBM Journal of Research and Development by C. H. Bennett (1973)
Bennett, C. H. (1979). “Dissipation-error tradeoff in proofreading.”BioSystems,11, 85–91. (10.1016/0303-2647(79)90003-0) / BioSystems by C. H. Bennett (1979)
Feynman, R. (1963).Lectures on Physics, Vol. I. Addison-Wesley, Reading, Massachusetts. / Lectures on Physics by R. Feynman (1963)
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. (10.1103/RevModPhys.47.67) / Reviews of Modern Physics by H. Haken (1975)
Herrell, D. J. (1974). “Femtojoule Josephson tunnelling logic gates,”IEEE Journal of Solid State Circuits.SC9, 277–282. (10.1109/JSSC.1974.1050513) / IEEE Journal of Solid State Circuits by D. J. Herrell (1974)
Katz, A. (1967).Principles of Statistical Mechanics—The Information Theory Approach, Freeman, San Francisco. / Principles of Statistical Mechanics—The Information Theory Approach by A. Katz (1967)
Keyes, R. W. (1977). “Physical uncertainty and information,”IEEE Transactions on Computers C26, 1017–1025. (10.1109/TC.1977.1674737) / IEEE Transactions on Computers by R. W. Keyes (1977)
Kinoshita, K., Tsutomu, S., Jun, M. (1976). “On magnetic bubble circuits,”IEEE Transactions on Computers,C25, 247–253. (10.1109/TC.1976.5009251) / IEEE Transactions on Computers by K. Kinoshita (1976)
Landau, L. D., and Lifshitz, E. M. (1960).Mechanics. Pergamon Press, New York. / Mechanics by L. D. Landau (1960)
Landauer R. (1961). “Irreversibility and heat generation in the computing process,”IBM Journal of Research and Development,5, 183–191. (10.1147/rd.53.0183) / IBM Journal of Research and Development by R. Landauer (1961)
Landauer, R. (1967). “Wanted: a physically possible theory of physics,”IEEE Spectrum,4, 105–109. (10.1109/MSPEC.1967.5215588) / IEEE Spectrum by R. Landauer (1967)
Landauer, R. (1976). “Fundamental limitations in the computational process,”Berichte der Bunsengesellschaft fuer Physikalische Chemie,80, 1041–1256. (10.1002/bbpc.19760801102) / Berichte der Bunsengesellschaft fuer Physikalische Chemie by R. Landauer (1976)
Ohanian, H. C. (1976).Gravitation and Spacetime, Norton. New York. / Gravitation and Spacetime by H. C. Ohanian (1976)
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). / Grundsätzliches zur Beischreibung diskreter Prozesse / 3rd Colloquium über Automatentheorie by C. A. Petri (1976)
Priese, L. (1976). “On a simple combinatorial structure sufficient for sublying nontrivial self-reproduction,”Journal of Cybernetics,6, 101–137. (10.1080/01969727608927527) / Journal of Cybernetics by L. Priese (1976)
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. (10.1002/j.1538-7305.1948.tb00917.x)
Toffoli, T. (1977). “Computation and construction universality of reversible cellular automata,”Journal of Computer Systems Science,15, 213–231. (10.1016/S0022-0000(77)80007-X) / Journal of Computer Systems Science by T. Toffoli (1977)
Toffoli, T. (1977). “Cellular automata mechanics,”Technical Report No. 208, Logic of Computers Group, CCS Department, The University of Michigan, Ann Arbor, Michigan (November). / Cellular automata mechanics / Technical Report by T. Toffoli (1977)
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. (10.21236/ADA082021)
Toffoli, T. (1981). “Bicontinuous extensions of invertible combinatorial functions,”Mathematical Systems Theory,14, 13–23. (10.1007/BF01752388) / Mathematical Systems Theory by T. Toffoli (1981)
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. / Proceedings of the London Mathematical Society Ser. 2 by A. M. Turing (1936)

Dates

Type	When
Created	20 years, 1 month ago (June 30, 2005, 6:14 p.m.)
Deposited	5 years, 4 months ago (April 7, 2020, 10:38 p.m.)
Indexed	3 days, 7 hours ago (Aug. 20, 2025, 8:52 a.m.)
Issued	43 years, 4 months ago (April 1, 1982)
Published	43 years, 4 months ago (April 1, 1982)
Published Print	43 years, 4 months ago (April 1, 1982)

Funders 0

None

BibTeX

@article{Fredkin_1982, title={Conservative logic}, volume={21}, ISSN={1572-9575}, url={http://dx.doi.org/10.1007/bf01857727}, DOI={10.1007/bf01857727}, number={3–4}, journal={International Journal of Theoretical Physics}, publisher={Springer Science and Business Media LLC}, author={Fredkin, Edward and Toffoli, Tommaso}, year={1982}, month=apr, pages={219–253} }

JSON

{
  "indexed": {
    "date-parts": [
      [
        2025,
        8,
        20
      ]
    ],
    "date-time": "2025-08-20T12:52:03Z",
    "timestamp": 1755694323222
  },
  "reference-count": 27,
  "publisher": "Springer Science and Business Media LLC",
  "issue": "3-4",
  "license": [
    {
      "start": {
        "date-parts": [
          [
            1982,
            4,
            1
          ]
        ],
        "date-time": "1982-04-01T00:00:00Z",
        "timestamp": 386467200000
      },
      "content-version": "tdm",
      "delay-in-days": 0,
      "URL": "http://www.springer.com/tdm"
    }
  ],
  "content-domain": {
    "domain": [],
    "crossmark-restriction": false
  },
  "published-print": {
    "date-parts": [
      [
        1982,
        4
      ]
    ]
  },
  "DOI": "10.1007/bf01857727",
  "type": "journal-article",
  "created": {
    "date-parts": [
      [
        2005,
        6,
        30
      ]
    ],
    "date-time": "2005-06-30T22:14:11Z",
    "timestamp": 1120169651000
  },
  "page": "219-253",
  "source": "Crossref",
  "is-referenced-by-count": 1706,
  "title": "Conservative logic",
  "prefix": "10.1007",
  "volume": "21",
  "author": [
    {
      "given": "Edward",
      "family": "Fredkin",
      "sequence": "first",
      "affiliation": []
    },
    {
      "given": "Tommaso",
      "family": "Toffoli",
      "sequence": "additional",
      "affiliation": []
    }
  ],
  "member": "297",
  "reference": [
    {
      "key": "BF01857727_CR1",
      "volume-title": "Atoms and Information Theory",
      "author": "R. Baierlein",
      "year": "1971",
      "unstructured": "Baierlein, R. (1971).Atoms and Information Theory. W. H. Freeman. San Francisco."
    },
    {
      "key": "BF01857727_CR2",
      "doi-asserted-by": "crossref",
      "first-page": "287",
      "DOI": "10.1103/PhysRevD.23.287",
      "volume": "23",
      "author": "J. D. Bekenstein",
      "year": "1981",
      "unstructured": "Bekenstein, J. D. (1981 a). \u201cUniversal upper bound to entropy-to-energy ratio for bounded systems,\u201dPhysiocal Review D,23, 287\u2013298.",
      "journal-title": "Physiocal Review D"
    },
    {
      "key": "BF01857727_CR3",
      "doi-asserted-by": "crossref",
      "first-page": "623",
      "DOI": "10.1103/PhysRevLett.46.623",
      "volume": "46",
      "author": "J. D. Bekenstein",
      "year": "1981",
      "unstructured": "Bekenstein, J. D. (1981b). \u201cEncrgy cost of information transfer,\u201dPhysical Review Letters,46, 623\u2013626.",
      "journal-title": "Physical Review Letters"
    },
    {
      "key": "BF01857727_CR4",
      "doi-asserted-by": "crossref",
      "first-page": "563",
      "DOI": "10.1007/BF01011339",
      "volume": "22",
      "author": "P. Benioff",
      "year": "1980",
      "unstructured": "Benioff, P. (1980). \u201cThe computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines,\u201dJournal of Statistical Physics,22, 563\u2013591.",
      "journal-title": "Journal of Statistical Physics"
    },
    {
      "key": "BF01857727_CR5",
      "doi-asserted-by": "crossref",
      "first-page": "525",
      "DOI": "10.1147/rd.176.0525",
      "volume": "6",
      "author": "C. H. Bennett",
      "year": "1973",
      "unstructured": "Bennett, C. H. (1973). \u201cLogical reversibility of computation,\u201dIBM Journal of Research and Development,6, 525\u2013532.",
      "journal-title": "IBM Journal of Research and Development"
    },
    {
      "key": "BF01857727_CR6",
      "doi-asserted-by": "crossref",
      "first-page": "85",
      "DOI": "10.1016/0303-2647(79)90003-0",
      "volume": "11",
      "author": "C. H. Bennett",
      "year": "1979",
      "unstructured": "Bennett, C. H. (1979). \u201cDissipation-error tradeoff in proofreading.\u201dBioSystems,11, 85\u201391.",
      "journal-title": "BioSystems"
    },
    {
      "key": "BF01857727_CR7",
      "volume-title": "Lectures on Physics",
      "author": "R. Feynman",
      "year": "1963",
      "unstructured": "Feynman, R. (1963).Lectures on Physics, Vol. I. Addison-Wesley, Reading, Massachusetts."
    },
    {
      "key": "BF01857727_CR8",
      "unstructured": "Fredkin, E., and Toffoli, T. (1978). \u201cDesign principles for achieving high-performance submicron digital technologies,\u201d Proposal to DARPA, MIT Laboratory for Computer Science."
    },
    {
      "key": "BF01857727_CR9",
      "doi-asserted-by": "crossref",
      "first-page": "95",
      "DOI": "10.1103/RevModPhys.47.67",
      "volume": "47",
      "author": "H. Haken",
      "year": "1975",
      "unstructured": "Haken, H., (1975). \u201cCooperative phenomena,\u201dReviews of Modern Physics,47, 95.",
      "journal-title": "Reviews of Modern Physics"
    },
    {
      "key": "BF01857727_CR10",
      "doi-asserted-by": "crossref",
      "first-page": "277",
      "DOI": "10.1109/JSSC.1974.1050513",
      "volume": "9",
      "author": "D. J. Herrell",
      "year": "1974",
      "unstructured": "Herrell, D. J. (1974). \u201cFemtojoule Josephson tunnelling logic gates,\u201dIEEE Journal of Solid State Circuits.SC9, 277\u2013282.",
      "journal-title": "IEEE Journal of Solid State Circuits"
    },
    {
      "key": "BF01857727_CR11",
      "volume-title": "Principles of Statistical Mechanics\u2014The Information Theory Approach",
      "author": "A. Katz",
      "year": "1967",
      "unstructured": "Katz, A. (1967).Principles of Statistical Mechanics\u2014The Information Theory Approach, Freeman, San Francisco."
    },
    {
      "key": "BF01857727_CR12",
      "doi-asserted-by": "crossref",
      "first-page": "1017",
      "DOI": "10.1109/TC.1977.1674737",
      "volume": "26",
      "author": "R. W. Keyes",
      "year": "1977",
      "unstructured": "Keyes, R. W. (1977). \u201cPhysical uncertainty and information,\u201dIEEE Transactions on Computers C26, 1017\u20131025.",
      "journal-title": "IEEE Transactions on Computers"
    },
    {
      "key": "BF01857727_CR13",
      "doi-asserted-by": "crossref",
      "first-page": "247",
      "DOI": "10.1109/TC.1976.5009251",
      "volume": "25",
      "author": "K. Kinoshita",
      "year": "1976",
      "unstructured": "Kinoshita, K., Tsutomu, S., Jun, M. (1976). \u201cOn magnetic bubble circuits,\u201dIEEE Transactions on Computers,C25, 247\u2013253.",
      "journal-title": "IEEE Transactions on Computers"
    },
    {
      "key": "BF01857727_CR14",
      "volume-title": "Mechanics",
      "author": "L. D. Landau",
      "year": "1960",
      "unstructured": "Landau, L. D., and Lifshitz, E. M. (1960).Mechanics. Pergamon Press, New York."
    },
    {
      "key": "BF01857727_CR15",
      "doi-asserted-by": "crossref",
      "first-page": "183",
      "DOI": "10.1147/rd.53.0183",
      "volume": "5",
      "author": "R. Landauer",
      "year": "1961",
      "unstructured": "Landauer R. (1961). \u201cIrreversibility and heat generation in the computing process,\u201dIBM Journal of Research and Development,5, 183\u2013191.",
      "journal-title": "IBM Journal of Research and Development"
    },
    {
      "key": "BF01857727_CR16",
      "doi-asserted-by": "crossref",
      "first-page": "105",
      "DOI": "10.1109/MSPEC.1967.5215588",
      "volume": "4",
      "author": "R. Landauer",
      "year": "1967",
      "unstructured": "Landauer, R. (1967). \u201cWanted: a physically possible theory of physics,\u201dIEEE Spectrum,4, 105\u2013109.",
      "journal-title": "IEEE Spectrum"
    },
    {
      "key": "BF01857727_CR17",
      "doi-asserted-by": "crossref",
      "first-page": "1041",
      "DOI": "10.1002/bbpc.19760801102",
      "volume": "80",
      "author": "R. Landauer",
      "year": "1976",
      "unstructured": "Landauer, R. (1976). \u201cFundamental limitations in the computational process,\u201dBerichte der Bunsengesellschaft fuer Physikalische Chemie,80, 1041\u20131256.",
      "journal-title": "Berichte der Bunsengesellschaft fuer Physikalische Chemie"
    },
    {
      "key": "BF01857727_CR18",
      "volume-title": "Gravitation and Spacetime",
      "author": "H. C. Ohanian",
      "year": "1976",
      "unstructured": "Ohanian, H. C. (1976).Gravitation and Spacetime, Norton. New York."
    },
    {
      "key": "BF01857727_CR19",
      "series-title": "3rd Colloquium \u00fcber Automatentheorie",
      "volume-title": "Grunds\u00e4tzliches zur Beischreibung diskreter Prozesse",
      "author": "C. A. Petri",
      "year": "1976",
      "unstructured": "Petri, C. A. (1976). \u201cGrunds\u00e4tzliches zur Beischreibung diskreter Prozesse,\u201d 3rd Colloquium \u00fcber Automatentheorie, Basel, Birkh\u00e4user Verlag. (An English translation is available from Petri or from the authors)."
    },
    {
      "key": "BF01857727_CR20",
      "doi-asserted-by": "crossref",
      "first-page": "101",
      "DOI": "10.1080/01969727608927527",
      "volume": "6",
      "author": "L. Priese",
      "year": "1976",
      "unstructured": "Priese, L. (1976). \u201cOn a simple combinatorial structure sufficient for sublying nontrivial self-reproduction,\u201dJournal of Cybernetics,6, 101\u2013137.",
      "journal-title": "Journal of Cybernetics"
    },
    {
      "key": "BF01857727_CR21",
      "unstructured": "Ressler, A., The design of a conservative logic computer and a graphical editor simulator. M. S. Thesis. MIT, EECS Department (January 1981)."
    },
    {
      "key": "BF01857727_CR22",
      "doi-asserted-by": "crossref",
      "unstructured": "Shannon, Claude E. \u201cA mathematical theory of communication,\u201dBell Systems Technical Journal,27, 379\u2013423 and 623\u2013656.",
      "DOI": "10.1002/j.1538-7305.1948.tb00917.x"
    },
    {
      "key": "BF01857727_CR23",
      "doi-asserted-by": "crossref",
      "first-page": "213",
      "DOI": "10.1016/S0022-0000(77)80007-X",
      "volume": "15",
      "author": "T. Toffoli",
      "year": "1977",
      "unstructured": "Toffoli, T. (1977). \u201cComputation and construction universality of reversible cellular automata,\u201dJournal of Computer Systems Science,15, 213\u2013231.",
      "journal-title": "Journal of Computer Systems Science"
    },
    {
      "key": "BF01857727_CR24",
      "series-title": "Technical Report",
      "volume-title": "Cellular automata mechanics",
      "author": "T. Toffoli",
      "year": "1977",
      "unstructured": "Toffoli, T. (1977). \u201cCellular automata mechanics,\u201dTechnical Report No. 208, Logic of Computers Group, CCS Department, The University of Michigan, Ann Arbor, Michigan (November)."
    },
    {
      "key": "BF01857727_CR25",
      "doi-asserted-by": "crossref",
      "unstructured": "Toffoli, T. (1980). \u201cReversible computing,\u201dTechnical 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\u2013644. An enlarged, revised version for final publication is in preparation.",
      "DOI": "10.21236/ADA082021"
    },
    {
      "key": "BF01857727_CR26",
      "doi-asserted-by": "crossref",
      "first-page": "13",
      "DOI": "10.1007/BF01752388",
      "volume": "14",
      "author": "T. Toffoli",
      "year": "1981",
      "unstructured": "Toffoli, T. (1981). \u201cBicontinuous extensions of invertible combinatorial functions,\u201dMathematical Systems Theory,14, 13\u201323.",
      "journal-title": "Mathematical Systems Theory"
    },
    {
      "key": "BF01857727_CR27",
      "first-page": "544",
      "volume": "43",
      "author": "A. M. Turing",
      "year": "1936",
      "unstructured": "Turing, A. M. (1936). \u201cOn computable numbers, with an application to the entscheidungs problem,\u201dProceedings of the London Mathematical Society Ser. 2 43, 544\u2013546.",
      "journal-title": "Proceedings of the London Mathematical Society Ser. 2"
    }
  ],
  "container-title": "International Journal of Theoretical Physics",
  "original-title": [],
  "language": "en",
  "link": [
    {
      "URL": "http://link.springer.com/content/pdf/10.1007/BF01857727.pdf",
      "content-type": "application/pdf",
      "content-version": "vor",
      "intended-application": "text-mining"
    },
    {
      "URL": "http://link.springer.com/article/10.1007/BF01857727/fulltext.html",
      "content-type": "text/html",
      "content-version": "vor",
      "intended-application": "text-mining"
    },
    {
      "URL": "http://link.springer.com/content/pdf/10.1007/BF01857727",
      "content-type": "unspecified",
      "content-version": "vor",
      "intended-application": "similarity-checking"
    }
  ],
  "deposited": {
    "date-parts": [
      [
        2020,
        4,
        8
      ]
    ],
    "date-time": "2020-04-08T02:38:32Z",
    "timestamp": 1586313512000
  },
  "score": 1,
  "resource": {
    "primary": {
      "URL": "http://link.springer.com/10.1007/BF01857727"
    }
  },
  "subtitle": [],
  "short-title": [],
  "issued": {
    "date-parts": [
      [
        1982,
        4
      ]
    ]
  },
  "references-count": 27,
  "journal-issue": {
    "issue": "3-4",
    "published-print": {
      "date-parts": [
        [
          1982,
          4
        ]
      ]
    }
  },
  "alternative-id": [
    "BF01857727"
  ],
  "URL": "http://dx.doi.org/10.1007/BF01857727",
  "relation": {},
  "ISSN": [
    "0020-7748",
    "1572-9575"
  ],
  "subject": [],
  "container-title-short": "Int J Theor Phys",
  "published": {
    "date-parts": [
      [
        1982,
        4
      ]
    ]
  }
}