Monogenic normal systems are universal
- 1 August 1963
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of the Australian Mathematical Society
- Vol. 3 (3) , 301-306
- https://doi.org/10.1017/s1446788700028330
Abstract
In 1943, Post conjectured that “monogenic normal systems are universal”, and in 1961 Minsky proved a stronger result “‘tag’ systems are universal” which implied the proof of Post's conjecture. The author had independently obtained a simple direct proof of Post's conjecture. The purpose of this note, then, is to present an exposition of Post's conjecture, and to show the full simplicity of its direct verification.Keywords
This publication has 1 reference indexed in Scilit:
- On Computable Numbers, with an Application to the EntscheidungsproblemProceedings of the London Mathematical Society, 1937