Article contents
Monogenic normal systems are universal1
Published online by Cambridge University Press: 09 April 2009
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1963
References
- 5
- Cited by