Received: from mail-pf1-f192.google.com ([209.85.210.192]:41313) by stodi.digitalkingdom.org with esmtps (TLSv1.3:TLS_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1jtMw3-0006ZP-H1 for lojban-list-archive@lojban.org; Wed, 08 Jul 2020 20:09:22 -0700 Received: by mail-pf1-f192.google.com with SMTP id y73sf427869pfb.8 for ; Wed, 08 Jul 2020 20:09:18 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1594264153; cv=pass; d=google.com; s=arc-20160816; b=aU5k49e/CIvYWVkdkLE6m0YzXhgZa7MX4JEPKGkKhKB8FQiJ5B5mDRgj8N3c5/2WtS 3WD3YZoLd4jcD8p24nJq13aNe90PbDghF+UJvKxZDjgw/o2owSFFe+RQrfIDfR5xPtB3 vV61pWEnrrD+P39K4XFQOE8M6kIK9SMajVGohLfwoxiIWdRo6QIC4AI64E2HZXtXiqWa Dy9w+ir++7cHCz0gwJMLZFGIDC8h7pHMwSnvUNrYgkSVm7JdzIba48W7RQX8YFM57LLS 2yFF/9d2LQ/AMpkAnDuuTbxvD8vRYWr/fq+y4DDS6O438mwqd3GPDnSeSTFqyQPPmav0 izhA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:mime-version:message-id :date:subject:to:from:sender:dkim-signature; bh=eaYs/7wi5OB9FjYxao7RU4czNtPFvaHdEfNtc3W5U8c=; b=AjmB6R1y5N9KIva/zURpefZBeAb3qT8caedwBGjK/7XiVYqAx+0I2dkx7Atj0K58v6 6t12bwGCN4pj9EqjpWd5hMMBDivGK8/KNn5XX9x7sCyiR3OntZQrRnBD0V2cpvJZJB9P fdD517Q3ZgZMq0WlfN1dLE/CNnISIEMPiQ8vXeWNitkXvZYJrj8KGT4WiCNn1LmKAch7 ZA0MMEdCKYJABILuip8PjLMrviu6iIhYEQdTiQ97Z3wOQ7BK08dHNzlegHkRmrJ3KGsH 6us7VKBE6GWDLU0+IGIJyuEFyVBxAUuptmzOiZxYLJ/QH+boQLjKcWvXl1F+/yJZ9w9a vEFg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:date:message-id:mime-version :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=eaYs/7wi5OB9FjYxao7RU4czNtPFvaHdEfNtc3W5U8c=; b=eKb8003MO0szbQXuvnGTiJitEJBjVaegmXarxwQMMpIZ+IYYVRLsswHRMtrwesz3oB 5MZzHHuOAjFTnvYsbU01nwkSxkZ6xE9mqJ545uVXb1Ml5jeebb7JO7IP1BY2cd8nw2pG vTH1hcMAYnyLUzUGUEQW19KO+fGwgFGTjP2bUsos+oF+/RKi2plpP7hZDF7X07pC5WVn s7kSOio2iLiKrGT1d4G1Nb4N8vjKcTBdjw4ZsWrDXSQ/PHA2y3BccpZS/v3MqlKET9w5 YLOwFXEwOOx4dIcAY1V0zAj0wCbJREqhU1aCEYJFSElSBhnIAZsPoyO381zAvtc3wjku v1WA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:date:message-id :mime-version:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=eaYs/7wi5OB9FjYxao7RU4czNtPFvaHdEfNtc3W5U8c=; b=nk69Hnp5Zc1J7S3M+EriZikHwIbeXs3Pv5Bmdt5rj0SZidP6/bJCk3LWOU61Iklsj8 sJ1AYanPrVU7A8GZhUdxWIGb3ie2bvnkIgdghPJ6RGGTDyXAww3WO1JDgF6PYhuFMTXU 4TOUI46FihDV3zazBAsujHLTA8zFMaEIbuUQNf1ze3x3Vz5FnjueHU8aluYboJbWiU3l 9g9sJH09yNxhVXXpbEbwqEDglrrLoByck6vBTddPZi1XRlQFzUa3AULBx6FgpKE/EBHV nEQ7bK27C4MNEfJjgFu/Smc1agazyjpgBBA99KqbdZEIUoZWszYnW22D3S95YsC07Ooq ALjw== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM533JSqi2ZWbe2x+tzsHen5MjRQPhIQQxzM8JulfS6FwBjRsAKn9+ 32wUW3itSjTr///Dfs5U0z8= X-Google-Smtp-Source: ABdhPJw1LeIPFi1VNRT8wTzLp1khsXkLCN6yV3KtAyUAmPBfJggx0V6ZgPlWQOw3QPtQZZ8LVTGCAA== X-Received: by 2002:a63:a558:: with SMTP id r24mr53729387pgu.70.1594264152958; Wed, 08 Jul 2020 20:09:12 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 2002:a17:902:ff08:: with SMTP id f8ls1727630plj.1.gmail; Wed, 08 Jul 2020 20:09:12 -0700 (PDT) X-Received: by 2002:a17:90b:1106:: with SMTP id gi6mr13353405pjb.2.1594264152331; Wed, 08 Jul 2020 20:09:12 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1594264152; cv=none; d=google.com; s=arc-20160816; b=npk0ZsoiVgJ4ZPygpgjKTpf8ZYVWz888JD5ne9WpfNeHxPD63eGO5zpXPYF5sjRZ3T sK43UUZo8WrxGOnWCEglUvjy34fp99W7k4/kpnoqjCfqlt60EdQEL8ngBsZg2haXy2zo 0RzsiH1UXxs09Kb1iF0qVNxoXAHexxET28r841TJwrLIuuvaVR4eQ/tZPk2S3B7DLb8H 0GkVjwDcVHg/R0GQpQPSjJV/EbGTXwIacqvLiRscKX1UXPeMhMnuFYjS4G/sS1xIaDsO HP1CJnk7h+3wGtevBoCUvsGJwkrR+czJUA8kX2FQPhA5UN3TchAY+Wgoroq1SykpOTIM UV9g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:message-id:date:subject:to:from; bh=Soz1vyyIwA/fhcq/K81zzNUbcDz30YfZec0ElgFcgW0=; b=S5mMjtdOlmdFz5KLKALv3QlsfmK/94QLz7kc4J7UUaUogHvvV3iaGQHNFd7PsrUrHv WmGK8x0DKohlkV6irjKbvkxTYAgOwM/il1iqIrbd+TD2vbHfpEb11ioHbTpV1Ehd1y52 /ozAtz1LnpEWNVmCi2nZmVocSBxyvKWQ6Nmvcv+KrElInqkO040bIiTMzuzRCcetpN2O x3UC3LV8U1XjTsEKAAVkL0K0MDVDHLu/q0AHQLugG1APCgCNMi+NJduyCVCw+tpBkKCJ id6nX9/Mq9eNCvaMxqonVm7MmFmpi8NfkiF7eCemUNzLfUvlR+Nz2KejBtAJk0KYT9Qg 3/BA== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org Received: from icebubble.org (smtp.icebubble.org. [2607:f2f8:a1d8::b19:0:f0b]) by gmr-mx.google.com with ESMTPS id b8si126194pju.2.2020.07.08.20.09.11 for (version=TLS1 cipher=AES128-SHA bits=128/128); Wed, 08 Jul 2020 20:09:12 -0700 (PDT) Received-SPF: pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) client-ip=2607:f2f8:a1d8::b19:0:f0b; Received: from petunia by icebubble.org with local-bsmtp (Exim 4.76) (envelope-from ) id 1jtMxQ-0005GW-ST for lojban@googlegroups.com; Thu, 09 Jul 2020 03:10:44 +0000 Received: from rusat by cmarib.ramside with local (Exim 4.72) (envelope-from ) id 1jtL15-0004Cl-7W for lojban@googlegroups.com; Thu, 09 Jul 2020 01:06:23 +0000 From: scope845hlang343jbo@icebubble.org To: lojban@googlegroups.com Subject: [lojban] Proof that Lojban morphology is unambiguous Date: Thu, 09 Jul 2020 01:06:23 +0000 Message-ID: <86tuyhcx9s.fsf@cmarib.ramside> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Original-Sender: scope845hlang343jbo@icebubble.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org 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: -2.8 (--) X-Spam_score: -2.8 X-Spam_score_int: -27 X-Spam_bar: -- Does anybody have access to a proof, or know how to prove, that Lojban's morphology is unambiguous? I was corresponding with lojbab, for a while, about this and he assured me that the unambiguity of Lojban's morphology had been proven analytically. But when I asked him for his analytical methods/proof, he stopped responding to me. :( Does anybody know where this information can be found? It would be much appreciated. -- 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 email to lojban+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/86tuyhcx9s.fsf%40cmarib.ramside.