On 3/2/2020 2:25 PM, Tanner Swett wrote: > On Mon, Mar 2, 2020, 11:34 Kerim Aydin wrote: > >> Well, we purposefully error-trapped switches, which suggests that we allow >> that sort of thing if the rules are explicit about it happening: >> > > But an indeterminate value is merely one that "cannot be reasonably > determined" (paraphrasing slightly). That's not an acknowledgement that a > value can be fundamentally and intrinsically ambiguous; it's just an > acknowledgement of the fact that we Agorans may be actually unable to > figure out what the value is.
The CFJ 1460 standard includes "fundamentally unknowable" stuff as fitting into the "cannot be reasonably determined" category. Judge Maud wrote: (https://faculty.washington.edu/kerim/nomic/cases/?1460) > a purported communication such as > > I announce my intent to remove the first n listed proposals from the > proposal pool, where n is the minimum of 5 and the number of > counterexamples to the Riemann hypothesis, > > accompanied by a list of 5 or more proposals, would require unreasonably > excessive effort.
