What people are saying - Write a review
We haven't found any reviews in the usual places.
3 The Operation of the Post Machine
Addition of Unity on the Post Machine
7 other sections not shown
2nd block 6th block A. A. Markov A. N. Kolmogorov addition of numbers addition of unity applied arbitrary distances blank cell block—call Build the program carriage faces carriage is positioned cell being examined cells numbered chine class En+1 class Hn datum denote electronic computer erased erazing Exercise finite formulation function given gram halt instruction halt will occur initial internal initial number instruction is executed instruction with number integers Kurt Godel labelled cells little stone machine operation magic stone Mathematics method no-result halt number of steps number tuple numbers recorded ordered pairs performing possible initial data Post machine program Post's algorithm Post's hypothesis Post's proposal Post's words PP-computable problem on addition programs of length prove punched tape reader record numbers record of number result halt resulting number shown in Fig solution of problem Soviet Encyclopaedia specific problem Steklov Mathematics Institute stop storage symbol space tion Turing Turing machine