John Myhill Quotes

John R. Myhill, Sr. was an English mathematician. He received his PhD from Harvard University in 1949. He served as professor at SUNY Buffalo from 1966 until his death in 1987. In the theory of cellular automata, he is known for proving the Garden of Eden theorem, stating that a cellular automaton has a configuration with no predecessor if and only if it has two different asymptotic configurations which evolve to the same configuration. In constructive set theory, he is known for proposing an axiom system that avoids the axiom of choice and the law of the excluded middle, known as Intuitionistic Zermelo–Fraenkel. He also developed a constructive set theory based on natural numbers, functions, and sets, rather than basing it purely on sets.