Mathematician:John R. Myhill
(Redirected from Mathematician:J. Myhill)Jump to navigation Jump to search
British mathematician working mainly in the field formal languages and mathematical logic.
- Born: 11 August 1923 in Birmingham, United Kingdom
- Died: 15 February 1987
Theorems and Definitions
- Diaconescu-Goodman-Myhill Theorem (with Noah D. Goodman, independently of Radu Diaconescu)
Results named for John R. Myhill can be found here.
- 1978: Choice Implies Excluded Middle (Math. Log. Quart Vol. 24: p. 461) (with N.D. Goodman)