John Myhill | |
|---|---|
| Born | 11 August 1923 |
| Died | 15 February 1987 (aged 63) |
| Nationality | British |
| Alma mater | Harvard University |
| Known for | Russell–Myhill paradox Rice–Myhill–Shapiro theorem intuitionistic Zermelo–Fraenkel Myhill's property Myhill–Nerode theorem Garden of Eden theorem |
| Spouse | Akiko Kino (died 1983) |
| Scientific career | |
| Fields | Mathematics |
| Thesis | A Semantically Complete Foundation for Logic and Mathematics (1949) |
| Doctoral advisor | Willard Van Orman Quine |
| Other academic advisors | Lynn Harold Loomis |
John R. Myhill Sr. (11 August 1923 – 15 February 1987)[1] was a British mathematician.