Re: A question for Mr. Celko

On Sun, 18 Jul 2004 11:42:44 -0700, --CELKO-- wrote:
>
> The list stuff also has its problems -- look up Post Production
> strings. This was designed by the logician Emily Post to demonstrate
> unprovablity of what look like simple theorems.

Don't you mean Emil Post? Or is the Post Correspondence Problem actually the problem of writing a polite letter? :-)

http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Post.html

http://en.wikipedia.org/wiki/Post_correspondence_problem

• Jan Hidders