[net.math] _Godel, Escher, Bach_ problem

postpischil@being.DEC (Always mount a scratch monkey.) (12/20/85)

In _Godel, Escher, Bach_, Hofstadter poses the problem of expressing "b is a
power of 10" in Typographical Number Theory.  Does anybody have a solution for
this? 


				-- edp
				Eric Postpischil