Paradoja de Berry

Paradoja de Berry

Paradoja de Berry

La Paradoja de Berry es la aparente contradicción 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 número de frases que se pueden formar con menos de quince palabras es finito. Algunas de estas frases pueden describir un entero positivo específico, por ejemplo "mil trescientos veintisiete", "el primer número 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 número entero positivo N que sea el menor de todos los números enteros positivos que no están contenidos en A.

Pero la frase que define el número N, tiene sólo catorce palabras.

Esto es claramente paradójico, y parece sugerir que "que no se puede definir con menos de quince palabras" no está bien definido. Sin embargo, es posible construir una expresión análoga con lenguaje matemático formal, como ha hecho Gregory Chaitin. A pesar de que la expresión análoga en lenguaje formal no lleva a una contradicción lógica, sí tiene ciertos resultados imposibles, incluyendo un teorema de incompletitud similar al Teorema de la incompletitud de Gödel.

La paradoja de Berry fue propuesta por Bertrand Russell (Russell, 1906). Russell a su vez, la atribuyó a G. G. Berry, biblitecario en jefe de la biblioteca Bodleian de la Universidad de Oxford (cf. Russell and Whitehead 1910), que había sugerido la idea de estudiar la paradoja asociada a la expresión "el primer número ordinal que no se puede definir".

Resolución de la paradoja

Se suele aceptar que la paradoja de Berry y otras paradojas similares (como la paradoja de Richard) provienen de la interpretación de conjuntos de expresiones que se autorreferencian. De acuerdo con (Russell and Whitehead, 1910) estas paradojas "encarnan falacias de círculo vicioso". Resolver una de estas paradojas significa localizar exactamente dónde 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 español describe al 31, ya que "Treinta y uno" son tres palabras y cualquier definición indirecta de ese número (como "el número de días en enero", o incluso "El menor entero positivo que no se puede definir con menos de dos palabras") tienen necesariamente dos o más palabras.

Referencias

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

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Paradoja — Saltar a navegación, búsqueda Paradoja, del griego παρα (para) y δόξος (doxos), que significa “más allá de lo creíble”, es un concepto filosófico que emplea la lógica (Filosófico – Lógico) para darle nombre a situaciones, textos o circunstancias… …   Wikipedia Español

  • Paradoja de los números interesantes — La paradoja de los números interesantes, que se sirve de algunas propiedades matemáticas pero que puede catalogarse más adecuadamente como humorística, busca demostrar que todos los números naturales (1,2,3......etc) son interesantes . Los… …   Wikipedia Español

  • Teoría informal de conjuntos — La Teoría Informal de Conjuntos es una de las diversas teorías que se han sido desarrolladas en torno al debate de los fundamentos de matemáticas. Los conjuntos tienen una importancia fundamental en matemáticas; de hecho, de manera formal, la… …   Wikipedia Español

  • Back to the Future — Para la trilogía de la saga, véase Trilogía de Back to the Future. Back to the Future …   Wikipedia Español

  • Jazz — Para otros términos similares, véase Jazz (desambiguación). Jazz Orígenes musicales Blues, música africana, música clásica, minstrel Orígenes culturales Mediados del Siglo XIX en Estado …   Wikipedia Español

  • South Park — Género Animación …   Wikipedia Español

  • Caza de montería — Saltar a navegación, búsqueda La caza de montería es una práctica de caza mayor tradicional, en la cual se usan jaurías (también se denominan rehalas ) de …   Wikipedia Español

  • Rock de Argentina — Saltar a navegación, búsqueda Rock Orígenes musicales: Blues, Jazz, Rock and roll Orígenes culturales: Instrumentos comunes: guitarra, guitarra …   Wikipedia Español

  • Teatro Colón — El Teatro Colón: uno de los más importantes del mundo Edificio Tipo Complejo artístico Estilo …   Wikipedia Español

  • Teatro Colón (Buenos Aires) — Saltar a navegación, búsqueda Teatro Colón Teatro Colón: uno de los teatros más importantes de Latinoamerica y el mundo. Edificio Tipo Complejo artístico Estilo ecléctico Sistema est …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”