Re: proof of undecidability of halting problem

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
.

Relevant Pages

  • Re: =
    ... Charlie-Boo wrote: ... >> Let us say that we have a system for listing certain ... and for detecting certain sets which eventually reports a find ... Prev by Date: ...
    (sci.logic)
  • 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 ... time on idiots of his ilk. ...
    (sci.logic)
  • 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)
Quantcast