Re: Liar detector: Peter Olcott is a Liar !!!

On 7/6/24 10:17 PM, olcott wrote:

On 7/6/2024 7:20 PM, Richard Damon wrote:

On 7/6/24 7:54 PM, olcott wrote:

>
(a) You determine that you need groceries
(b) You report this need
(c) then you go to the store to buy them
>
(a) HHH determines that it needs to abort DDD
(b) HHH reports this this need (as text before the action)
(c) then HHH aborts DDD
>

>
And I, being willful, am not FORCED to do that sequence.

 *Sure you are. This cannot work*
 >> (c) then you go to the store to buy them
 >> (b) You report this need
 >> (a) You determine that you need groceries
 

Sure I can, I can decide to go to the store just because I feel like it.
While there, I can remember things I might have needed.
When I get home, I might notice some things I need to remember for next time I go to the store.
None of this matter though, as what we were talking about is that the programm HHH doesn't have any choices, it just runs through the instructions of the code to compute the answer it is programmed to do.
Yes, in one sense the term "decider" is a bit of a misnomer if you try to think about it anthropomorphically. The program doesn't "think" about what it is doing and "weigh" the evidence to make a decision. All that work was done by the programmer who made the program. The program is just an automaton doing exactly as it was programmed, Maybe we can think of it doing some "artificial thought" (artificial as it isn't really thought, just a mechinized action that sort of mimics it)
They are called deciders, because, if they work right, we can feed in inputs and they will spit out the decision of whether that input meets the programmed condition. Of course, we need to be sure the decider was programmed correctly to trust it.
Or, just as humans can make a wrong decision if our logic or inputs are good enough, the programatic decider can make wrong decisions if theur programming is wrong.
And, it turns out, there are tasks that just can not be correctly programmed to handle all possible inputs, like halting.