Chapter Two: Embracing the laws of physics: Three reversible models of computation

Jacques Carettea; Roshan P. Jamesb; Amr Sabryc    a McMaster University, Hamilton, ON, Canadab Google, New York, NY, United Statesc Indiana University in Bloomington, IN, United States

Abstract

Our main models of computation (the Turing Machine and the RAM) and most modern computer architectures make fundamental assumptions about which primitive operations are realizable on a physical computing device. The consensus is that these primitive operations include logical operations like conjunction, disjunction and negation, as well as reading and writing to a large collection of memory locations. This perspective conforms to a macro-level view of physics and ...

Get Advances in Computers now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.