Una relación bidireccional entre lenguajes o sistemas formales que indica que existen traducciones en ambos sentidos que preservan propiedades semánticas o sintácticas especificadas, de modo que las fórmulas y sus significados pueden trasladarse de ida y vuelta según la noción de equivalencia elegida.

Principio

La intertraducibilidad requiere un par de traducciones T: L1→L2 y S: L2→L1 tales que las composiciones S∘T y T∘S recuperen las expresiones originales hasta una equivalencia acordada (igualdad, equivalencia lógica, equivalencia demostrable) y preserven las propiedades objetivo (verdad, derivabilidad, satisfacibilidad).

Demostración

Dos presentaciones de la misma teoría (por ejemplo, dos variantes sintácticas de la aritmética o dos presentaciones ecuacionales de un álgebra universal) son intertraducibles: existen traducciones mecánicas que mapean axiomas y teoremas en ambos sentidos, preservando la demostrabilidad y la condición de teorema hasta renombrado o expansión definicional.

Aplicación incorrecta

Suponer que la intertraducibilidad implica identidad de todas las meta‑propiedades; por ejemplo creer que traducciones mutuas garantizan idéntica complejidad de pruebas, comportamiento de decidibilidad o que toda matiz semántico se conserva sin condiciones.

Consecuencia

La intertraducibilidad establece una forma fuerte de equivalencia: los lenguajes pueden usarse de manera intercambiable para especificación y demostración, los resultados se transfieren en ambos sentidos y las propiedades metateóricas (cuando las traducciones las preservan) pueden portarse entre sistemas.

Inversión

La ausencia de intertraducibilidad significa que existe una incrustación en un solo sentido pero no una mapeo inverso fiel; esta asimetría indica una diferencia genuina en los recursos expresivos o estructurales entre los sistemas.

Límite

Depende de qué propiedades deban preservarse y de la noción de equivalencia aceptada; la intertraducibilidad puede sostenerse sintácticamente pero fallar semánticamente, o viceversa, y puede excluir traducciones no efectivas o que dependan de recursos externos o no constructivos.

Tensión semántica

Tensión con la noción más débil de expresividad relativa: dos lenguajes pueden ser mutuamente interpretable y aun así diferir en complejidad, concisión o conveniencia de expresión, creando tensión entre la equivalencia formal y la diferencia pragmática.

Síntesis

La intertraducibilidad es la expresabilidad mutua implementada por traducciones efectivas de ida y vuelta que preservan las características semánticas o sintácticas acordadas, dando lugar a una clase de equivalencia bidireccional de lenguajes y dejando abiertos diferenciales secundarios como complejidad o brevedad.