Re: A question for Mr. Celko
From: Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be>
Date: Sun, 18 Jul 2004 23:26:46 GMT
Message-ID: <pan.2004.07.18.23.27.24.969127_at_REMOVETHIS.pandora.be>
Date: Sun, 18 Jul 2004 23:26:46 GMT
Message-ID: <pan.2004.07.18.23.27.24.969127_at_REMOVETHIS.pandora.be>
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