Determinism

Author(s): Edward A. Lee

Citation
Edward A. Lee. "Determinism". ACM Transactions on Embedded Computing Systems (TECS), 20(5), July 2021.

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

Citation Formats

  • HTML
                    
    Edward A. Lee.
    "<a href="https://www.icyphy.org/publications/2021_Lee/">Determinism</a>".
    <i>ACM Transactions on Embedded Computing Systems (TECS)</i>, 20(5), July 2021.
                    
                    
  • Plain Text
                    
    Edward A. Lee.
    "Determinism".
    ACM Transactions on Embedded Computing Systems (TECS), 20(5), July 2021.
                    
                    
  • 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 = {https://www.icyphy.org/publications/2021_Lee/} }