On Mon, 22 Nov 2021, ais523 via agora-discussion wrote:
On Mon, 2021-11-22 at 04:23 +0100, nethack4.org dicebot via agora-
business wrote:
The dice roll was: 90
This is R2518, Determinacy.
For reference:
{{{
If a value CANNOT be reasonably determined (without circularity or
paradox) from information reasonably available, or if it
alternates indefinitely between values, then the value is
considered to be indeterminate, otherwise it is determinate.
}}}
There's only one sentence here, so which word should get replaced? I'm
tempted to do "value" → "device", but maybe there are better
suggestions?
As interesting as they look, I suspect all the other options
("circularity", "paradox", "information") are in pretty direct conflict
with R2518 itself.
Greetings,
Ørjan.
