Mathematician:John C. Shepherdson

From ProofWiki
Jump to navigation Jump to search

Mathematician

Professor emeritus at the University of Bristol, England.

Co-designer (with Howard E. Sturgis) of the Unlimited Register Machine, a refinement of the Turing machine.


Nationality

English


History

  • Born: 1926


Theorems and Definitions


Publications

  • 1963: Computability of Recursive Functions (J. ACM Vol. 10no. 2: 217 – 255) (with H.E. Sturgis)