John Myhill
From Wikipedia, the free encyclopedia
John R. Myhill was a mathematician. He received his Ph.D. from Harvard University under Willard Van Orman Quine in 1949. He was professor at SUNY Buffalo from 1966 until his death in 1987. He also taught at several other universities.
In the theory of cellular automata, Myhill is known for proving the Garden of Eden theorem, stating that a cellular automaton is reversible if and only if it has no pattern with no predecessor, and for stating the firing squad synchronization problem.
[edit] See also
- Rice-Myhill-Shapiro theorem
- Myhill isomorphism theorem
- Myhill-Nerode theorem
- Myhill's property
- Russell-Myhill Paradox
- Constructive set theory
- Firing squad synchronization problem
[edit] External links
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
