Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Thu, 27 Oct 2022 00:33:29 -0700 Received: from [192.168.123.254] (port=52812 helo=web.lojban.org) by d7893716a6e6 with smtp (Exim 4.94.2) (envelope-from ) id 1onxOI-007FXt-6y for jbovlaste-admin@lojban.org; Thu, 27 Oct 2022 00:33:29 -0700 Received: by web.lojban.org (sSMTP sendmail emulation); Thu, 27 Oct 2022 07:33:26 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word bi'oi'au -- By krtisfranks Date: Thu, 27 Oct 2022 07:33:26 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has edited a definition of "bi'oi'au" in the language "English". Differences: 5,5c5,5 < Given a well-formed digit string "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$", where (a) "$x_i$" is a member of selma'o PA (other than this word or similar words; including at most one instance of "{pi}") for all $i$, and (b) the string represents$^{*_{1}}$ a finite number in base-$b$ (taken to be ten by cultural convention in most human cases unless explicitly specified otherwise), the usage of this word in the aforementioned digit string yields an output of the interval $[\sum_{i = 0}^{\infty}{(x_{n-i} b^{n-i})}, \,\,\, \sum_{i = n-m+1}^{\infty}{(x_{n-i} b^{n-i})} + (x_{m} + 1)b^{m} + \sum_{i = m+1}^{n}{(x_{i} b^{i})})$; notice the placement of the comma. Therefore, using/under the aforementioned notation and assumptions and specifications, usage of this word in "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$" outputs an interval which is equivalent to the evaluation of/interval referenced by "eval("$x_{n} x_{n-1} ... x_{m} x_{m-1} x_{m-2} ...$") {ga'o} {bi'oi} {ke'i} $b^{m}$". Importantly, usage of this word generates an interval, not a specific number (even if such would be elliptical or vague) - meaning, among other things, that equality to such an expression would be set equality, and not numeric equality. Note that the interval which is generated includes the lesser (left) endpoint (which is the number specified by the string with this word ignored in/removed from it) but excludes the greater (right) endpoint (which is the same number plus some integer power of the base $b$). As an example, where "B" represents this word: "2B000" yields [2000, 3000); meanwhile, "20B00" yields [2000, 2100). This word/function is useful for dates (example: "the 2000s"), ages (example: "they are in their twenties"), or any estimate wherein the significant digits are known. Note that, for example, this functionality supports simple calendrical centuries (example: "1900 to 2000, exclusive of the latter only"), canonical calendrical centuries (example: "1901 to 2001, exclusive of the latter only"), and complicated century-long time intervals (example: "1969 to 2069, exclusive of the latter only"); and analogy applies, of course. The interval which is generated is a complete (math jargon) subset of the real numbers - there are no gaps and, in particular, the interval is not discrete (for example: it is not restricted to only the integers). Note that this word does not yield an interval of an arbitrary length; use "{bi'oi}", "{bi'i}", or "{bi'o}" for that. Use a construct similar to "there exists a $t$ in (the interval) {re} bi'oi'au {mu} such that their age is measured to be (approximately) $t$ in years" in order to express "they are in their twenties (at least 20 years old and less than 30 years old)"; the full English expression is wordy, but Lojban can make it concise in translation. See also: "{bi'oi}", "{mi'i'au}", "{su'ai}". (Footnote #1: this entire commentary section assumes that the method of interpretation is via a big-endian, traditional, unbalanced, positional, base-$b$ numerical-representation system with $b$ being an integer such that $b > 1$; however, the method of interpretation can be extended to other systems, such as $p$-adics or such as balanced integer or complex base-$b$ systems, in natural and fairly self-evident ways, although no endeavor shall be made herein in order to do so and the assumptions about $b$ and the method of interpretation should be as aforementioned, ignoring such possibilities for extension). --- > Given a well-formed digit string "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$", where (a) "$x_i$" is a member of selma'o PA (other than this word or similar words; including at most one instance of "{pi}") for all $i$, and (b) the string represents$^{*_{1}}$ a finite number in base-$b$ (taken to be ten by cultural convention in most human cases unless explicitly specified otherwise), the usage of this word in the aforementioned digit string yields an output of the interval $[\sum_{i = 0}^{\infty}{(x_{n-i} b^{n-i})}, \, b^{m} + \sum_{i = 0}^{\infty}{(x_{n-i} b^{n-i})})$; notice the placement of the comma. Therefore, using/under the aforementioned notation and assumptions and specifications, usage of this word in "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$" outputs an interval which is equivalent to the evaluation of/interval referenced by "eval("$x_{n} x_{n-1} ... x_{m} x_{m-1} x_{m-2} ...$") {ga'o} {bi'oi} {ke'i} $b^{m}$". Importantly, usage of this word generates an interval, not a specific number (even if such would be elliptical or vague) - meaning, among other things, that equality to such an expression would be set equality, and not numeric equality. Note that the interval which is generated includes the lesser (left) endpoint (which is the number specified by the string with this word ignored in/removed from it) but excludes the greater (right) endpoint (which is the same number plus some integer power of the base $b$). As an example, where "B" represents this word: "2B000" yields [2000, 3000); meanwhile, "20B00" yields [2000, 2100). This word/function is useful for dates (example: "the 2000s"), ages (example: "they are in their twenties"), or any estimate wherein the significant digits are known. Note that, for example, this functionality supports simple calendrical centuries (example: "1900 to 2000, exclusive of the latter only"), canonical calendrical centuries (example: "1901 to 2001, exclusive of the latter only"), and complicated century-long time intervals (example: "1969 to 2069, exclusive of the latter only"); and analogy applies, of course. The interval which is generated is a complete (math jargon) subset of the real numbers - there are no gaps and, in particular, the interval is not discrete (for example: it is not restricted to only the integers). Note that this word does not yield an interval of an arbitrary length; use "{bi'oi}", "{bi'i}", or "{bi'o}" for that. Use a construct similar to "there exists a $t$ in (the interval) {re} bi'oi'au {mu} such that their age is measured to be (approximately) $t$ in years" in order to express "they are in their twenties (at least 20 years old and less than 30 years old)"; the full English expression is wordy, but Lojban can make it concise in translation. See also: "{bi'oi}", "{mi'i'au}", "{su'ai}". (Footnote #1: this entire commentary section assumes that the method of interpretation is via a big-endian, traditional, unbalanced, positional, base-$b$ numerical-representation system with $b$ being an integer such that $b > 1$; however, the method of interpretation can be extended to other systems, such as $p$-adics or such as balanced integer or complex base-$b$ systems, in natural and fairly self-evident ways, although no endeavor shall be made herein in order to do so and the assumptions about $b$ and the method of interpretation should be as aforementioned, ignoring such possibilities for extension). Old Data: Definition: digit/number: $$ interval/range indicator for significant digits (determined by lesser endpoint). Notes: Given a well-formed digit string "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$", where (a) "$x_i$" is a member of selma'o PA (other than this word or similar words; including at most one instance of "{pi}") for all $i$, and (b) the string represents$^{*_{1}}$ a finite number in base-$b$ (taken to be ten by cultural convention in most human cases unless explicitly specified otherwise), the usage of this word in the aforementioned digit string yields an output of the interval $[\sum_{i = 0}^{\infty}{(x_{n-i} b^{n-i})}, \,\,\, \sum_{i = n-m+1}^{\infty}{(x_{n-i} b^{n-i})} + (x_{m} + 1)b^{m} + \sum_{i = m+1}^{n}{(x_{i} b^{i})})$; notice the placement of the comma. Therefore, using/under the aforementioned notation and assumptions and specifications, usage of this word in "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$" outputs an interval which is equivalent to the evaluation of/interval referenced by "eval("$x_{n} x_{n-1} ... x_{m} x_{m-1} x_{m-2} ...$") {ga'o} {bi'oi} {ke'i} $b^{m}$". Importantly, usage of this word generates an interval, not a specific number (even if such would be elliptical or vague) - meaning, among other things, that equality to such an expression would be set equality, and not numeric equality. Note that the interval which is generated includes the lesser (left) endpoint (which is the number specified by the string with this word ignored in/removed from it) but excludes the greater (right) endpoint (which is the same number plus some integer power of the base $b$). As an example, where "B" represents this word: "2B000" yields [2000, 3000); meanwhile, "20B00" yields [2000, 2100). This word/function is useful for dates (example: "the 2000s"), ages (example: "they are in their twenties"), or any estimate wherein the significant digits are known. Note that, for example, this functionality supports simple calendrical centuries (example: "1900 to 2000, exclusive of the latter only"), canonical calendrical centuries (example: "1901 to 2001, exclusive of the latter only"), and complicated century-long time intervals (example: "1969 to 2069, exclusive of the latter only"); and analogy applies, of course. The interval which is generated is a complete (math jargon) subset of the real numbers - there are no gaps and, in particular, the interval is not discrete (for example: it is not restricted to only the integers). Note that this word does not yield an interval of an arbitrary length; use "{bi'oi}", "{bi'i}", or "{bi'o}" for that. Use a construct similar to "there exists a $t$ in (the interval) {re} bi'oi'au {mu} such that their age is measured to be (approximately) $t$ in years" in order to express "they are in their twenties (at least 20 years old and less than 30 years old)"; the full English expression is wordy, but Lojban can make it concise in translation. See also: "{bi'oi}", "{mi'i'au}", "{su'ai}". (Footnote #1: this entire commentary section assumes that the method of interpretation is via a big-endian, traditional, unbalanced, positional, base-$b$ numerical-representation system with $b$ being an integer such that $b > 1$; however, the method of interpretation can be extended to other systems, such as $p$-adics or such as balanced integer or complex base-$b$ systems, in natural and fairly self-evident ways, although no endeavor shall be made herein in order to do so and the assumptions about $b$ and the method of interpretation should be as aforementioned, ignoring such possibilities for extension). Jargon: Gloss Keywords: Word: interval-from-number determined by lesser endpoint, In Sense: Place Keywords: New Data: Definition: digit/number: $$ interval/range indicator for significant digits (determined by lesser endpoint). Notes: Given a well-formed digit string "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$", where (a) "$x_i$" is a member of selma'o PA (other than this word or similar words; including at most one instance of "{pi}") for all $i$, and (b) the string represents$^{*_{1}}$ a finite number in base-$b$ (taken to be ten by cultural convention in most human cases unless explicitly specified otherwise), the usage of this word in the aforementioned digit string yields an output of the interval $[\sum_{i = 0}^{\infty}{(x_{n-i} b^{n-i})}, \, b^{m} + \sum_{i = 0}^{\infty}{(x_{n-i} b^{n-i})})$; notice the placement of the comma. Therefore, using/under the aforementioned notation and assumptions and specifications, usage of this word in "$x_{n} x_{n-1} ... x_{m}$ bi'oi'au $x_{m-1} x_{m-2} ...$" outputs an interval which is equivalent to the evaluation of/interval referenced by "eval("$x_{n} x_{n-1} ... x_{m} x_{m-1} x_{m-2} ...$") {ga'o} {bi'oi} {ke'i} $b^{m}$". Importantly, usage of this word generates an interval, not a specific number (even if such would be elliptical or vague) - meaning, among other things, that equality to such an expression would be set equality, and not numeric equality. Note that the interval which is generated includes the lesser (left) endpoint (which is the number specified by the string with this word ignored in/removed from it) but excludes the greater (right) endpoint (which is the same number plus some integer power of the base $b$). As an example, where "B" represents this word: "2B000" yields [2000, 3000); meanwhile, "20B00" yields [2000, 2100). This word/function is useful for dates (example: "the 2000s"), ages (example: "they are in their twenties"), or any estimate wherein the significant digits are known. Note that, for example, this functionality supports simple calendrical centuries (example: "1900 to 2000, exclusive of the latter only"), canonical calendrical centuries (example: "1901 to 2001, exclusive of the latter only"), and complicated century-long time intervals (example: "1969 to 2069, exclusive of the latter only"); and analogy applies, of course. The interval which is generated is a complete (math jargon) subset of the real numbers - there are no gaps and, in particular, the interval is not discrete (for example: it is not restricted to only the integers). Note that this word does not yield an interval of an arbitrary length; use "{bi'oi}", "{bi'i}", or "{bi'o}" for that. Use a construct similar to "there exists a $t$ in (the interval) {re} bi'oi'au {mu} such that their age is measured to be (approximately) $t$ in years" in order to express "they are in their twenties (at least 20 years old and less than 30 years old)"; the full English expression is wordy, but Lojban can make it concise in translation. See also: "{bi'oi}", "{mi'i'au}", "{su'ai}". (Footnote #1: this entire commentary section assumes that the method of interpretation is via a big-endian, traditional, unbalanced, positional, base-$b$ numerical-representation system with $b$ being an integer such that $b > 1$; however, the method of interpretation can be extended to other systems, such as $p$-adics or such as balanced integer or complex base-$b$ systems, in natural and fairly self-evident ways, although no endeavor shall be made herein in order to do so and the assumptions about $b$ and the method of interpretation should be as aforementioned, ignoring such possibilities for extension). Jargon: Gloss Keywords: Word: interval-from-number determined by lesser endpoint, In Sense: Place Keywords: You can go to to see it.