Borges, Gödel y etnolinguística o una prueba lógico-literaria de la incompletitud de los lenguajes recursivos

Abstract

El presente artículo aborda algunas cuestiones de interés filosófico a partir de la propuesta de Martínez y Piñeiro de un programa de computación que, por medio de un algoritmo basado en el método de las diagonales de Cantor, podría generar una biblioteca de Babel magnificada, emulando la biblioteca imaginada por Borges en su texto homónimo. Este mecanismo podría producir todos los textos de una lengua, lo que incluiría el subconjunto de sus enunciados verdaderos y de todas las traducciones posibles de enunciados verdaderos en otras lenguas. Entonces ¿podría este mecanismo generar todos los enunciados verdaderos posibles?. El trabajo responde negativamente la pregunta con un argumento de inspiración godeliana. El argumento intercala consideraciones lógicas, recursos literarios inspirados en Borges y ejemplos de traducción etnolinguística. Apunta, más que a la rigurosidad técnica, a la producción de un perspectiva original sobre la problemática planteada.

This paper addresses some questions of philosophical interest based on the proposal by Martínez and Piñeiro of a computer program that, by means of an algorithm based on the Cantor diagonals method, could generate a magnified Babel library, emulating the library imagined by Borges in his homonymous text. This mechanism could produce all the texts of a language, which would include the subset of its true sentences and all possible translations of true sentences in other languages. So, could this mechanism generate all possible true statements? The work answers the question negatively with a Godelian-inspired argument. The argument intersperses logical considerations, literary devices inspired by Borges and examples of ethnolinguistic translation. It aims, more than technical rigor, to the production of an original perspective on the problem raised.