[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: Proof that Lojban morphology is unambiguous
- To: lojban@googlegroups.com
- Subject: Re: [lojban] Re: Proof that Lojban morphology is unambiguous
- From: Jacob Thomas Errington <jake@mail.jerrington.me>
- Date: Mon, 3 Aug 2020 16:04:14 -0400
- Arc-authentication-results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:863f:: as permitted sender) smtp.mailfrom=jake@mail.jerrington.me
- Arc-authentication-results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:863f:: as permitted sender) smtp.mailfrom=jake@mail.jerrington.me
- 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:in-reply-to :content-disposition:mime-version:references:message-id:subject:to :from:date:sender:dkim-signature; bh=wQVJYStjZsCPXc4Qy8E8QqsyyIDQgyycop+k0CPS/jY=; b=lRtl96tA8LRhRB3VzX8Bz5Rv/CXM79DpQ1HKjaQFag93duALBf9uxcwC0S7k6j4Xna RapMT4fsfgkEttuUZpF/aAXRHUKScky9YJ8TjhkHZwp204EMMREtM2jvXdezDCU5SKZ9 7FOthlnRJIIfTQntD82T2nPpEsuWMOP2cTKRl9j7PrfoiyBh0SCsh9QjqbwwZvl+amHD DHM6kO736wCdABwMlTF6xc39OBwUjO+bDtKVplqxbG+BrKR6CBrrOuc/kf2L+l5dWLW6 nxzFVi9/uZwNRgOMim1ZCdRuVYL7zAmmZJblScNSykn3FmqPHUGX5CFyx5cYf4jyk9LY k/3Q==
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:to:from:date; bh=2QHSAi82fZXUyICX/Nc4S0Z5VgTIo2llhdMp3FhDsfw=; b=nxNhMUYZCUli5RB+GC5UymZp26H40MMwjdERmjuY2WhJzz4ESFuQwpMLwagsdPu7qO qZRg7SbjcAxGYVP+lk/T67jqCTa5kODmqcP/jISU1vcIVKVCJW63FKbC9B8Gsn0CR5pp aS6ppZ2y68HmlQCz5RFLYVn6OaBDrqb8BwbEPA2/dPgp3qhbHj64jG78Jv/LAGnW7tRf +4L71uchGngah+gKvOnzaXLBFjdoEnWdoq4z0ZMAWMQB438zVWlT1OKDYILQcozUk6w7 w0JiQVPk2iYoNmqAe9P/GqKSncCP5QfAFnjrjWxX7sXMsJ472aF2u679SW1bQQ0yZM1t 5Lnw==
- Arc-seal: i=2; a=rsa-sha256; t=1596485358; cv=pass; d=google.com; s=arc-20160816; b=Fv1lUHmyaZEyxQxSJzCK0JL1pdpEsGxpXQN5aI5G5EtZ4ElZ6ai8gFJ6B98W0Ilx8w UXkWLpHDsVM7MOSBEjmmUNcIzrGu7SK8633nDgUs7SN0zbN1rCJ4y/+yVMFt7p6kpEv4 PyBpYuVYpHHsxsl7apJrla+qMDP0gjln6p/NRtPuFBMtJK16blLO8gA0tVYcpgjnGVdx Ds204MC9/YyoGlT3ebEN4oShAcJ4801qDzpkmq0fSdN42b6J2tRQUEdI8OCiC9GmtWy/ +UZh1T8lI7f5Dsq480L13xyGBbpcIjfbcvPuCc1MyRijp3ixD7rMDEQC1D0eoRE2iyfD 32FA==
- Arc-seal: i=1; a=rsa-sha256; t=1596485357; cv=none; d=google.com; s=arc-20160816; b=vrM/Qw8M6laKUlSiCDvV2SqS1RxtXBECDZhVvkvd25U0vpiEChSBwDXC2BYH+Cldr9 +P/522bonFUuj+lMXQu4ZQTcpBy7y9e9Gtr+wbI5cS9fh7DvVSX9u5Wn4yzp8v0NYmI+ eXKMEgi563HQH76OCfFOStmgssEOlmIe1GGY/a9urt0yJu7szxmRDH8nGPywiAAQG2MQ L3NlJHLqLgV40TgMZLzXR6uQm7ocAfyiMlZg0wpEy/TvTR7SDJtmcf8xBX3HdlNR5iMK gQY64a9S9bekGauEfQHNWqzvMl+/iaENH0WcpfNcjByiCpV8Y+sl9S7mxyRFQ1qX9Z2z kKJQ==
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:subject:message-id:references:mime-version :content-disposition:in-reply-to: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=wQVJYStjZsCPXc4Qy8E8QqsyyIDQgyycop+k0CPS/jY=; b=oHC/mvEPM+Bi1wpPFcb88whZpJxCZ4IaEOBPmiPe7lCyz4pU3bFc3ROVFmmcWZxC3y Iiu0VKuqmEzaYnIknA5fw+sa35vVMee6OJ84pIGGEUMFlQ/QkKbbeN1elgT5soc+JXw5 FoMzCr51MkyO5cmB7gnrN2hg3y4XnQFh9E1cmFvse/YnMcLeGW+Rng8x/pYnieNEhski 1cqsRlCV8pkBOtUZ8/5JmU8fdx15uslJElQ46t31E3tBULWjlaI3ZSDWgGRdl/FbpqNj wc2agz1EkbWdPIvz4SKhanP5VrM4DiFlzkar0VzlomnN6s+fwB/EhB+uGtrhOZR82//X E71Q==
- In-reply-to: <865z9z7dyr.fsf@cmarib.ramside>
- 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
- References: <86tuyhcx9s.fsf@cmarib.ramside> <865z9z7dyr.fsf@cmarib.ramside>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
I don't believe there is a proof out there, but it is by no means
taboo to question whether Lojban actually achieves its stated goals.
To prove that the morphology is unambiguous, one would have to write
an algorithm that accepts an idealized representation of a speech
stream and decomposes it into a sequence of words. The algorithm would
not be able to consult a dictionary to do so.
If you're interested in working on this, I'd be interested in hearing
about it.
mu'o mi'e la tsani
On Mon, Aug 03, 2020 at 06:59:24PM +0000, scope845hlang343jbo@icebubble.org wrote:
> scope845hlang343jbo@icebubble.org writes:
>
> > 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.
>
> Is it taboo to question the non-ambiguity of the Lojban morphology? I
> can't seem to get a straight answer from anyone about this.
>
> --
> 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/865z9z7dyr.fsf%40cmarib.ramside.
--
Jacob Thomas Errington
W: https://jerrington.me/
--
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/20200803200414.76kso6gwhu2rnlig%40renro.
Attachment:
signature.asc
Description: PGP signature