Determinism

Author(s): Edward A. Lee

Abstract
This article is about deterministic models, what they are, why they are useful, and what their limitations are. First, the article emphasizes that determinism is a property of models, not of physical systems. Whether a model is deterministic or not depends on how one defines the inputs and behavior of the model. To define behavior, one has to define an observer. The article compares and contrasts two classes of ways to define an observer, one based on the notion of 'state' and another that more flexibly defines the observables. The notion of 'state' is shown to be problematic and lead to nondeterminism that is avoided when the observables are defined differently. The article examines determinism in models of the physical world. In what may surprise many readers, it shows that Newtonian physics admits nondeterminism and that quantum physics may be interpreted as a deterministic model. Moreover, it shows that both relativity and quantum physics undermine the notion of 'state' and therefore require more flexible ways of defining observables. Finally, the article reviews results showing that sufficiently rich sets of deterministic models are incomplete. Specifically, nondeterminism is inescapable in any system of models rich enough to encompass Newton's laws.

Electronic Downloads

• http://dx.doi.org/10.1145/3453652

---

Citation Formats

• APA
  

                  
  Edward A. Lee. (2021). Determinism. In ACM Transactions on Embedded Computing Systems (TECS), 20(5). doi:10.1145/3453652.                     
                  
                  

• MLA
  

                  
  Edward A. Lee. "Determinism." 2021. ACM Transactions on Embedded Computing Systems (TECS), vol. 20, no. 5. doi:10.1145/3453652.                     
                  
                  

• Chicago
  

                  
  Edward A. Lee. "Determinism." 2021. In ACM Transactions on Embedded Computing Systems (TECS), vol. 20(5). doi:10.1145/3453652.                     
                  
                  

• BibTeX
  

                      
  @article{Lee:21:Determinism,
  	author = {Edward A. Lee},
  	title = {Determinism},
  	journal = {ACM Transactions on Embedded Computing Systems (TECS)},
  	volume = {20},
  	number = {5},
  	month = {July},
  	year = {2021},
  	doi = {10.1145/3453652},
  	abstract = {This article is about deterministic models, what they are, why they are useful, and what their limitations are. First, the article emphasizes that determinism is a property of models, not of physical systems. Whether a model is deterministic or not depends on how one defines the inputs and behavior of the model. To define behavior, one has to define an observer. The article compares and contrasts two classes of ways to define an observer, one based on the notion of 'state' and another that more flexibly defines the observables. The notion of 'state' is shown to be problematic and lead to nondeterminism that is avoided when the observables are defined differently. The article examines determinism in models of the physical world. In what may surprise many readers, it shows that Newtonian physics admits nondeterminism and that quantum physics may be interpreted as a deterministic model. Moreover, it shows that both relativity and quantum physics undermine the notion of 'state' and therefore require more flexible ways of defining observables. Finally, the article reviews results showing that sufficiently rich sets of deterministic models are incomplete. Specifically, nondeterminism is inescapable in any system of models rich enough to encompass Newton's laws.},
  	URL = {http://dx.doi.org/10.1145/3453652}}