A mathematical model for translation of natural languages (Q1119398)

The authors devise a topological model for languages and their translations. A concept of closeness on the set M (of ``meanings'') is introduced and topology (which is compatible with this closeness concept) is defined; next, a continuity condition is imposed. Finally, an existence theorem (providing a best approximation of translating a text from one language to another (the latter being ``adequate'' with respect to the former) is proved. This implies the theoretical possibility of automatic translations.