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

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/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/02", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Physical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, Massachusetts", 
          "id": "http://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": "MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, Massachusetts", 
          "id": "http://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": "sg:pub.10.1007/bf01752388", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037755566", 
          "https://doi.org/10.1007/bf01752388"
        ], 
        "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": "article", 
    "id": "sg:pub.10.1007/bf01857727", 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1053677", 
        "issn": [
          "0020-7748", 
          "1572-9575"
        ], 
        "name": "International Journal of Theoretical Physics", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3-4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "21"
      }
    ], 
    "keywords": [
      "appropriate initial conditions", 
      "conservative logic", 
      "mirror physics", 
      "general purpose digital computer", 
      "dynamical laws", 
      "elastic collisions", 
      "high-performance computing systems", 
      "internal power dissipation", 
      "atomic model", 
      "initial conditions", 
      "kinetic theory", 
      "perfect gases", 
      "perfect gas", 
      "physics", 
      "digital computer", 
      "conservation constraints", 
      "general framework", 
      "binary variables", 
      "computation", 
      "specific model", 
      "second model", 
      "computing systems", 
      "shaped container", 
      "theory", 
      "computing resources", 
      "collisions", 
      "computing capabilities", 
      "fundamental principles", 
      "model", 
      "power dissipation", 
      "traditional models", 
      "dissipation", 
      "efficient use", 
      "constraints", 
      "substantial breakthroughs", 
      "gas", 
      "best position", 
      "realization", 
      "comprehensive model", 
      "gases", 
      "system", 
      "law", 
      "sequential circuits", 
      "logic", 
      "correspondence", 
      "computer", 
      "variables", 
      "functional behavior", 
      "principles", 
      "quantity", 
      "framework", 
      "ball", 
      "circuit", 
      "number", 
      "position", 
      "refinement", 
      "capability", 
      "counterparts", 
      "breakthrough", 
      "behavior", 
      "nature", 
      "fact", 
      "conditions", 
      "reversibility", 
      "resources", 
      "conservation", 
      "containers", 
      "use", 
      "indications"
    ], 
    "name": "Conservative logic", 
    "pagination": "219-253", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1032661873"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf01857727"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf01857727", 
      "https://app.dimensions.ai/details/publication/pub.1032661873"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2022-12-01T06:18", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20221201/entities/gbq_results/article/article_164.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/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.

140 TRIPLES      21 PREDICATES      96 URIs      86 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf01857727 schema:about anzsrc-for:01
2 anzsrc-for:02
3 schema:author N144978d15cc044489759574330f0f077
4 schema:citation sg:pub.10.1007/bf01011339
5 sg:pub.10.1007/bf01752388
6 schema:datePublished 1982-04
7 schema:datePublishedReg 1982-04-01
8 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.
9 schema:genre article
10 schema:isAccessibleForFree false
11 schema:isPartOf N996f50e38f7447d7a64a65e783627290
12 Ncc3bc65f40a34637b6065af84931110a
13 sg:journal.1053677
14 schema:keywords appropriate initial conditions
15 atomic model
16 ball
17 behavior
18 best position
19 binary variables
20 breakthrough
21 capability
22 circuit
23 collisions
24 comprehensive model
25 computation
26 computer
27 computing capabilities
28 computing resources
29 computing systems
30 conditions
31 conservation
32 conservation constraints
33 conservative logic
34 constraints
35 containers
36 correspondence
37 counterparts
38 digital computer
39 dissipation
40 dynamical laws
41 efficient use
42 elastic collisions
43 fact
44 framework
45 functional behavior
46 fundamental principles
47 gas
48 gases
49 general framework
50 general purpose digital computer
51 high-performance computing systems
52 indications
53 initial conditions
54 internal power dissipation
55 kinetic theory
56 law
57 logic
58 mirror physics
59 model
60 nature
61 number
62 perfect gas
63 perfect gases
64 physics
65 position
66 power dissipation
67 principles
68 quantity
69 realization
70 refinement
71 resources
72 reversibility
73 second model
74 sequential circuits
75 shaped container
76 specific model
77 substantial breakthroughs
78 system
79 theory
80 traditional models
81 use
82 variables
83 schema:name Conservative logic
84 schema:pagination 219-253
85 schema:productId N86d39a18374742b69e16d5cb3c04807e
86 Nf683cc623c2d4ca0adac0c57f1b339a2
87 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032661873
88 https://doi.org/10.1007/bf01857727
89 schema:sdDatePublished 2022-12-01T06:18
90 schema:sdLicense https://scigraph.springernature.com/explorer/license/
91 schema:sdPublisher Nb29122dff7d149c5ba035c84646a7a24
92 schema:url https://doi.org/10.1007/bf01857727
93 sgo:license sg:explorer/license/
94 sgo:sdDataset articles
95 rdf:type schema:ScholarlyArticle
96 N144978d15cc044489759574330f0f077 rdf:first Nd86c1dd2f3c14f32aba6b7f3c7b626e9
97 rdf:rest N8b4694ac5e56426fb2d38eaf73beed46
98 N86d39a18374742b69e16d5cb3c04807e schema:name doi
99 schema:value 10.1007/bf01857727
100 rdf:type schema:PropertyValue
101 N8b4694ac5e56426fb2d38eaf73beed46 rdf:first sg:person.013131300015.62
102 rdf:rest rdf:nil
103 N996f50e38f7447d7a64a65e783627290 schema:volumeNumber 21
104 rdf:type schema:PublicationVolume
105 Nb29122dff7d149c5ba035c84646a7a24 schema:name Springer Nature - SN SciGraph project
106 rdf:type schema:Organization
107 Ncc3bc65f40a34637b6065af84931110a schema:issueNumber 3-4
108 rdf:type schema:PublicationIssue
109 Nd86c1dd2f3c14f32aba6b7f3c7b626e9 schema:affiliation grid-institutes:grid.116068.8
110 schema:familyName Fredkin
111 schema:givenName Edward
112 rdf:type schema:Person
113 Nf683cc623c2d4ca0adac0c57f1b339a2 schema:name dimensions_id
114 schema:value pub.1032661873
115 rdf:type schema:PropertyValue
116 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
117 schema:name Mathematical Sciences
118 rdf:type schema:DefinedTerm
119 anzsrc-for:02 schema:inDefinedTermSet anzsrc-for:
120 schema:name Physical Sciences
121 rdf:type schema:DefinedTerm
122 sg:journal.1053677 schema:issn 0020-7748
123 1572-9575
124 schema:name International Journal of Theoretical Physics
125 schema:publisher Springer Nature
126 rdf:type schema:Periodical
127 sg:person.013131300015.62 schema:affiliation grid-institutes:grid.116068.8
128 schema:familyName Toffoli
129 schema:givenName Tommaso
130 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013131300015.62
131 rdf:type schema:Person
132 sg:pub.10.1007/bf01011339 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008923572
133 https://doi.org/10.1007/bf01011339
134 rdf:type schema:CreativeWork
135 sg:pub.10.1007/bf01752388 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037755566
136 https://doi.org/10.1007/bf01752388
137 rdf:type schema:CreativeWork
138 grid-institutes:grid.116068.8 schema:alternateName MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, Massachusetts
139 schema:name MIT Laboratory for Computer Science, 545 Technology Square, 02139, Cambridge, Massachusetts
140 rdf:type schema:Organization
 




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


...