John Myhill
British mathematician (1923–1987)
John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician.
Education
Myhill received his Ph.D. from Harvard University under the supervision of Willard Van Orman Quine in 1949. He was a professor at SUNY Buffalo from 1966 until his death in 1987. He also taught at several other universities during his career.
His son, also called John Myhill, is a professor of linguistics in the English department of the University of Haifa in Israel.
Contributions
In the theory of formal languages, the Myhill–Nerode theorem, proven by Myhill and Anil Nerode, characterizes the regular languages as the languages that have only finitely many inequivalent prefixes.
In computability theory, the Rice–Myhill–Shapiro theorem, more commonly known as Rice's theorem, states that, for any nontrivial property P of partial functions, it is undecidable whether a given Turing machine computes a function with property P. The Myhill isomorphism theorem is a computability-theoretic analogue of the Cantor–Bernstein–Schroeder theorem that characterizes the recursive isomorphisms of pairs of sets.
In the theory of cellular automata, Myhill is known for proving (along with E. F. Moore) the Garden of Eden theorem, which states 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. He is also known for posing the firing squad synchronization problem of designing an automaton that, starting from a single non-quiescent cell, evolves to a configuration in which all cells reach the same non-quiescent state at the same time; this problem was again solved by Moore.
“John Myhill” enters the record as british mathematician (1923–1987). Crown Archives preserves that source wording while asking what John, Myhill and British can confirm, complicate or overturn.
Why this record matters
“John Myhill” is worth following because a concise public description often conceals a longer documentary argument. Here, John, Myhill and British provides the most credible route into that argument.
Biographical claims are most persuasive when dates, appointments and relationships can be traced to records created close to the events described. The source revision retrieved here is dated Sep 1, 2026. The linked authority identifier is Q402579. VIAF identifies the subject as 271404040. The Library of Congress control number is n87825260. 3 of 3 selected statements include explicit references; 0 carry qualifiers and 0 use preferred rank. The first chronological checks are 1923, 1987, 1949 and 1966.
A concise life account rarely captures disputed attribution, private networks or the changing language used to describe a career. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Read biographical claims against dates, named institutions and the cited references. Distinguish a subject’s later reputation from evidence produced during their lifetime.
- Establishing names and roles
- Building a first chronology
- Locating cited institutions
Personal papers, civil or court records, institutional files and the scholarship cited by the source.
Three-step research path
- Establish the record: confirm the title “John Myhill”, its source revision and the description used here.
- Expand the search: follow John Myhill primary sources, John Myhill archive and John research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “John Myhill”?
- Which claims depend on a single source or contested interpretation?
- How has the subject’s reputation changed across later accounts?
Search terms from this dossier
This entry incorporates text from “John Myhill” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.