¿Qué es?
En matemáticas y lógica, una paradoja es una proposición o razonamiento que conduce a conclusiones aparentemente contradictorias o absurdas aunque parta de premisas razonables. Algunas paradojas revelan inconsistencias o límites en los sistemas formales. Por ejemplo, en la teoría de conjuntos, la paradoja de Russell considera el conjunto de todos los conjuntos que no se contienen a sí mismos; si tal conjunto se contiene a sí mismo surge una contradicción, y si no se contiene también. Estas paradojas obligaron a los matemáticos a revisar y reforzar los fundamentos de la teoría de conjuntos y de la lógica.
¿Qué aportan a las matemáticas?
Las paradojas matemáticas son herramientas valiosas para identificar supuestos ocultos y mejorar las teorías. Al encontrar una paradoja, los matemáticos analizan dónde falla el razonamiento y desarrollan axiomas o definiciones más precisas. Así, las paradojas han impulsado el desarrollo de nuevas áreas como la teoría axiomática de conjuntos, la teoría de categorías y la lógica matemática.
Curiosidades
Hay paradojas en casi todas las ramas de las matemáticas. Además de la paradoja de Russell, la paradoja de Galileo muestra que el conjunto de los cuadrados perfectos tiene la misma cantidad de elementos que el conjunto de los números naturales pese a ser un subconjunto. La paradoja de Zenón de la dicotomía plantea que para recorrer un segmento primero hay que recorrer la mitad, luego la mitad restante, y así sucesivamente, lo que parece impedir que el movimiento ocurra; la resolución moderna usa series infinitas convergentes. Estas paradojas inspiran preguntas profundas sobre el infinito y los fundamentos de la lógica.