Profesor | Galo David Ruiz Soto | lu | 18 a 20 | 102 (Nuevo Edificio) |
ma | 18 a 19 | 102 (Nuevo Edificio) | ||
Ayudante | Norma Diez Marina Robles | mi | 18 a 20 | 102 (Nuevo Edificio) |
SEMINARIO DE FILOSOFIA DE LAS MATEMATICAS
FUNDAMENTOS DE LAS MATEMATICAS
TEMA 1
HISTORIA DEL INFINITO
Se revisarán conceptos importantes relacionados con el infinito y se pondrá especial atención al debate del infinito potencial contra el infinito actual, discutiendo su relevancia para los conjuntos transfinitos. Revisaremos algunos problemas que históricamente ayudaron a la adopción del infinito actual.
TEMA 2
EL SURGIMIENTO DE LA TEORIA DE CONJUNTOS
Hacia finales del siglo XIX, Georg Cantor crea la Teoría de Conjuntos. Esta teoría se revela como base fundamental de las matemáticas. Se dan entonces las bases para el desarrollo posterior de las investigaciones tendientes a revisar los fundamentos de las matemáticas.
TEMA 3
LOGICISMO
Bertrand Russell es el principal expositor de las paradojas de la Teoría de Conjuntos, creando asi expectativas de diversos tipos en torno a los fundamentos de las matemáticas. Desarrolla su teoría donde se hace explícito que las matemáticas son una reducción de la lógica. Sin embargo, esta teoría demuestra tener fallas.
TEMA 4
INTUICIONISMO
El Intuicionismo de Brower surge también como una posible teoría para fundamentar las matemáticas. Esta teoría aplica métodos finitistas y contiene una ontología difícil de desechar. Además, este tipo de matemáticas es todavía vigente. No obstante, no tiene extensiones a otras ciencias, en parte debido al Axioma de Elección.
TEMA 5
FORMALISMO
David Hilbert consideraba al lenguaje matemático como una sucesión de símbolos sin significado alguno, considerando así la sintáxis como algo superior a la semántica. Es así que el problema del lenguaje se torna una cuestión fundamental para las matemáticas.
TEMA 6
LOS FUNDAMENTOS DE LAS MATEMATICAS
En la revista Erkenntnis, creación del Círculo de Viena, se debaten los temas concernientes a los fundamentos de las matemáticas. Este grupo de corte filosófico es defensor del logicismo, pero sobre todo defiende la idea de una ciencia unificada.
BIBLIOGRAFIA BASICA
Benacerraf, P. & H. Putnam (eds.) “Philosphy of Mathematics”
Cantor, G. “The Foundations of the Theory of Transfinite Numbers”
Gödel, K. “Obras Completas”
Grattan-Guinness, I. “Del Cálculo a la Teoría de Conjuntos”
Hilbert, D. “Fundamentos de las Matemáticas”
Mady, P. “Realism in mathematics”
Ramírez, S. (ed.) “Mexican studies in the History and Philosphy of Science”
Rodrígues Consuegra, F. “The Mathematical Philosophy of Bertrand Russell: Origins and Development”
Russell, B. “Introducción a la Filosofía de las Matemáticas”
Van Heijenoort, J. (ed.) “From Frege to Gödel: A Source Book in Mathematical Logic”