Received: from mail-oi0-f61.google.com ([209.85.218.61]:33998) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.87) (envelope-from ) id 1dUAo1-0002ot-QJ for lojban-list-archive@lojban.org; Sun, 09 Jul 2017 04:55:19 -0700 Received: by mail-oi0-f61.google.com with SMTP id k186sf7049577oib.1 for ; Sun, 09 Jul 2017 04:55:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=C9mXvVGZH8VMMNUw1dIKTWGqU8mLesohqPZqv2ZmWBI=; b=R5uzDhLzBTMlloQ3jXUJyJjZAOz4mOmG3XC9qo7CAzsaFxPUghbSj1luxf8GSluN8y YpawjryWadZwZxniY82WNJaAiwIzvzuVqHrXPJHrEi7cJ+Q4IfXuSkD5Bul5epsOJLlE Ib6H3pwEgmpYF2bjSIE1M/TIebnc8sGdFDD4TaDutsSXpHGI3zqYTu7y0J/HRxZHxNDQ JLZqLiLnSnh1+/0mYdq2P/iRdJeEZ9ur6f0wz3n99CVfvINO5JuJ8pdK6k4ijhUQvKw6 IEBSQRgGtuUGZVitAD34QrhrBUNUZ+2O7wA3teCz9A+cbZsEFOXQJJeu26A/iyiOCGea eP8w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=C9mXvVGZH8VMMNUw1dIKTWGqU8mLesohqPZqv2ZmWBI=; b=ffzowZZg+OojG+DdWsmTJUeotFPhZp7EGOmtp2ZH8kgrf+eBnIOiPnraz7u5crJL1d yq0PIVyo71Z6ewsOO/Rjtux6nU8+NyelXDEmd42mWgACJULgp07WFXqzNwRmJv+vxITf IhYunvCFWdrxvbuYxAJ+wM7wO6XvjjdxqyhbfgGzYfZxpa1CzaKrzL0SNn53cS+J0cHG YPlcntNm2CAsKyG/0qHOjPaEl4AOwpX3k761MxfDvjF5ampPQDizFtVBMckvltYvnh+5 ECPyHp4H9VlQbN7JSx1uoIQX4IXNQb7iBkCwtHVb65tvq2/2K3XY7I4TfvPFi256tTcl LqXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=C9mXvVGZH8VMMNUw1dIKTWGqU8mLesohqPZqv2ZmWBI=; b=qEEJ1CvmY7g4wddSEyzIjNcim0LFBEQ11E0oSgBLdBXt5zNqwlYAQ2u9MWkMxydbZe 7Yoneww9Dna6bbmqNOmHZ27cdQ68Cc7CM+MwsVVx8fWxi3vt49cLlUf73F/NLqCLpQBB TCgFv+V7P5BcgeR3sNUOUF6ygmIh+8lyD/Lpw0Z4FfEOGxwVb4SYp77qPAIEh1IKyaJ1 FNA7EAY1if/LzYRYoAJCs4eq+p3ngqiLH0KaY5RwSjN8pAY51hvBxPmVFdoSms5raNk0 xl3oI6tdGMZtA07x2TKLBKwLdyD6gSlaRD34QlT8lLHURZHXboulwmqjSCQKT52NxJYH nMUg== Sender: lojban@googlegroups.com X-Gm-Message-State: AIVw112AkrqDZ8WUCPqkyzxNaDqSv3bOB+SxptREhI6LaK4M7vHrc1ER Gc16F2fGh4bFlw== X-Received: by 10.36.34.10 with SMTP id o10mr254685ito.10.1499601311473; Sun, 09 Jul 2017 04:55:11 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.107.142.81 with SMTP id q78ls13600936iod.16.gmail; Sun, 09 Jul 2017 04:55:11 -0700 (PDT) X-Received: by 10.36.80.211 with SMTP id m202mr269933itb.7.1499601311022; Sun, 09 Jul 2017 04:55:11 -0700 (PDT) Date: Sun, 9 Jul 2017 04:55:10 -0700 (PDT) From: guskant To: lojban Message-Id: In-Reply-To: <59981656-0038-4db5-975c-161f79cc5f31@googlegroups.com> References: <2c13e620-c697-46aa-ab20-46f4cd5671c2@googlegroups.com> <6ea24494-0b24-406e-9b9f-284081589bc8@googlegroups.com> <59981656-0038-4db5-975c-161f79cc5f31@googlegroups.com> Subject: [lojban] Re: bridi mathematics MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5714_1967515763.1499601310331" X-Original-Sender: gusni.kantu@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -1.8 (-) X-Spam_score: -1.8 X-Spam_score_int: -17 X-Spam_bar: - ------=_Part_5714_1967515763.1499601310331 Content-Type: multipart/alternative; boundary="----=_Part_5715_514728982.1499601310332" ------=_Part_5715_514728982.1499601310332 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Le samedi 8 juillet 2017 22:07:17 UTC, Vincent Broman a =C3=A9crit : > > coi guskant > > I agree that part of PA3 is reducible. > The "fihu" and "cehi" are not very productive, and several others could b= e=20 > dispensed with, but at a cost in verbosity. > Peano showed how all arithmetic could be reduced to "pa", "sumji", and=20 > "pilji", and the later two could be reduced to just "baihei". > Still I'm disposed to see the convenience of most of PA3 for practical=20 > purposes in constructing numbers. > > The distinction between common functions in VUhU and more technical=20 > functions in brivla preserves the old grey area where you debate about ho= w=20 > common or how technical each cmavo is, but you still have to support both= =20 > kinds of functions separately.=20 > I wished to push the limits, to see how much can be done with the least= =20 > means. > Every part of speech has a complexity cost and has to justify the cost=20 > with expressive productivity. > VUhU looked disposable. > > Vincent Broman mihe bremenli > >> Yes, VUhU and PA3 are disposable. I appreciate using bridi math for all=20 expressions of math. VUhU math is still worth preserving especially when it= =20 is applied to non-math objects. Let us consider the following examples parsed by an experimental grammar. [1. VUhU math in non-math sumti] la galaksis cu gunma lo gei papa vei repimu suhi jonai vuhu papimu tarci .i [2. VUhU math for counting non-math objects] lo tarci cu gei papa vei repimu suhi jonai vuhu papimu mei .i [3. bridi math in non-math sumti] la galaksis cu gunma lo tarci noi zilkancu lo nihai dektefpihi lo nihai=20 sumji jonai se sumji li repimu li papimu kei li papa .i [4. bridi math for counting non-math objects] lo tarci cu zilkancu lo nihai dektefpihi lo nihai sumji jonai se sumji li= =20 repimu li papimu kei li papa #note 1. The above statements are parsed by zantufa=20 (http://guskant.github.io/gerna_cipra/zantufa-1.9999.html ) only. The=20 official grammar of mekso doesn't permit even those natural expressions. #note 2. {zilkancu SUMTI} in the examples of bridi math may be replaced by= =20 {me SUMTI (mehu) mei}, just like {zilkancu li PA} that may be replaced by= =20 {PA mei}. The definition of {PA mei} and its difference from {zilkancu li= =20 PA} are mentioned here:=20 https://mw.lojban.org/papri/gadri:_an_unofficial_commentary_from_a_logical_= point_of_view#Inner_quantification=20 . Syllable count: VUhU expression: 47 bridi expression: 79 ratio: 0.59 Discussions. 1.=20 Besides the syllable count, the important thing for the language being=20 practical is the simpleness of structure that will help listeners'=20 understanding of the meaning. The bridi math requires three layered=20 sub-clauses in the example 3, two layered sub-clauses in the example 4,=20 while the VUhU math requires only one {vei} clause both in the examples 1= =20 and 2. The difference comes from the fact that VUhU math {gei papa vei=20 repimu suhi jonai vuhu papimu} is grammatically separated from the non-math= =20 parts of the statements, while bridi math is naturally merged in the=20 non-math structure. Using the bridi math is quite meaningful for expressions of pure math.=20 However, more layers of sub-clauses are used, more difficult for listeners= =20 to grasp the structure of the statement. That annoyance is remarkable=20 especially in non-math statements. 2.=20 {zilkancu SUMTI} in the example 3 and 4 may be replaced by {me SUMTI (mehu)= =20 mei}, but the number of layers will be augmented by {me ... mehu}. The VUhU= =20 structure of the official grammar has the same annoyance because it does=20 not permit VUhU math in MOI structure without {me li ... (loho mehu)}.=20 However, as I have already pointed out in the last message, the grammar=20 around VUhU can be much simpler as shown by Zantufa grammar. If you accept= =20 that simplification, then the VUhU math can be harmonized with MOI=20 structure as shown in the example 2, which seems to me not so abominable as= =20 the official VUhU math. mihe la guskant =20 --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at https://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. ------=_Part_5715_514728982.1499601310332 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


