Paradoja de Berry

La paradoja de Berry es la aparente contradiccin que de la interpretacin de conjuntos de expresiones que se

deriva de frases como sta: autorreferencian. De acuerdo con (Russell y Whitehead,
1910) estas paradojas encarnan falacias de crculo vi-
El menor entero positivo que no se puede cioso. Resolver una de estas paradojas signica locali-
denir con menos de quince palabras. zar exactamente dnde comienza el error en el uso del
lenguaje y restringirlo para evitarlas.
El siguiente argumento parece probar que esta frase de-
Algunas expresiones de este tipo no presentan la paradoja:
ne un nico entero positivo N. El nmero de frases que
se pueden formar con menos de quince palabras es ni-
to. Algunas de estas frases pueden describir un entero El menor entero positivo que no se puede
positivo especco, por ejemplo mil trescientos veinti- denir con menos de dos palabras.
siete, el primer nmero primo mayor que cien millo-
nes o dos elevado a trece. Sin embargo, otras de las que bajo cualquier uso razonable del idioma espaol des-
frases describen cosas que no son enteros, por ejemplo cribe al 31, ya que "Treinta y uno" son tres palabras y
"William Shakespeare" o "Torre Eiel". En cualquier ca- cualquier denicin indirecta de ese nmero (como el
so, el conjunto A de enteros que se pueden denir con me- nmero de das en enero, o incluso El menor entero
nos de quince palabras es nito. Puesto que A es nito, positivo que no se puede denir con menos de dos pala-
no puede contener todos los enteros positivos, de modo bras) tienen necesariamente dos o ms palabras.
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. 2 Referencias
Entonces, como hemos dicho, el nmero N es el menor
entero positivo que no se puede denir con menos de Charles H. Bennett, On Random and Hard-to-
quince palabras. Pero entonces resulta que la frase El Describe Numbers, IBM Report RC7483 (1979)
menor entero positivo que no se puede denir con me- (disponible en: http://www.research.ibm.com/
nos de quince palabras denir a este nmero N. Y, sin people/b/bennetc/Onrandom.pdf).
embargo, dicha frase tiene slo catorce palabras.
George Boolos, A new proof of the Gdel Incomple-
Esto es claramente paradjico, y parece sugerir que que teness Theorem. Notices of the American Mathema-
no se puede denir con menos de quince palabras no est tical Society, 36(4), pp. 388-390.
bien denido. Sin embargo, es posible construir una ex-
presin anloga con lenguaje matemtico formal, como Bertrand Russell, Les paradoxes de la logique, Re-
ha hecho Gregory Chaitin. A pesar de que la expresin vue de mtaphysique et de morale, vol 14, pp 627-
anloga en lenguaje formal no lleva a una contradiccin 650.
lgica, s tiene ciertos resultados imposibles, incluyendo
un teorema de incompletitud similar al teorema de la in- Bertrand Russell and Alfred N. Whitehead, Princi-
completitud de Gdel. pia Mathematica, Cambridge University Press.

La paradoja de Berry fue propuesta por Bertrand Rus-

sell (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 denir.

1 Resolucin de la paradoja
Se suele aceptar que la paradoja de Berry y otras para-
dojas similares (como la paradoja de Richard) provienen

1
2 3 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

3 Origen del texto y las imgenes, colaboradores y licencias

3.1 Texto
Paradoja de Berry Fuente: https://es.wikipedia.org/wiki/Paradoja_de_Berry?oldid=73954224 Colaboradores: Aracne, Lew XXI, Chobot,
CSTAR, Yrbot, Tamorlan, Urdangaray, Muro Bot, YonaBot, SieBot, Jim88Argentina, Felipe Schenone, ArthurBot, Kismalac, Jerowiki,
Jrsantana, ZroBot, KLBot2, Makecat-bot y Annimos: 3

3.2 Imgenes

3.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0