I have proven that your statement is counter-factual.Skepdick wrote: ↑Tue Oct 17, 2023 7:50 pmNowhere does it stipulate that I can't encapsulate a Boolean in a Maybe monad.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.
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
Until you acknowledge that I have proven that your statement
is counter-factual I have proven that you are not interested
in any honest dialogue and prefer to play Trollish head games.