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