🏷️ Origen

La atribuyó Bertrand Russell a G. G. Berry, un bibliotecario de la Bodleian Library de Oxford, y la publicó en un artículo de 1908 («Mathematical logic as based on the theory of types»). Russell la usó como una de las paradojas que su teoría de tipos pretendía neutralizar. Es prima de la del mentiroso y de la de Grelling-Nelson: todas explotan la autorreferencia y la vaguedad del lenguaje para nombrar cosas.

🤔 Qué es (el planteamiento)

Fíjate en esta expresión aparentemente inocente:

«El menor número entero que no se puede nombrar con menos de veinte sílabas.»

Parece que define un número perfectamente. Los números enteros positivos son infinitos; las frases en español con menos de veinte sílabas son solo un número finito (el alfabeto es finito y hay un tope de sílabas). Con un número finito de frases cortas solo puedes nombrar un número finito de enteros. Luego, forzosamente, hay enteros que no se pueden nombrar con menos de veinte sílabas. Y entre todos esos, por el principio de buena ordenación, hay uno que es el menor. Así que la frase de arriba señala a un número concreto y bien definido. Todo impecable… hasta que cuentas las sílabas.

Porque esa misma frase —»el menor número entero que no se puede nombrar con menos de veinte sílabas»— tiene menos de veinte sílabas. Es decir: acabamos de nombrar, con menos de veinte sílabas, un número que por definición no se puede nombrar con menos de veinte sílabas. Contradicción de manual.

🌀 Por qué descoloca (la tensión)

El nudo está en que una descripción finita y corta acaba definiendo un objeto cuya definición es que no admite ese tipo de descripción. La frase se muerde la cola: al nombrarlo, viola la condición que ella misma impone. Es autorreferencia pura, pero disfrazada. En el mentiroso («esta frase es falsa») la trampa se ve venir; aquí se cuela por debajo, escondida en algo tan aparentemente sólido como «el menor número que cumple tal propiedad».

Lo que descoloca es que cada paso individual parece legítimo: contar frases, ordenar números, elegir el menor. Y sin embargo el conjunto produce un absurdo. La sensación es la del terreno firme que se hunde: no ves dónde has pisado mal, pero has caído.

🔑 Soluciones e intentos de respuesta

• El culpable es «nombrar/definir»: no es un concepto preciso. La salida más aceptada es que la expresión «se puede nombrar/definir en X sílabas» no está bien definida dentro del propio lenguaje. La paradoja mezcla el lenguaje con el que hablamos (el objeto) y el lenguaje con el que hablamos sobre nombrar (el metalenguaje). En cuanto separas los dos niveles —como exige la teoría de tipos de Russell o la distinción lenguaje/metalenguaje de Tarski—, la frase paradójica deja de ser una definición legítima y la contradicción se desactiva. Pega: obliga a renunciar a que un lenguaje pueda hablar libremente de su propia capacidad de definir.
• La «definibilidad» no es formalizable ingenuamente. Relacionado: no existe una noción general y sin restricciones de «número definible en n símbolos» que sea a la vez precisa y no contradictoria. La paradoja es, en realidad, una prueba de que ese concepto intuitivo es defectuoso. Es el mismo mecanismo que hay detrás del teorema de indefinibilidad de la verdad de Tarski.
• Parientes útiles: complejidad de Kolmogorov. Una versión formalizada del argumento de Berry (cambiar «sílabas» por «longitud del programa más corto que genera el número») se usa para demostrar de verdad un resultado importante: que la complejidad de Kolmogorov —la longitud mínima de una descripción— no es computable. Aquí la paradoja deja de ser un juego y se convierte en herramienta: no la resuelves, la domesticas para probar un límite real de lo que se puede calcular.

🧠 Qué debate de fondo toca

Toca los límites del lenguaje para hablar de sí mismo y la frontera entre decir y mostrar. Es una de las paradojas que empujaron a la lógica del siglo XX a construir jerarquías de niveles (tipos, lenguaje/metalenguaje) para evitar que un sistema se autorrefiera sin control. Detrás late una pregunta profunda: ¿qué significa definir o nombrar un objeto, y por qué la aparentemente inocente idea de «descripción más corta» esconde contradicciones? De ese hilo cuelgan resultados mayores —Tarski, la incomputabilidad— que marcan lo que la lógica y el cálculo no pueden alcanzar.

🔗 Relacionadas / fuentes

• Misma familia (autorreferencia): `paradoja-del-mentiroso.md`, `paradoja-de-russell.md`, `grelling-nelson.md`, `paradoja-de-curry.md`. Vaguedad del lenguaje: `sorites.md`. Base: `_INDICE-paradojas.md`.
• Fuentes: Russell, «Mathematical logic as based on the theory of types» (1908), donde atribuye la idea a G. G. Berry; conexión con Tarski (indefinibilidad de la verdad) y con la complejidad de Kolmogorov.