Paradoja de Berry

La paradoja de Berry es la aparente contradiccin que deriva de frases como sta:

El menor entero positivo que no se puede definir con menos de quince palabras.

El siguiente argumento parece probar que esta frase define un nico entero positivo N. El nmero de frases que
se pueden formar con menos de quince palabras es finito. Algunas de estas frases pueden describir un entero
positivo especfico, por ejemplo mil trescientos veintisiete, el primer nmero primo mayor que cien
millones o dos elevado a trece. Sin embargo, otras de las frases describen cosas que no son enteros, por
ejemplo "William Shakespeare" o "Torre Eiffel". En cualquier caso, el conjunto A de enteros que se pueden
definir con menos de quince palabras es finito. Puesto que A es finito, no puede contener todos los enteros
positivos, de modo que tiene que haber un nmero entero positivo N que sea el menor de todos los nmeros
enteros positivos que no estn contenidos en A.

Entonces, como hemos dicho, el nmero N es el menor entero positivo que no se puede definir con menos de
quince palabras. Pero entonces resulta que la frase El menor entero positivo que no se puede definir con
menos de quince palabras definir a este nmero N. Y, sin embargo, dicha frase tiene slo catorce palabras.

Esto es claramente paradjico, y parece sugerir que que no se puede definir con menos de quince palabras no
est bien definido. Sin embargo, es posible construir una expresin anloga con lenguaje matemtico formal,
como ha hecho Gregory Chaitin. A pesar de que la expresin anloga en lenguaje formal no lleva a una
contradiccin lgica, s tiene ciertos resultados imposibles, incluyendo un teorema de incompletitud similar al
teorema de la incompletitud de Gdel.

La paradoja de Berry fue propuesta por Bertrand Russell (Russell, 1906). Russell a su vez, la atribuy a G. G.
Berry, bibliotecario en jefe de la biblioteca Bodleiana de la Universidad de Oxford (cf. Russell and Whitehead
1910), que haba sugerido la idea de estudiar la paradoja asociada a la expresin "el primer nmero ordinal que
no se puede definir".

Resolucin de la paradoja
Se suele aceptar que la paradoja de Berry y otras paradojas similares (como la paradoja de Richard) provienen
de la interpretacin de conjuntos de expresiones que se autorreferencian. De acuerdo con (Russell y Whitehead,
1910) estas paradojas encarnan falacias de crculo vicioso. Resolver una de estas paradojas significa localizar
exactamente dnde comienza el error en el uso del lenguaje y restringirlo para evitarlas.

Algunas expresiones de este tipo no presentan la paradoja:

El menor entero positivo que no se puede definir con menos de dos palabras.

que bajo cualquier uso razonable del idioma espaol describe al 31, ya que "Treinta y uno" son tres palabras y
cualquier definicin indirecta de ese nmero (como el nmero de das en enero, o incluso El menor entero
positivo que no se puede definir con menos de dos palabras) tienen necesariamente dos o ms palabras.

Referencias
Charles H. Bennett, On Random and Hard-to-Describe Numbers, IBM Report RC7483 (1979)
(disponible en: http://www.research.ibm.com/people/b/bennetc/Onrandom.pdf).
 George Boolos, A new proof of the Gdel Incompleteness Theorem. Notices of the American
Mathematical Society, 36(4), pp. 388-390.
Bertrand Russell, Les paradoxes de la logique, Revue de mtaphysique et de morale, vol 14, pp 627-650.
Bertrand Russell and Alfred N. Whitehead, Principia Mathematica, Cambridge University Press.

Obtenido de https://es.wikipedia.org/w/index.php?title=Paradoja_de_Berry&oldid=99012847

Se edit esta pgina por ltima vez el 10 may 2017 a las 13:03.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.