Re: proof of undecidability of halting problem

In <e8invp$lbm$1@xxxxxxxxxxxxxxxxxxx> "H. J. Sander Bruggink" <bruggink@xxxxxxxxxx> writes:

Charlie-Boo wrote:

(emphesis mine)

Here is a link to a company that *SELLS* a reprint of an article of mine
in which I give a complete listing of a program that generates Theory
of Computation theorems. Mayhaps you'd like to post it somewhere as
well?

So now I have to *PAY* to see your software?!?

Nice try, Charlie.

groente
-- Sander

If you really want to pursue this piece of stupidity further,
you can find it at http://arxiv.org/html/cs.LO/0003071

Personally I can't understand why sensible people waste their
time on idiots of his ilk.

.

Relevant Pages

  • Re: proof of undecidability of halting problem
    ... in which I give a complete listing of a program that generates Theory ... of Computation theorems. ... Mayhaps you'd like to post it somewhere as ... If you really want to pursue this piece of stupidity further, ...
    (sci.logic)
  • Re: proof of undecidability of halting problem
    ... Charlie-Boo wrote: ... in which I give a complete listing of a program that generates Theory ... of Computation theorems. ... Mayhaps you'd like to post it somewhere as ...
    (sci.logic)