Re: What is the Result from Invoking this Halt Function?

From: peter_douglass (baisly_at_gis.net)
Date: 08/08/04 

Date: Sun, 08 Aug 2004 04:11:26 GMT

"Michael N. Christoff"
wrote in message news:ET6Qc.33276$Vm1.684880@news20.bellglobal.com...

> True. But to _convince others_ of your point, you must be logically
> accurate. This is the stage your 'proof' is at at this point:

> http://www.scienceteecher.com/miracle.htm

It is very nice to see you arguing for logical accuracy. I'm wondering if
you have been able to strengthen your own sense of logical accuracy.

> The majority of us have read and understood the proof for ourselves. We
are
> not 'taking anyone's word' about whether it is true or false or
> inconsistent.

The majority of us have certainly read the proof. But we did not all
understand it on first reading. At one point you argued:

MC > To be more precise:
MC > Rice's theorem strictly implies (2) - the existence
MC > of a program Q "for which no compiler can be constructed
MC > which will decide property P", and I'll add "where P is any
MC > nontrivial property".

as opposed to my:

PRD > 1) There exists no compiler which can decide
PRD > property P for an arbitrary program Q (i.e. all programs)

(comp.object re:static analysis and the halting problem 6-17-02)
w_UO8.14537$Ju2.2782515@news20.bellglobal.com
NbgP8.1078$Rf7.325794@news20.bellglobal.com

You were very vehement that I was wrong.
Do you understand what the Halting Theorem (and Rice's Theorem) states now?

> And one would hope he could recognize when he was wrong, learn from his
> mistakes, and move on to a line of proof that would actually succeed when
> the one he was working on unequivocably proved itself to be a dead end.

I am hoping that you have become able to recognize when you were wrong,
and learn from your mistakes.

--PeterD

Relevant Pages

  • Re: What is the Result from Invoking this Halt Function?
    ... MC> of a program Q "for which no compiler can be constructed ... PRD> property P for an arbitrary program Q ... (comp.object re:static analysis and the halting problem 6-17-02) ... and learn from your mistakes. ...
    (comp.theory)
  • Re: Getting source file from the object file
    ... solving the halting problem. ... is the output of a particular compiler whose output is a deterministic ... finite time, some source file which when compiled by that compiler ... You don't *need* to enumerate them all, ...
    (comp.lang.c)
  • Re: How to convert Infix notation to postfix notation
    ... the functions in which the function prototype is re-coded, ... The compiler can't check the ... mistakes in his published work. ...
    (comp.lang.c)
  • Re: Deferencing void pointer
    ... >> make any difference to the compiler become important. ... consider yourself a beginner, making a major contribution to a C book was ... I was not aware that you were typing your code with your eyes closed. ... catch my mistakes. ...
    (comp.lang.c)
  • Re: I used to use VB but...
    ... A few days ago I spent a couple hours debugging 2 problems in a DynamicC ... Both were typos. ... The compiler didn't pick them up, but I'm not going to cry about it. ... going to blame myself for making the stupid mistakes in the first place. ...
    (microsoft.public.vb.general.discussion)