PeteOlcott wrote: ↑Tue Oct 17, 2023 6:55 pm
Computer science deciders are only allowed to take actions that
are equivalent to a Boolean return value. Every other action is
stipulated to be incorrect.
Nowhere does it stipulate that I can't encapsulate a Boolean in a Maybe monad.
It seems that you have reverted back to being a Troll
You know that deciders can only do the equivalent of returning a Boolean.
Stop lying.
What does this decider return and when?
In [1]: def greaterThanOne(x):
...: while True: pass
...: return x > 1
...:
PeteOlcott wrote: ↑Tue Oct 17, 2023 6:55 pm
Computer science deciders are only allowed to take actions that
are equivalent to a Boolean return value. Every other action is
stipulated to be incorrect.
Nowhere does it stipulate that I can't encapsulate a Boolean in a Maybe monad.
So you really didn't know that all Deciders are always Boolean?
Well now you know.
PeteOlcott wrote: ↑Tue Oct 17, 2023 6:55 pm
Computer science deciders are only allowed to take actions that
are equivalent to a Boolean return value. Every other action is
stipulated to be incorrect.
Nowhere does it stipulate that I can't encapsulate a Boolean in a Maybe monad.
So you really didn't know that all Deciders are always Boolean?
Well now you know.
You are necessarily claiming that this is NOT a decider then. Explain why.
Skepdick wrote: ↑Wed Oct 18, 2023 5:45 am
You are necessarily claiming that this is NOT a decider then. Explain why.
You are playing head games: Explain
I am saying that any "Maybe" return value cannot exist.
You already know that I aleady know that you know that.
It's not a return value. It defines the behaviour of the decider.
MAYBE it will return a Boolean.
Deciders process Decision Problems
a decision problem is a computational problem that can be posed as a yes–no question of the input values. https://en.wikipedia.org/wiki/Decision_problem
I am saying that any "Maybe" return value cannot exist.
You already know that I aleady know that you know that.
It's not a return value. It defines the behaviour of the decider.
MAYBE it will return a Boolean.
Deciders process Decision Problems
a decision problem is a computational problem that can be posed as a yes–no question of the input values. https://en.wikipedia.org/wiki/Decision_problem
I don't need an abstract definition removed from anything concrete. Here is this particular Python program. Go ahead and decide.
Does it return a Boolean? [Yes/No] <--- Decision problem.
Skepdick wrote: ↑Wed Oct 18, 2023 6:32 am
I don't need an abstract definition removed from anything concrete. Here is this particular Python program. Go ahead and decide.
Does it return a Boolean? [Yes/No] <--- Decision problem.
Until you agree that a computer science decider must always return
Boolean and is abolutely not allowed to return anything else this
dialogue is over. I can't afford to tolerate head games.
PeteOlcott wrote: ↑Wed Oct 18, 2023 3:18 pm
Until you agree that a computer science decider must always return
Boolean and is abolutely not allowed to return anything else this
dialogue is over. I can't afford to tolerate head games.
You say head games - I say thinking.
Is a Boolean decider allowed to NOT return anything?
PeteOlcott wrote: ↑Wed Oct 18, 2023 3:18 pm
Until you agree that a computer science decider must always return
Boolean and is abolutely not allowed to return anything else this
dialogue is over. I can't afford to tolerate head games.
You say head games - I say thinking.
Is a Boolean decider allowed to NOT halt?
All deciders are Boolean and are required to halt.