-
Enunciación de teoría
George Cantor, fue quien formulo una base de la Teoría de conjuntos inicial, su único objetivo era llegar a una deducción matemática, pero logro mucho mas que esto, ya que es una teoría fundamental en la actualidad. -
Paradojas sobre la teoría
Empezaron a surgir dificultades con lo planteado por Cantor a raíz de diferentes paradojas, principalmente la planteada por Russell, con el tiempo surgieron mas incluso una planteada por el mismo Cantor. -
Matemáticas en duda
Debido a que la base de las matemáticas es la teoría de los conjuntos, y se encontraba en una inestabilidad por las paradojas planteadas genero que las matemáticas también estuvieran en duda. -
Brouwer: Una solución a las paradojas
Brouwer fue el primer en dar soluciones tan radicales como empezar de cero y replantear o renovar por completo las matemáticas.
Acepta intuición general, rechaza principios fundamentales, resolvió dificultades de las paradojas. -
Teoría de la Prueba
David Hilbert se opuso rotundamente a la intuición, pero también lo hizo con la paradojas, lo que lo llevo a buscar una manera diferente de contrarrestarlas.
Nació la teoría de la prueba, se caracterizaba por ser lógica e independiente de su contexto, se podía aplicar y no se evidencian paradojas en ella. -
Russell y Ernst Zermelo
Russell, proponía un orden jerárquico en los enunciados.
Ernst Zermelo, propuso una ultima teoría en contra de las paradojas, la automatización de la teoría de conjuntos. -
