[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Proof that Lojban morphology is unambiguous
- To: lojban@googlegroups.com
- Subject: [lojban] Proof that Lojban morphology is unambiguous
- From: scope845hlang343jbo@icebubble.org
- Date: Thu, 09 Jul 2020 01:06:23 +0000
- 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
- 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
- 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-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-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-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==
- 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==
- List-archive: <https://groups.google.com/group/lojba>
- List-help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
- List-id: <lojban.googlegroups.com>
- List-post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
- List-subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
- List-unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>, <https://groups.google.com/group/lojban/subscribe>
- Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
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.