Sciweavers

FUIN
2007
100views more  FUIN 2007»
13 years 4 months ago
An Algebraic Characterization of the Halting Probability
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 Ω....
Gregory J. Chaitin