-
400 BCE
SIGLO IV a.c
En el sentido mas general de palabra, el estudio de la lógica se remonta cuando Aristóteles le puso a la cabeza de su sistema filosófica como materia indispensable para cualquier otra ciencia. -
Period: 400 BCE to
TEORÍA DE CONJUNTOS
Se muestra la evolución de la teoría de conjuntos a lo largo de la historia. -
1585 Galileo y Newton
A partir de aquí la física clásica fue sustituida por la nueva física de Galileo y Newton, la lógica simplemente fue ignorada. Se mantuvo pero en manos de los filósofos y en parte de los matemáticos con inclinaciones filosóficas, aunque sin jugar ningún papel relevante en el desarrollo de las ciencias. Leibniz le dio cierto impulso, pero sin abandonar una postura conservadora. -
Etapas en el descubrimiento de la teoría de conjuntos de cantor
La definición general que propone Cantor ya en 1833 es la siguiente:
Bajo la denominación de variedad o de conjunto, entiendo en general la multiplicidad que puede ser considerada como unidad, esto es toda colección de elementos determinados que pueden ser juntados en un todo por medio de una ley. -
George Boole
Georg Boole en su Mathematical Analysis of Logic trató de presentar la lógica como parte de las matemáticas. -
Gottlob Frege
Gottlob Frege intentó mostrar que la aritmética era parte de la lógica en su Die Grundlagen der Arithmetik -
Cantor creó una nueva disciplina matemática: la teoría de conjuntos
Su obra fue admirada y condenada simultáneamente por sus contemporáneos. Según la definición de conjunto de Cantor, éste es “una colección en un todo de determinados y distintos objetos de nuestra percepción o nuestro pensamiento, llamados los elementos del conjunto”. -
B. Russell. TEORÍA DE TIPOS
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.
Una solución radical al problema de las paradojas es la propuesta por Russell, en su Teoría de Tipos. -
ZERMELO
Zermelo da como solución la definición axiomática de la Teoría de Conjuntos, refinada más tarde por Fraenkel, Skolem, von Neumann y otros. -
Skolem, Von Newman
Skolem, Von Newman y otros sentaron las bases para la teoría de conjuntos actual. -
HILBERT YGOLDEN
Hilbert fue el primero en concebir la posibilidad de reducir la totalidad de la matemática a una teoría axiomática formal, idea extremadamente fructífera y poderosa
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. -
¿LÓGICA O CURIOSIDAD?
La lógica era poco más que una curiosidad que interesaba a quienes sentían alguna inquietud por la filosofía de la matemática o del pensamiento en general. -
EL FIN DE LAS CONTRADICCIONES
Las contradicciones que achacaban a la matemática fueron desterradas estipulando unos axiomas y unas reglas de razonamiento lógico cuidadosamente seleccionadas para este fin.
