IDEAS QUE DESCONCIERTAN

QU ES UNA PARADOJA?

Las paradojas son enunciados que se contradicen a s mismos, o crean crculos viciosos o son autorreferentes. Han aparecido en las matemticas, la literatura o la ciencia en todos los tiempos. La confusin a la que llevan a nuestro pensamiento las hace interesantes y divertidas. Pero son mucho ms que simples pasatiempos. A raz de algunas paradojas matemticas se ha cuestionado el sistema lgico de esta ciencia o el edificio de la teora de conjuntos. Resulta asombroso el profundo alcance que tienen enunciados sencillos y comprensibles por todos.

na paradoja, tambin una antinomia, se revela en una teora cuando se demuestran dos sentencias contradictorias. No es un sofisma, es decir, no contiene errores ocultos que invaliden la sentencia. Las paradojas descubren deficiencias o insuficiencias en la teora en la que aparece. sta puede ser por ejemplo la teora de conjuntos, o la fundamentacin de la aritmtica o de la lgica. Para saber cundo estamos ante un enunciado paradjico, lo que se hace es pensar que el planteamiento es verdadero. Si de esta premisa concluimos que el propio enunciado ha de ser falso estamos ante una paradoja. Fjate en los siguientes ejemplos.

?
E

por Lolita Brain

LA PARADOJA DE EPIMNIDES

pimnides, un cretense, enunci una frase muy simple pero controvertida: Todos los cretenses mienten. Es verdadera o falsa esta afirmacin? Si fuera verdadera , l, que es cretense, mentira al decirla y por tanto sus paisanos no mentiran. Pero esto significara que la frase es falsa! Esta es la contradiccin. Esta paradoja tiene mltiples versiones equivalentes como la de Eublides (s. IV a.C.) : La frase que ests leyendo es falsa; es verdadera o falsa esta frase?

LA PARADOJA DE RUSSELL
i hay una paradoja famosa y catastrfica, es la que descubri Bertrand Russell (y tambin Zermelo) a comienzos del siglo XX y que forz una revisin completa de la fundamentacin de la teora de conjuntos. Russell comunic el descubrimiento de su paradoja a Frege, arruinando por completo su recientemente acabada obra maestra sobre la construccin de los nmeros. Una versin muy sencilla es como sigue: entre los libros de una biblioteca, algunos son catlogos, es decir, incluyen las referencias de otros libros. Algunos de estos ndices, como un catlogo de catlogos, se incluyen a s mismos. Un catlogo de libros de poeBERTRAND RUSSELL sa no se incluye a s mismo porque (1872-1970) l no es un libro de poemas, sino un

ndice. El bibliotecario quiere confeccionar un nuevo catlogo que llama El Supercatlogo, que incluya la lista de los catlogos que no se incluyen a s mismos, como por ejemplo un catlogo de libros de poesa. Pues la paradoja aparece al responder a la pregunta siguiente: El Supercatlogo debe incluirse o no en s mismo?

LA TARJETA PARADJICA
sta es otra versin de la paradoja de Epimnides. Si es cierto lo que est escrito en la cara A, por tanto el texto de la cara B es falso; significa que la frase lo que pone en la otra cara es verdadero es incierta y por tanto que la cara A dice la mentira. Esto es exactamente lo contrario de nuestra premisa. Si empiezas el razonamiento por la cara B, llegars de nuevo a una contradiccin.

HASTA EN EL QUIJOTE!
ncluso en El Quijote (captulo LI Del progreso del gobierno de Sancho Panza...) nos encontramos con una paradoja. Siendo Sancho Panza gobernador de la nsula Barataria le fue ofrecido por un forastero el siguiente caso para someterlo a su juicio: un ro divida un seoro y los jueces estimaron hacer jurar a los que pasaran por l el lugar y el asunto de su visita. Si el viajero deca la verdad se le dejaba pasar. Si faltaba a su juramento era colgado en la horca. Un da [...] tomando juramento a un hombre, jur y dijo que por el juramento que haca, que iba a morir en aquella horca que all estaba y no a otra cosa. Repararon los jueces en el juramento y no supieron si dejarle pasar o ahorcarle ya que si mora ahorcado habra dicho la verdad y por tanto era injusto matarle, pero si se le dejaba pasar faltaba a su juramento y debera morir. La solucin de Sancho puedes leerla en El Quijote.

EL PROBLEMA DEL BARBERO

l barbero de un pueblo slo afeita a los habitantes de su pueblo que no se afeitan a s mismos. Quin afeita al barbero? Esta paradoja data de 1918 y es una versin cotidiana de la paradoja de Russell. El problema se soluciona con tal de aceptar que ese barbero no puede existir. La diferencia con la de Russell es que sta cuestiona lo que se puede o no definir en matemticas.

cara A

cara B
...la mayora de las paradojas alimentan durante dcadas y a veces siglos el pensamiento lgico. NICOLAS BOURBAKi

Infografa y textos: Lolita Brain - www.lolitabrain.com