Conservative logic View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1982-04

AUTHORS

Edward Fredkin, Tommaso Toffoli

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. More... »

PAGES

219-253

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bf01857727

DOI

http://dx.doi.org/10.1007/bf01857727

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1032661873


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Massachusetts Institute of Technology", 
          "id": "https://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, Massachusetts"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fredkin", 
        "givenName": "Edward", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Massachusetts Institute of Technology", 
          "id": "https://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, Massachusetts"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Toffoli", 
        "givenName": "Tommaso", 
        "id": "sg:person.013131300015.62", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013131300015.62"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/bf01011339", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008923572", 
          "https://doi.org/10.1007/bf01011339"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/bbpc.19760801105", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009637336"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1080/01969727608927527", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010658448"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1002/bbpc.19760801102", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029341626"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01752388", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037755566", 
          "https://doi.org/10.1007/bf01752388"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01752388", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037755566", 
          "https://doi.org/10.1007/bf01752388"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0303-2647(79)90003-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038080310"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0303-2647(79)90003-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038080310"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0022-0000(77)80007-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046362897"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1103/physrevd.23.287", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1060688806"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1103/physrevd.23.287", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1060688806"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1103/physrevlett.46.623", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1060786237"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1103/physrevlett.46.623", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1060786237"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1103/revmodphys.47.67", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1060838805"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1103/revmodphys.47.67", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1060838805"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/jssc.1974.1050513", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061326160"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/mspec.1967.5215588", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061425124"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tc.1976.5009251", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061531744"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tc.1977.1674737", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061531762"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1147/rd.176.0525", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1063180324"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1147/rd.53.0183", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1063183065"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.21236/ada082021", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1091582442"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1982-04", 
    "datePublishedReg": "1982-04-01", 
    "description": "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 \u201ccomputing resources\u201d 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 \u201cballs,\u201d 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.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf01857727", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1053677", 
        "issn": [
          "0020-7748", 
          "1572-9575"
        ], 
        "name": "International Journal of Theoretical Physics", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3-4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "21"
      }
    ], 
    "name": "Conservative logic", 
    "pagination": "219-253", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "9b990d6b19b0adabcb7c33f3a9eb8c4dcd5831896affbd7b0e0ca75375d475d1"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf01857727"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1032661873"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf01857727", 
      "https://app.dimensions.ai/details/publication/pub.1032661873"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T10:48", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000350_0000000350/records_77549_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/BF01857727"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/bf01857727'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/bf01857727'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf01857727'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf01857727'


 

This table displays all metadata directly associated to this object as RDF triples.

