# Mathematician:John R. Myhill

Jump to navigation
Jump to search

## Mathematician

British mathematician working mainly in the field formal languages and mathematical logic.

## Nationality

British

## History

- 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.

## Publications

- 1978:
*Choice Implies Excluded Middle*(*Math. Log. Quart***Vol. 24**: p. 461) (with N.D. Goodman)