Le samedi 8 juillet 2017 22:07:17 UTC, Vincent Bro= man a =C3=A9crit=C2=A0:
coi guskant

I agree that part of PA3 is reducible.
The = "fihu" and "cehi" are not very productive, and several = others could be dispensed with, but at a cost in verbosity.
Peano showed= how all arithmetic could be reduced to "pa", "sumji", = and "pilji", and the later two could be reduced to just "bai= hei".
Still I'm disposed to see the convenience of most of PA3 = for practical purposes in constructing numbers.

The distinction betw= een common functions in VUhU and more technical functions in brivla preserv= es the old grey area where you debate about how common or how technical eac= h cmavo is, but you still have to support both kinds of functions separatel= y.
I wished to push the limits, to see how much can be done with the le= ast means.
Every part of speech has a complexity cost and has to justify= the cost with expressive productivity.
VUhU looked disposable.

V= incent Broman mihe bremenli


<= div>
Yes, VUhU and PA3 are disposable. I appreciate using bri= di math for all expressions of math. VUhU math is still worth preserving es= pecially when it is applied to non-math objects.

L= et us consider the following examples parsed by an experimental grammar.

[1. VUhU math in non-math sumti]
la galaks= is cu gunma lo gei papa vei repimu suhi jonai vuhu papimu tarci .i

