doi dirba: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
Line 1: Line 1:


===  Toward a quantitative form of Lojban ===
<pre>


==== ckinytadji selsku ====
.


* ''[[jbocre: fy. fancu lo'i ni terzu'e lo'i ni selsnada .ije li ma'o fy.boi du'e du li mo'a|fy. fancu lo'i ni terzu'e lo'i ni selsnada .ije li ma'o fy.boi du'e du li mo'a]]'' How can we express "Too many goals means too few accomplishments" in a quantitative form?
doi dirba ko pilno le xance
*''[[jbocre: fancu le'i nu funca|fancu le'i nu funca]]'' It depends on luck.


==== ckinytadji vlaselcmi ====
a e'u ie ji'a le tance


[[jbocre: Math terminology|math terminology]] proposes some technical terms, but it's light on words that are useful in everyday life. I think there are plenty; I'm starting this list. ''mi'e [[jbocre: jezrax|jezrax]]'' (I think [[User:xod|xod]] added most of this.)
iseju ko sutra


* ''selcmi'', ''klesi'' (sets)
le nu catkycputra
** superset - ''selkle''


** set, subset - ''klesi''
i e'o ko cupra no sance
** proper subset - ''nalrolmeilei'' (from the [[jbocre: jvoste|jvoste]])


**''cmima''      x1 is a member of set x2 [[jbocre: x1 may be a complete or incomplete list of members; x2 is normally marked by la'i/le'i/lo'i, defining the set in terms of its common property(ies), though it may be a complete enumeration of the membership]];
mi'e xorxes
**''gripau''          x1 is a subset of set x2 [[jbocre: girzu pagbu, set-part|girzu pagbu, set-part]]


** disjoint -
de'i li 1994;12
** overlapping (with non-empty intersection) -


Note: ''klesi'' is a set defined by a rule; ''selcmi'' is a set defined by its membership.
</pre>


* ''fancu'' (functions)
----
** monotonically increasing - ''farstodi zenba''
 
** monotonically decreasing - ''farstodi jdika''
** bounded above - ''galseljimte''
 
** bounded below - ''dziseljimte''
 
* ''cuncmaci'' (statistics)
** statistically independent -
 
** correlated -
**''fadytercu'o'' x1 = cunso3 (set) follows a Gaussian probability distribution with independent variable x2 = cunso
 
* Simple relationships ''(zbepi terki'i)''
**''du''              x1 is identical to x2, x3, x4, ...
 
**''dunli''          x1 is equal/congruent to x2 in/on property/quality/dimension/quantity x3 [[jbocre: same in quantity/quality (not necessarily in identity); 'analogy' may be expressed as the equivalence of two properties of similarity (ka x1 simsa x2) and (ka x3 simsa x4)]] (.ua zo du cu dunli jenai du zo dunli .i le si'o du kei cu du le si'o dunli fi ko le ka bu'a)
**''mleca''          x1 is less than x2 in property/quantity x3 (ka/ni) by amount x4 [[jbocre: also negative (= nonme'a)]];
 
**''jdika''          x1 (experiencer) decreases/contracts/is reduced/diminished in property/quantity x2 by amount x3
**''zmadu''          x1 is greater than x2 [[jbocre: also positive (= nonmau)]];
 
**''zenba''          x1 (experiencer) increases/is incremented/augmented in property/quantity x2 by amount x3
**''dubjavme'a''      x1 is less than or equal to x2 [[jbocre: du ja mleca, equal or less|du ja mleca, equal or less]]
 
*** or ''nalmau'' x1 is not greater than x2
**''dubjavmau''      x1 is greater than or equal to x2 [[jbocre: du ja zmadu, equal or greater|du ja zmadu, equal or greater]]
 
*** or ''nalme'a'' x1 is not less than x2
**''tamdu'i''        x1 is similar to x2 [[jbocre: tarmi dunli, shape-equal|tarmi dunli, shape-equal]]
 
**''turdu'i''        x1 is isomorphic to x2 [[jbocre: stura dunli, structure-equal|stura dunli, structure-equal]]
**''pabdu'i''        x1 is  proportional to x2 [[jbocre: parbi dunli, ratio-equal|parbi dunli, ratio-equal]]
 
**''na'ujbi''        x1 is approximately equal to [[jbocre: namcu jibni, number-near|namcu jibni, number-near]]
**''lamji''          x1 is adjacent/beside/next to/in contact with x2 in property/sequence x3 in direction x4 [[jbocre: also touching, contiguous, against|also touching, contiguous, against]];
 
* Assorted useful brivla ''(vrici selpli brivla)''
 
**fancu          x1 is a function/single-valued mapping from domain x2 to range x3 defined by expression/rule x4 (ru'a le fancu cu cmene le velfancu)
**manri          x1 is a frame of reference/standard for observing/measuring/determining x2, with/by rules x3
 
**ckilu          x1 (si'o) is a scale of units for measuring/observing/determining x2 (state)
**cimde          x1 (property - ka) is a dimension of space/object x2 according to rules/model x3


**morna          x1 is/reflects/represents a pattern of forms/events x2 arranged according to structure x3 [[jbocre: x3 is a [jbocre: model|model]] for x1 (= termontai, or the more abstract = termonsi'o);
di'e se stidi le di'u pemcrlimeriki be fi la and rostas
**mokca          x1 is a point/instant/moment [[jbocre: 0-dimensional shape/form]] in/on/at time/place x2


**linji          x1 is a line/among lines [[jbocre: 1-dimensional shape/form]] defined by set of points x2. [[jbocre: ray/vector (farli'i or porli'i)]]
<pre>
**plita          x1 is a plane [[jbocre: 2-dimensional shape/form]] defined by points x2 (set); x1 is flat/[[jbocre: smooth|smooth]]. [[jbocre: also: x1 is even/planar/level]]; (x2 is a set of points at least sufficient to define the plane)


**canlu          x1 is space/volume/region/room [[jbocre: at-least-3-dimensional area]] occupied by x2. [[jbocre: also occupy (= selca'u)]]
>    Le ni fe le vi nanmu cu pinji
 
* Logical Inference (see [[jbocre: logical induction &amp; deduction]])
**deduction: ''nibli, ja'o''
 
**induction: ''sucta, su'a''
**abduction: ''tolsucta, su'anai''
 
----


==== ckinytadji nalca'ima'o ====
>    ku bancu le lakne zei linji


* '''[[jbocre: JAhA + CAI a'axi|JAhA + CAI a'axi]] [[jbocre: NA|NA]]:''' bridi truth value scalar
>    .I lei dustoltohu


* '''[[jbocre: xoi'a|xoi'a]] [[jbocre: PU|PU]]:''' increasing linearly over time
>    cu mukti .oirohu
**''la papri xoi'a pelxu''  The page is yellowing.


* '''[[jbocre: xoi'e|xoi'e]] [[jbocre: PU|PU]]:''' exponential increasing
>    le spepli be lo cmadesminji.
**''do xoi'e lojbo certu''  You're learning Lojban at an exponential rate.


* Semantically, ''xoi'a''/''xoi'e'' belong in ZAhO, since they deal with change in truth over time. For example, ''co'a'' is change from categorically false to categorically true. ''xoi'a''/''xoi'e'' deal with rates of increase in degree of truth. However, there are several possible rates of increase, and there is also the possibility of decrease, so I think this domain of meaning requires some more comprehensive proposal than simply these two cmavo. --[[User:And Rosta|And Rosta]]
</pre>

Revision as of 16:48, 4 November 2013


.

doi dirba ko pilno le xance

a e'u ie ji'a le tance

iseju ko sutra

le nu catkycputra

i e'o ko cupra no sance

mi'e xorxes

de'i li 1994;12

di'e se stidi le di'u pemcrlimeriki be fi la and rostas 


>    Le ni fe le vi nanmu cu pinji

>    ku bancu le lakne zei linji

>    .I lei dustoltohu

>    cu mukti .oirohu

>    le spepli be lo cmadesminji.
Retrieved from "https://mw-live.lojban.org/index.php?title=doi_dirba&oldid=74744"