[lojban] Re: interlingua translation and first-order logic

[Rainer Ottmueller <efidetum@googlemail.com>]

> what progress there 
Even progress will not prove 2=3 (for instance), hopefully. Nor will it revive GÃdel.


2009/12/21 Jon "Top Hat" Jones <eyeonus@gmail.com>:
> 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
>
>