From rainer.ottmueller@googlemail.com Mon Dec 21 09:10:03 2009 Received: from mail-fx0-f211.google.com ([209.85.220.211]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1NMllZ-0006IJ-OH for lojban-list@lojban.org; Mon, 21 Dec 2009 09:10:02 -0800 Received: by fxm3 with SMTP id 3so2497418fxm.4 for ; Mon, 21 Dec 2009 09:09:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to :content-type; bh=aqh1f/wK0mVJFEHbnbMk7Dd/CrnJUIEcYEGig0XqQFs=; b=P4OwMaH7989EB4CWeqWm/rzQi5nkOrBAQmJoZc9b6lttne1rCIvCZxq4JcdDU93lOk +XKQ22WOUNIyGoDAeaCI2NiOgiJMOU+dQrbOikp/wLVPkpkFd6aNSScv5XJV2UA5pDUO zh/kyqJcAtaCBq4mELXy4HFpTUqyIt/azookI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type; b=M/HSxQqSBDYWmpRzL86ndW66BH4bq4NOTUyw4FhcOGITkVTX9K5pwCxBf/WAntcjz2 MYH3l/QiJM8KGCwgds1/EZR0gEsQFduJqN0WY9k6q4RJVeBfP+oymUmHZOqnck3zB1g8 tSCN7guwZbDc/W8Wirz71o/r4Hq9X0VgmhA9g= MIME-Version: 1.0 Sender: rainer.ottmueller@googlemail.com Received: by 10.103.84.15 with SMTP id m15mr3569562mul.105.1261415386425; Mon, 21 Dec 2009 09:09:46 -0800 (PST) In-Reply-To: <702226df0912210730i37f4f966xc4f39d6e0a7623d8@mail.gmail.com> References: <702226df0912210730i37f4f966xc4f39d6e0a7623d8@mail.gmail.com> Date: Mon, 21 Dec 2009 18:09:46 +0100 X-Google-Sender-Auth: 02eb585e50f04625 Message-ID: <86eb6b1b0912210909sda5823k4ff1ce6aef4a5c3@mail.gmail.com> Subject: Re: [lojban] interlingua translation and first-order logic From: Rainer Ottmueller To: lojban-list@lojban.org Content-Type: multipart/alternative; boundary=0016e65b634e05ab5c047b402883 --0016e65b634e05ab5c047b402883 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable > what progress there Even progress will not prove 2=3D3 (for instance), hopefully. Nor will it revive G=C3=B6del . 2009/12/21 Jon "Top Hat" Jones : > I recently came across this paper, which discusses various methods of > machine translation methods. In it it is mentioned that computers are not > able to understand first-order (i.e. predicate) logic. Since the paper is > nearly 2 decades old, I was wondering if anyone here knows what progress > there has been in making it understandable by computers. > > > -- > mu'o mi'e .aionys. > > .i.a'o.e'e ko klama le bende pe denpa bu > > --0016e65b634e05ab5c047b402883 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable > what progress there
Even progress will not prove 2=3D3 (for instan= ce), hopefully. Nor will it revive G=C3=B6del.


2009/12/21 Jon "Top Hat&qu= ot; Jones <eyeonus@gmail.com>= ;:
> I recently came across this paper, which discusses various methods of<= br>> machine translation methods. In it it is mentioned that computers a= re not
> able to understand first-order (i.e. predicate) logic. Since= the paper is
> nearly 2 decades old, I was wondering if anyone here knows what progre= ss
> there has been in making it understandable by computers.
>=
>
> --
> mu'o mi'e .aionys.
>
> .i.a= 'o.e'e ko klama le bende pe denpa bu
>
>

--0016e65b634e05ab5c047b402883--