Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Using 1947 work of Post showing that the word problem for semigroups is unsolvable, we explicitly exhibit an algebraic characterization of the bits of the halting probability Ω. Our proof closely follows a 1978 formulation of Post's work by M. Davis. The proof is self-contained and not very complicated.
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Da-Ke He, Ashish Jagmohan, et al.
ISIT 2007
J. LaRue, C. Ting
Proceedings of SPIE 1989
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences