Documentos de Académico
Documentos de Profesional
Documentos de Cultura
La Historia de los conjuntos es una mirada, a través del tiempo, a los trabajos que
permitieron el desarrollo de lo que hoy se conoce como la teoría de conjuntos, que
como tal aparece por el esfuerzo del matemático rusoalemán, Georg Cantor.
Paradoja de Rusell
En 1931, Kurt Gödel planteó que, desde el punto de vista matemático, no se pueda
establecer que no existan contradicciones en matemáticas.
Por otro lado, David Hilbert se opuso al intuicionismo y aunque no toleraba las
paradojas, no estaba dispuesto a ver las matemáticas mutiladas. En 1904 propuso
la teoría de la prueba, la cuál era una teoría de la lógica independiente del
contexto y podría ser aplicada a las matemáticas sin encontrar paradojas. Russell a
su vez desarrolló su teoría de los tipos para evitar las paradojas. El proponía que los
enunciados se acomodaran jerárquicamente. Russell publicó sus resultados en 1908
con la colaboración de Alfred North Whitehead.
En la década de los 30’s el matemático Kurt Godel probó un teorema que decía
que en ningún sistema matemático avanzado habría declaraciones que no
pudieran probarse si son verdaderas o falsas desde el interior de ese sistema. Tales
declaraciones explican si el sistema contiene paradojas o no. Después de Godel la
dirección de las matemáticas modernas ha cambiado de un intento de quitar las
paradojas a una dirección en la cual las paradojas son parte del juego. Quizás en
el futuro tengamos que aceptar la posibilidad de paradojas en las teorías
matemáticas nuevas y aprender a reconocer sus distintas facetas.
Las paradojas son una parte importante de las matemáticas modernas. Las
paradojas de la teoría de conjuntos tuvieron un efecto profundo en el desarrollo y
la comprensión de la matemática moderna. Los matemáticos actuales son más
cuidadosos en el estudio de todas las suposiciones que forman una teoría.