Re: Disproof of the Halting Problem's Conclusion

From: Kent Paul Dolan (xanthian_at_well.com)
Date: 07/28/04 

Date: Wed, 28 Jul 2004 05:59:01 +0000 (UTC)

"Peter Olcott" <olcott@worldnet.att.net> wrote:
> "Kent Paul Dolan" <xanthian@well.com> wrote:
>> "Peter Olcott" <olcott@worldnet.att.net> wrote:

>>> It might only be this way in the halting
>>> problem. It is very rare that a program is both
>>> input data and a function caller at the same
>>> time.

>> "Rare"? Pretty much every program whose source
>> code was ever handed to a compiler matches that
>> description.

> Which is not at all the same thing as an
> analytical impossibility

Peter, a person reading replies such as this from
you, and most of them read very much like this one,
would be forgiven for thinking you do all your
posting to the Internet, blind stinking drunk.

What in _hell_ was that supposed to mean?

You claimed that "It is very rare that a program is
both input data and a function called at the same
time".

I replied that [Peter, you are in error...]: every
program given to a compiler _is_ (by that very fact)
"input data", and almost every program given to a
compiler calls a function (since most of the
"library code" modules are functions, that is almost
inescapable).

What brand of inebriation produced what you wrote in
response? It is not the least bit responsive to the
trend up to then of the conversation, and like
almost everything you write here, makes no sense at
all. Tt is just English words tossed into a shape
much like the shape of a sentence, but giving no
evidence of a functioning brain having been involved
in that act of tossing.

xanthian. 

-- 
Posted via Mailgate.ORG Server - http://www.Mailgate.ORG

Relevant Pages

  • Re: Disproof of the Halting Problems Conclusion
    ... Peter, a person reading replies such as this from ... program given to a compiler _is_ ...
    (comp.theory)
  • Re: Com Interop generating wrong cases for interfaces
    ... And thanks for your help and your quick response. ... Conor ... > Thanks Peter. ... the compiler should just ignore it completely. ...
    (microsoft.public.dotnet.general)
  • Re: Umstieg auf DOTNET 2.0
    ... Wer steht denn bei VB6 ohne Compiler da? ... "Das Problem mit dem Framework hast Du bei VB2005 AUCH" ... Die war von Peter. ... Entwicklungswerkzeuges für eine solche Software wird deshalb nicht zuletzt ...
    (microsoft.public.de.vb)
  • Re: Whats wrong with C++?
    ... (directly or via preprocessor #include directives) ... C++'s model of #include is a major project because the compiler does ... not really know what is going on and the preprocessor can do ... Peter was trying to make a minor a major. ...
    (comp.lang.ada)
  • Re: state in Perl 5.005?
    ... Die Idee war, das $var auch bei falschem $foo angelegt wird, ... was Peter J. Holzer gemeint und zitiert hat. ... IMHO sollte der Compiler bei solchen Konstrukten einen ent- ... zuviel verlangt, der Code des Parsers ist schon ...
    (de.comp.lang.perl.misc)