Razonamiento cuantitativo

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.

La matemática de los dioses y los algoritmos de los hombres es una prodigiosa síntesis científica y humanística que amplía la estela del imprescindible Breve historia del infinito. ¿Qué clase de identidad ha de atribuirse a los números? ¿Son entes reales o bien un invento con el que nuestra mente comprueba la existencia de algo que hay en el mundo? Dos preguntas capitales a las que los matemáticos tratan de dar respuesta desde hace siglos. Con admirable transparencia, Zellini examina estos interrogantes que ;como aquellos sobre la identidad de las cosas sujetas a metamorfosis o...

En cierto modo podríamos decir que éste es un libro de Matemáticas compartidas, por varías razones. En primer lugar, creemos que presenta bastantes ejemplos de hechos matemáticos cuyo interés pueden compartir como juego los mayores y los niños. Esto es de por sí un hecho social positivo, pero, además, en lo que hace a la enseñanza, los recursos lúdicos y notas históricas, compartidos entre maestros y alumnos, resultan a veces inmejorable medio de orientar el interés o aliviar la tensión de la clase de Matemáticas.

Colección de artículos de especialistas matemáticos relacionados con las propuestas del gran matemago Martin Gardner. Cuando hace unos años pedimos a algunos compañeros participar en un libro dedicado a Martin Gardner, ninguno declinó la invitación. Los que nos dedicamos a la matemática recreativa nos hemos iniciado con sus escritos y aún hoy seguimos bebiendo de esa fuente que es Gardner. Decidimos, en su día, hacer dos volúmenes con las contribuciones recibidas y en tus manos tienes el segundo: Gardner para aficionados. El anterior, Gardner para principiantes, publicado en 2014...