Tratado de Las secciones cónicas: La hipérbola

Poincaré decía que el verdadero método para prever el futuro de las Matemáticas consistía en estudiar su pasado y su estado actual. Así, tras un prólogo que se pregunta hacia dónde se dirigen las Matemáticas, este libro presenta dos capítulos de Historia de las Matemáticas que muestran pistas sobre la proyección futura de la evolución del conocimiento matemático. Los dos capítulos siguientes (Geometría Algorítmica e Inteligencia Artificial) se dedican a ramas que aportan una visión actual, en relación con otras ciencias, y abren caminos de investigación donde las...

Se ha dedicado en este texto, mucha reflexión a la selección, organización y presentación de la materia, pensando en su exposición en el aula de clase; pero no se ha intentado ofrecer un libro a la medida de ningún programa ni exactamente ajustado a un calendario. Se deja al profesor cierto grado de libertad para que pueda elegir flexiblemente lo más adecuado a su clase.

Álgebra HAKE MATE tomos I y II presentan de forma efectiva el aprendizaje de esta rama fundamental de las matemáticas. En este texto, los temas y el orden en el que se abordan son como si el autor estuviera impartiendo una clase particular al lector.

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.