The unsolvability of the uniform halting problem for two state Turing machines

DOI10.2307/2271089zbMath0181.01303OpenAlexW2012736776MaRDI QIDQ5570931

Gabor T. Herman

Publication date: 1969

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271089

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Spin-tensorial concomitants of the spin-tensor field ⋮ A decision procedure using discrete geometry ⋮ On vector-tensor minimally coupled field theories

Cites Work

• On Formalisms for Turing Machines