skip to content
Conservative Logic. Preview this item
ClosePreview this item
Checking...

Conservative Logic.

Author: Edward Fredkin; Tommaso Toffoli; MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center MAY 1981.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
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 certain additive 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Edward Fredkin; Tommaso Toffoli; MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE.
OCLC Number: 227493316
Description: 32 pages

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 certain additive 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. (Author).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227493316> # Conservative Logic.
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "227493316" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1911006061#Place/ft_belvoir> ; # Ft. Belvoir
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/variables> ; # Variables
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/gases> ; # Gases
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/numerical_methods_and_procedures> ; # Numerical methods and procedures
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/theory> ; # Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/kinetic_theory> ; # Kinetic theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/network_flows> ; # Network flows
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/switching> ; # Switching
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/computerized_simulation> ; # Computerized simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/error_analysis> ; # Error analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/computations> ; # Computations
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/physics> ; # Physics
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Thing/conservative_logic> ; # Conservative logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/theoretical_mathematics> ; # Theoretical Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/sequences> ; # Sequences
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/binary_notation> ; # Binary notation
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/automata> ; # Automata
    schema:about <http://experiment.worldcat.org/entity/work/data/1911006061#Topic/circuit_analysis> ; # Circuit analysis
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1911006061#Person/toffoli_tommaso> ; # Tommaso Toffoli
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1911006061#Person/fredkin_edward> ; # Edward Fredkin
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1911006061#Organization/massachusetts_inst_of_tech_cambridge_lab_for_computer_science> ; # MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE.
    schema:datePublished "1981" ;
    schema:datePublished "MAY 1981" ;
    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 certain additive 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. (Author)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1911006061> ;
    schema:inLanguage "en" ;
    schema:name "Conservative Logic."@en ;
    schema:productID "227493316" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227493316#PublicationEvent/ft_belvoirdefense_technical_information_centermay_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1911006061#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227493316> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1911006061#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Organization/massachusetts_inst_of_tech_cambridge_lab_for_computer_science> # MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE.
    a schema:Organization ;
    schema:name "MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Person/fredkin_edward> # Edward Fredkin
    a schema:Person ;
    schema:familyName "Fredkin" ;
    schema:givenName "Edward" ;
    schema:name "Edward Fredkin" ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Person/toffoli_tommaso> # Tommaso Toffoli
    a schema:Person ;
    schema:familyName "Toffoli" ;
    schema:givenName "Tommaso" ;
    schema:name "Tommaso Toffoli" ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Thing/conservative_logic> # Conservative logic
    a schema:Thing ;
    schema:name "Conservative logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Topic/computerized_simulation> # Computerized simulation
    a schema:Intangible ;
    schema:name "Computerized simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Topic/numerical_methods_and_procedures> # Numerical methods and procedures
    a schema:Intangible ;
    schema:name "Numerical methods and procedures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1911006061#Topic/theoretical_mathematics> # Theoretical Mathematics
    a schema:Intangible ;
    schema:name "Theoretical Mathematics"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.