John Myhill
John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician.
John Myhill | |
|---|---|
| Born | 11 August 1923 Birmingham, United Kingdom |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.