«

"Mike Wahler" <> wrote in
news:5mS%b.11045$ link.net:

>
> "Gremlin" <> wrote in message
> news:Xns949CCD0CBD632Test@216.168.3.44...
>> red floyd <> wrote in
>> news:eMR%b.31416$. com:
>>
>> > Because you're misinterpreting. You're not detecting an infinite
>> > loop, you're detecting recurrence of data.
>> >
>> > Also, the Halting Problem is not if a program can detect if it is
>> > in an infinite loop itself, but whether a different
>> > program/UTM/whatever, given program P as input, can say "P halts".
>> >
>> >
>>
>> You post an infnite loop and I will post the same loop back, with an
>> infinite loop detector of this sort added to it that will detect your
> loop.
>> Some problems may not theoretically run in infinite loops but would
>> of course on a computer, the halting problem deals with theoretical
>> problems not reality.
>
> A is A.
> If A is changed, then it's no longer 'A'.
>
> You're talking in circles.
>
> -Mike
>
>
>

Why don't you publish the axiom of choice instead?
Besides your logic is misleading in the world of computer programming.
Take this code for example.

int main(){
return 0;
}

it is equivalent to....

int main(){
//this is a comment
return 0;
}

"Gremlin" <> wrote in message
news:Xns949CD805A3B93Test@216.168.3.44...
> "Mike Wahler" <> wrote in
> news:5mS%b.11045$ link.net:
>
> >
> > "Gremlin" <> wrote in message
> > news:Xns949CCD0CBD632Test@216.168.3.44...
> >> red floyd <> wrote in
> >> news:eMR%b.31416$. com:
> >>
> >> > Because you're misinterpreting. You're not detecting an infinite
> >> > loop, you're detecting recurrence of data.
> >> >
> >> > Also, the Halting Problem is not if a program can detect if it is
> >> > in an infinite loop itself, but whether a different
> >> > program/UTM/whatever, given program P as input, can say "P halts".
> >> >
> >> >
> >>
> >> You post an infnite loop and I will post the same loop back, with an
> >> infinite loop detector of this sort added to it that will detect your
> > loop.
> >> Some problems may not theoretically run in infinite loops but would
> >> of course on a computer, the halting problem deals with theoretical
> >> problems not reality.
> >
> > A is A.
> > If A is changed, then it's no longer 'A'.
> >
> > You're talking in circles.
> >
> > -Mike
> >
> >
> >
>
> Why don't you publish the axiom of choice instead?

Not interested.

> Besides your logic is misleading in the world of computer programming.

Really? How so?

> Take this code for example.
>
> int main(){
> return 0;
> }
>
> it is equivalent to....
>
> int main(){
> //this is a comment
> return 0;
> }

Yes it is. Comments do not become part of the executable.


-Mike