John Myhill
John Myhill | |
|---|---|
| Born | 11 August 1923 Birmingham, England |
| Died | 15 February 1987 (aged 63) |
| 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) was a British mathematician.