ProofWiki:Mathematicians/John C. Shepherdson
From ProofWiki
Professor emeritus at the University of Bristol, England.
Co-designer (with Howard Sturgis) of the Unlimited Register Machine, a refinement of the Turing machine.
Contents |
Nationality
English
History
- Born: 1926
Theorems and Definitions
Books, Papers and Other Creations
- 1963: Computability of Recursive Functions (J. ACM 10(2): 217-255) (with Howard Sturgis)
