Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!whuxl!whuxlm!akgua!gatech!seismo!mcvax!ukc!warwick!ds
From: ds@warwick.UUCP
Newsgroups: net.math
Subject: Re: Godel-Escher-Bach ans. + new problem
Message-ID: <386@snow.warwick.UUCP>
Date: Fri, 31-Jan-86 14:56:15 EST
Article-I.D.: snow.386
Posted: Fri Jan 31 14:56:15 1986
Date-Received: Sun, 2-Feb-86 01:02:51 EST
References: <139800001@uoregon.UUCP>
Reply-To: ds@warwick.UUCP (Douglas Spencer)
Organization: Maths institute, University of Warwick, UK
Lines: 29

Summary:
Expires:
Sender:
Followup-To:
Distribution:
Keywords:
Xpath: ukc eagle

In article <139800001@uoregon.UUCP> luks@uoregon.UUCP writes:
>This is in response to following request from Eric Postpischil:
>>In Godel, Escher, Bach, Douglas Hofstadter poses the problem of expressing "b
>>is a power of 10" in Typographical Number Theory.  Does anybody have a solution
>>for this?
>I offer an outline of my solution to this
Using his hints I have arrived at (Using E for there exists, A for for
all, ^ for and, v for or, I for implies)

Er:Es:<b=(r.s)^Ep:Et:<<Ax:Ay:~(SSx.SSy)=p>^<<<Ec:(Sr+Sc)=p>^<<Ec:Ed:<SSd=p>
^<<t=(r+(c.d))>v<r=(t+(c.d))>>>^<Au:<Ec:Ed:<SSd=p>^<<u=(r+(c.d))>v<r=(u+(c.
d))>>>IEc:(t+c)=u>>^<<Ec:(SSSSs+Sc)=p>^<<Ec:Ed:<SSSSSd=p>^<<t=(s+(c.d))>v<s
=(t+(c.d))>>>^<Au:<Ec:Ed:<SSSSSd=p>^<<u=(s+(c.d))>v<s=(u+(c.d))>>>IEc:(t+c)
=u>>>>>

(It's only 307 chars)
Now can someone check that and post any corrections?
If someone can post a derivation for this string I *would* be impressed.:-)

+---------------------------------+-------------------------+
| 'Anchoring on his left foot and | Douglas Spencer         |
| balancing poised over the talc- |  Mathematics Institute  |
| like  pulverate,  testingly  he |   University of Warwick |
| put his right foot in.'         |    Coventry             |
| Who is it? What story is this?  |     CV4 7AL             |
| What happens next? Please email |      England            |
+---------------------------------+-------------------------+
|  ..seismo!mcvax!ukc!warwick!ds  | 1,29'35" W  52,25'15" N |
+---------------------------------+-------------------------+