XPost: sci.logic
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.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)