in reply to Re: Re: Re: Re-spect!: (OT) Where is programming headed?
in thread (OT) Where is programming headed?
So I did a quick Google search. And the funny thing is that I found lots of presentations online that disagreed with your proposed usage. I found none that agreed. For a random instance this lecture states directly that the Halting problem is not solvable.
And even when I look at your links, they say nothing about finite versus infinite. The classification they draw goes like this. A decision problem is a problem whose answers are all yes/no. A decidable problem a decision problem that is solvable. Solvable problems differ from decision problems in that solvable problems are not just limited to yes/no answers.
The fact that infinite answers are not accepted either for definitions of decidability or solvability is underscored by this lecture. They are very explicit about the fact that solvability and decidability both require that all of the computations involved halt. In other words you need to get an answer in due time.
Now you wouldn't just be making up your finite/infinite distinction, would you? Do you have a verifiable source you are willing to quote showing that someone else out there agrees with the usage you are claiming?
|
---|
Replies are listed 'Best First'. | |
---|---|
Re: Re (tilly) 4: Re-spect!: (OT) Where is programming headed?
by mstone (Deacon) on Dec 18, 2001 at 04:52 UTC | |
by tilly (Archbishop) on Dec 18, 2001 at 05:57 UTC |