Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)
From: David C. Ullrich (ullrich_at_math.okstate.edu)
Date: 07/05/04
- Next message: scoopdamedia: "Re: Harassed by remote voice to skull. Yikes!"
- Previous message: |-|erc: "Re: limitation to induction on finite bounds"
- In reply to: Bryan Olson: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
- Next in thread: Peter Olcott: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
- Reply: Peter Olcott: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
- Messages sorted by: [ date ] [ thread ]
Date: Mon, 05 Jul 2004 06:02:49 -0500
On Sun, 04 Jul 2004 23:50:13 GMT, Bryan Olson
<fakeaddress@nowhere.org> wrote:
>Peter Olcott wrote:
> > So you are refuted me several times, and now for the
> > first time actually looked at what I was saying? My
> > how scientific you are.
>
>Even so, the fact (and it is a fact) that David's refutation is
>*correct* is sufficient to refute Peter's assertion(s).
>
>I tend to agree with Peter on the point that David should looked
>at what Peter said before refuting it. I grant that if David is
>*certain* that Peter's claim is false, no such reading is
>necessary. Still, I'd hold that one should question one's own
>beliefs to the point that any argument worth responding to, is
>also worth looking at in a serious way.
>
>Nevertheless, in this case David was right and Peter was wrong.
>Sceptical as I am of David's method in general, there's no doubt
>that in this case, he is correct.
Yes, there's a lot of truth to that. You might note however
that I _did_ see people's comments on the contents of that
page, noting that people had pointed out that it specified
a program without specifying the input, so that the
question of whether the program halts is both meaningless
and irrelevant. Didn't really seem likely that people
were lying about that. I finally did look, and sure enough
they weren't.
************************
David C. Ullrich
- Next message: scoopdamedia: "Re: Harassed by remote voice to skull. Yikes!"
- Previous message: |-|erc: "Re: limitation to induction on finite bounds"
- In reply to: Bryan Olson: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
- Next in thread: Peter Olcott: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
- Reply: Peter Olcott: "Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