[2. VUhU math for counting non-math objects]
lo = tarci cu gei papa vei repimu suhi jonai vuhu papimu mei .i

[3. bridi math in non-math sumti]
la galaksis cu gunma l= o tarci noi zilkancu lo nihai dektefpihi lo nihai sumji jonai se sumji li r= epimu li papimu kei li papa .i

[4. bridi math for = counting non-math objects]
lo tarci cu zilkancu lo nihai dektefpi= hi lo nihai sumji jonai se sumji li repimu li papimu kei li papa
=
#note 1. The above statements are parsed by zantufa (http://= guskant.github.io/gerna_cipra/zantufa-1.9999.html ) only. The official gram= mar of mekso doesn't permit even those natural expressions.
#= note 2. {zilkancu SUMTI} in the examples of bridi math may be replaced by {= me SUMTI (mehu) mei}, just like {zilkancu li PA} that may be replaced by {P= A mei}. The definition of {PA mei} and its difference from {zilkancu li PA}= are mentioned here: https://mw.lojban.org/papri/gadri:_an_unofficial_comme= ntary_from_a_logical_point_of_view#Inner_quantification .

Syllable count:
VUhU expression: 47
bridi expre= ssion: 79
ratio: 0.59

Discussions.
=
1.=C2=A0
Besides the syllable count, the important thing for= the language being practical is the simpleness of structure that will help= listeners' understanding of the meaning. The bridi math requires three= layered sub-clauses in the example 3, two layered sub-clauses in the examp= le 4, while the VUhU math requires only one {vei} clause both in the exampl= es 1 and 2. The difference comes from the fact that VUhU math {gei papa vei= repimu suhi jonai vuhu papimu} is grammatically separated from the non-mat= h parts of the statements, while bridi math is naturally merged in the non-= math structure.

Using the bridi math is quite mean= ingful for expressions of pure math. However, more layers of sub-clauses ar= e used, more difficult for listeners to grasp the structure of the statemen= t. That annoyance is remarkable especially in non-math statements.

2.=C2=A0
{zilkancu SUMTI} in the example 3 and 4= may be replaced by {me SUMTI (mehu) mei}, but the number of layers will be= augmented by {me ... mehu}. The VUhU structure of the official grammar has= the same annoyance because it does not permit VUhU math in MOI structure w= ithout {me li ... (loho mehu)}.=C2=A0

However, as = I have already pointed out in the last message, the grammar around VUhU can= be much simpler as shown by Zantufa grammar. If you accept that simplifica= tion, then the VUhU math can be harmonized with MOI structure as shown in t= he example 2, which seems to me not so abominable as the official VUhU math= .

mihe la guskant
=C2=A0

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http= s://groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_5715_514728982.1499601310332-- ------=_Part_5714_1967515763.1499601310331--