120 TRIPLES      21 PREDICATES      44 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf01857727 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N3cdf9a77def241889ea197dea21c3015
4 schema:citation sg:pub.10.1007/bf01011339
5 sg:pub.10.1007/bf01752388
6 https://doi.org/10.1002/bbpc.19760801102
7 https://doi.org/10.1002/bbpc.19760801105
8 https://doi.org/10.1016/0303-2647(79)90003-0
9 https://doi.org/10.1016/s0022-0000(77)80007-x
10 https://doi.org/10.1080/01969727608927527
11 https://doi.org/10.1103/physrevd.23.287
12 https://doi.org/10.1103/physrevlett.46.623
13 https://doi.org/10.1103/revmodphys.47.67
14 https://doi.org/10.1109/jssc.1974.1050513
15 https://doi.org/10.1109/mspec.1967.5215588
16 https://doi.org/10.1109/tc.1976.5009251
17 https://doi.org/10.1109/tc.1977.1674737
18 https://doi.org/10.1147/rd.176.0525
19 https://doi.org/10.1147/rd.53.0183
20 https://doi.org/10.21236/ada082021
21 schema:datePublished 1982-04
22 schema:datePublishedReg 1982-04-01
23 schema:description 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.
24 schema:genre research_article
25 schema:inLanguage en
26 schema:isAccessibleForFree false
27 schema:isPartOf N6ecc9cee434a4c778aebb402a5a4caad
28 N98195b4c04494c84ac82e6cd22fcee9a
29 sg:journal.1053677
30 schema:name Conservative logic
31 schema:pagination 219-253
32 schema:productId N3a347fe2b30e4a6ba2c19b41d7b547d6
33 N61a6d754ea89435bb95717136505524e
34 Ne35ffefd2dd5483e902c505de6d5f111
35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032661873
36 https://doi.org/10.1007/bf01857727
37 schema:sdDatePublished 2019-04-11T10:48
38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
39 schema:sdPublisher N557f8c8a4ae34ef4889aea2a233c69dc
40 schema:url http://link.springer.com/10.1007/BF01857727
41 sgo:license sg:explorer/license/
42 sgo:sdDataset articles
43 rdf:type schema:ScholarlyArticle
44 N3a347fe2b30e4a6ba2c19b41d7b547d6 schema:name doi
45 schema:value 10.1007/bf01857727
46 rdf:type schema:PropertyValue
47 N3cdf9a77def241889ea197dea21c3015 rdf:first Nf4d22ffd1f274062b2dd9261c67b53c6
48 rdf:rest Na970c1dce05a465e97137acefe7bc5b5
49 N557f8c8a4ae34ef4889aea2a233c69dc schema:name Springer Nature - SN SciGraph project
50 rdf:type schema:Organization
51 N61a6d754ea89435bb95717136505524e schema:name dimensions_id
52 schema:value pub.1032661873
53 rdf:type schema:PropertyValue
54 N6ecc9cee434a4c778aebb402a5a4caad schema:volumeNumber 21
55 rdf:type schema:PublicationVolume
56 N98195b4c04494c84ac82e6cd22fcee9a schema:issueNumber 3-4
57 rdf:type schema:PublicationIssue
58 Na970c1dce05a465e97137acefe7bc5b5 rdf:first sg:person.013131300015.62
59 rdf:rest rdf:nil
60 Ne35ffefd2dd5483e902c505de6d5f111 schema:name readcube_id
61 schema:value 9b990d6b19b0adabcb7c33f3a9eb8c4dcd5831896affbd7b0e0ca75375d475d1
62 rdf:type schema:PropertyValue
63 Nf4d22ffd1f274062b2dd9261c67b53c6 schema:affiliation https://www.grid.ac/institutes/grid.116068.8
64 schema:familyName Fredkin
65 schema:givenName Edward
66 rdf:type schema:Person
67 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
68 schema:name Information and Computing Sciences
69 rdf:type schema:DefinedTerm
70 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
71 schema:name Computation Theory and Mathematics
72 rdf:type schema:DefinedTerm
73 sg:journal.1053677 schema:issn 0020-7748
74 1572-9575
75 schema:name International Journal of Theoretical Physics
76 rdf:type schema:Periodical
77 sg:person.013131300015.62 schema:affiliation https://www.grid.ac/institutes/grid.116068.8
78 schema:familyName Toffoli
79 schema:givenName Tommaso
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013131300015.62
81 rdf:type schema:Person
82 sg:pub.10.1007/bf01011339 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008923572
83 https://doi.org/10.1007/bf01011339
84 rdf:type schema:CreativeWork
85 sg:pub.10.1007/bf01752388 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037755566
86 https://doi.org/10.1007/bf01752388
87 rdf:type schema:CreativeWork
88 https://doi.org/10.1002/bbpc.19760801102 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029341626
89 rdf:type schema:CreativeWork
90 https://doi.org/10.1002/bbpc.19760801105 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009637336
91 rdf:type schema:CreativeWork
92 https://doi.org/10.1016/0303-2647(79)90003-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038080310
93 rdf:type schema:CreativeWork
94 https://doi.org/10.1016/s0022-0000(77)80007-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1046362897
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1080/01969727608927527 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010658448
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1103/physrevd.23.287 schema:sameAs https://app.dimensions.ai/details/publication/pub.1060688806
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1103/physrevlett.46.623 schema:sameAs https://app.dimensions.ai/details/publication/pub.1060786237
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1103/revmodphys.47.67 schema:sameAs https://app.dimensions.ai/details/publication/pub.1060838805
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1109/jssc.1974.1050513 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061326160
105 rdf:type schema:CreativeWork
106 https://doi.org/10.1109/mspec.1967.5215588 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061425124
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1109/tc.1976.5009251 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061531744
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1109/tc.1977.1674737 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061531762
111 rdf:type schema:CreativeWork
112 https://doi.org/10.1147/rd.176.0525 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063180324
113 rdf:type schema:CreativeWork
114 https://doi.org/10.1147/rd.53.0183 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063183065
115 rdf:type schema:CreativeWork
116 https://doi.org/10.21236/ada082021 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091582442
117 rdf:type schema:CreativeWork
118 https://www.grid.ac/institutes/grid.116068.8 schema:alternateName Massachusetts Institute of Technology
119 schema:name MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, Massachusetts
120 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...