About a month ago I came across a proof that HALT is
undecidable in verse! I thought what a great post that would make
Last week I tried to find it again but, alas, I could not.
did not work on my school computer, but it did on my home computer.
I am tempted to say thats odd
but its not--- odd computer things
that don't make sense are so common that they are no longer odd.
Just to make sure I always had a copy I made my own copy
While searching the web for this poem I came across
a posting about it by Lance
However, the link there no longer works.
(Though Lance may read this and fix it.)
If you find something on line that you like SAVE IT! It may go away.
Especially if its a Dr. Suess Style poem
Posted By GASARCH to Computational Complexity
at 5/18/2009 10:50:00 AM