PROGRAMA DE FUNDAMENTOS DE LA MATEMTICA

Eje Temtico N 1
Teora de los Conjuntos
Conjuntos finitos e infinitos.
El nmero natural segn Frege y Russell. El nmero natural segn
Cantor. Conjuntos numerables y no numerables.
El continuo. Hiptesis del continuo. Relacin de orden para los
cardinales. Conjuntos bien ordenados. Nmeros ordinales. El tipo de
orden omega.
Lgica cuantificacional superior. Otras lgicas
La ampliacin del lenguaje lgico.
Las paradojas lgicas.
Teora intencional y extensional de los tipos.
Las limitaciones de la lgica. Lgica difusa.
Semitica. Metalgica
El fenmeno del lenguaje: sintaxis, semntica y pragmtica.
Principales resultados en sintaxis. El teorema de Gdel.
El concepto de la designacin.
Los conceptos de validez y verdad.
Principales resultados de la semntica.
El concepto de significacin.
Principales resultados de la pragmtica.

Eje Temtico N 2

La definicin
Connotacin, sentido y significado.
Para qu se define.
Los indefinibles y los primitivos.
Estructura de las definiciones. Clasificacin.
Definiciones usuales en matemtica.
Hacia el mtodo deductivo. Mtodo axiomtico. Quinto postulado
de Euclides
Caractersticas del conocimiento prehelnico.
Aparicin del mtodo deductivo. La primera crisis de los
fundamentos: Pitgoras.
Las argumentaciones de Zenn. Las soluciones de Eudoxio. La
primera metateora: Aristteles. Caractersticas de la ciencia
demostrativa segn Aristteles.
Los elementos de Euclides como paradigma del mtodo axiomtico.
Los problemas del quinto postulado. Los comentarios de Proclo.
Intentos de demostracin. Los trabajos de Saccheri y Lambert.
Nacimiento de las geometras no euclidianas. Gauss, Bolyai,
Lobachevski. La geometra de Riemann.
Independencia del quinto postulado. Klein, Poincar, Beltrami.

1
F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017
 Eje Temtico N 3

De la axiomtica intuitiva al sistema formal puro

Consecuencias de las geometras no euclidianas.
Los problemas del anlisis matemtico.
Los problemas del infinito.
Reformulacin de las caractersticas del mtodo axiomtico.
El mtodo formal de Hilbert.
Caractersticas de los sistemas axiomticos
Propiedades de los sistemas. Conjuntos de axiomas.
Compatibilidad: interpretacin, modelo.
Independencia de los axiomas.
Completitud y categoricidad.
Sistemas axiomticos equivalentes.

Eje Temtico N 4

Principales corrientes del pensamiento matemtico

La explicacin logicista de la matemtica. La fusin logicista de los
conceptos empricos y no empricos. La teora logicista de la infinitud
matemtica. La explicacin logicista de la geometra.
La explicacin formalista de las matemticas pura y aplicada. El
concepto de infinitud real formalista. La concepcin formalista de la
lgica bivalente ortodoxa.
Las construcciones intuitivas. La concepcin intuicionista del infinito.
Los mtodos de Brower.

BIBLIOGRAFA

Del Alumno:

HAMILTON, A: (1982) Lgica para matemticos. Ed. Paraninfo. Madrid. Espaa.

KELLEY, John: (1975) Topologa General, 2 Edicin. EUDEBA, Argentina
DOU, Alberto: (1974) Fundamentos de la matemtica. 2 Edicin. Editorial Labor
S.A. Mxico.
MOSTERIN, Jess: (1980) Teora axiomtica de conjuntos. Editorial Ariel
TREJO, Csar A.: (1972) Matemtica Elemental Moderna. Estructura y mtodo, 3era
edicin, EUDEBA, Argentina.

2
F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017