MUERE EL NÚMERO PI CLÁSICO

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.

Este es un libro que al experto no se le cae de las manos; pero lo más sorprendente es que el estudiante pronto se da cuenta de que se trata de un texto escrito para él y para su provecho.

La tercera edición del libro Calculus de M. Spivak (correspondiente a la traducción de la cuarta edición original) viene a actualizar uno de los libros de cálculo más prestigiosos e influyentes publicados durante las últimas décadas. En esta edición, el autor mantiene intacto el principal objetivo del libro, que no es otro que presentar el cálculo como la evolución de una idea que ayude a desarrollar la intuición del estudiante para la comprensión de los conceptos del análisis y convencerle de que la precisión y el rigor representan la manera natural de formular y pensar sobre...

Entre los libros de divulgación de las matemáticas hay unos pocos que, tomando como centro algún teorema relevante y complejo, dedican el texto completo a explicar su historia, presentar temas vecinos e incluso acercar una idea de la demostración. Tal es el caso de Matemáticas de colores, cuyo tema central es el Teorema de los cuatro colores: para colorear un mapa plano —con colores distintos en zonas adyacentes-— bastarán siempre cuatro colores. Se trata de un resultado famoso en Teoría Combinatoria, que tardó un siglo en ser demostrado. El texto, dirigido a alumnos...