Historia de la teoria de conjuntos

HISTORIA DE LA TEORIA DE LOS CONJUNTOS E HISTORIA DE LA TEORIA DE LAS PROPOSICIONES

FELIPE CABRERA Y JHON FLORES
PROFESOR:ING. LUIS BRAVO
PARALELO: N° 2
Fecha: 18/11/2013
HISTORIA DE LA TEORIA DE CONJUNTOS
La Historia de la teoría de conjuntos se remonta cuando Aristóteles le puso a la cabeza de su sistema filosófico como materia indispensable para cualquier otra ciencia.La LOGICA ARISTOTELICA O LOGICA MATEMATICA: Es la disciplina que trata de métodos de razonamiento en un nivel elemental la lógica proporciona reglas y técnicas para determinar si es o no es un valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas.
A partir de ahí aparecieron nuevoscientíficos que ayudaron en el transcurso de la historia de la lógica matemática comenzó con Georg Boole (1815-1864) en su Mathematical Analysis of Logic (Análisis lógico Matemático) trató de presentar la lógica como parte de las matemáticas. Poco después Gottlob Frege (1848-1925) intentó mostrar que la aritmética era parte de la lógica en su Die Grundlagen der Arithmetik (Fundamentos de laAritmética). Georg Cantor Pero, dando un gran paso tanto en la historia se había adelantado a Frege con una fundamentación lógica de la aritmética. Cantor había demostrado que la totalidad de los números naturales comprendidos en el intervalo de extremos 0 y 1 no es numerable, en el sentido de que su infinitud no es la de los números naturales. Como una consecuencia de esa situación, Cantor creó una nuevadisciplina matemática entre 1874 y 1897: la teoría de conjuntos. Su obra fue admirada y condenada simultáneamente por sus contemporáneos.
Desde entonces los debates en el seno de la teoría de conjuntos han sido siempre apasionados, sin duda por hallarse estrechamente conectados con importantes cuestiones lógicas.
Según la definición de conjunto de Cantor, éste es “una colección en un todo dedeterminados y distintos objetos de nuestra percepción o nuestro pensamiento, llamados los elementos del conjunto”. Frege fue uno de los admiradores de la nueva teoría de Cantor, y dio una definición de conjunto similar.
En 1903 B. Russell demostraría que la teoría de conjuntos de Cantor era inconsistente y cuestionaría la definición de conjunto en la teoría de Cantor. Pero pronto la teoríaaxiomática de Zermelo (1908) y refinamientos de ésta debidos a Fraenkel (1922), Skolem (1923), von Newman (1925) y otros sentaron las bases para la teoría de conjuntos actual. Es indiscutible el hecho de que la teoría de conjuntos es una parte de las matemáticas, es además, la teoría matemática dónde fundamentar la aritmética y el resto de teorías matemáticas.
Es también indiscutible que es una partede la lógica y en particular una parte de la lógica de predicados.
En esta historia cruzada de las matemáticas, la lógica y los fundamentos deambas, la teoría de conjuntos permitirían por un lado una fundación logicista de las matemáticas; pero por otro lado la teoría de conjuntos mirada como parte de las matemáticas proporciona el metalenguaje, el contexto o sustrato
de las teorías lógicas.Finalmente, puede ser completamente expresada en un lenguaje de primer orden y sus axiomas y teoremas constituyen una teoría de primer orden a la que pueden aplicarse los resultados generales que se aplicana cualquier teoría de primer orden.
En los capítulos que siguen se presenta primero la teoría intuitiva de conjuntos, basada en la original de Cantor, para seguir con sus problemas deinconsistencia y la solución axiomática final como la teoría de conjuntos de Zermelo-Fraenkel.

HISTORIA DE LA TEORIA DE LAS PROPOSICIONES
Los primeros estoicos (Zenón y Cleantes) no fueron lógicos creativos, fue Crisipo el que recogió las ideas de los megáricos Diodoro Cronos y su excepcionalmente dotado discípulo Filón de Megara, y las hizo fructificar. El problema surge porque de Crisipo, que era...