Las matemáticas en España durante el siglo XVIII a través de los libros y sus autores

Una gran variedad de disciplinas, incluso algunas de las que tradicionalmente se han mantenido apartadas de este campo, está buscando la respuesta a ciertas preguntas en el conocimiento del funcionamiento del sistema nervioso. En consonancia con este fenómeno, tanto en las aulas universitarias como en el campo investigador, ha ido creciendo la necesidad de hallar respuesta a toda suerte de cuestiones conceptuales en torno a dicha materia. Éste es el motivo que ha conducido a Francisco Mora y Ana M.a Sanguinetti a reunir, en un solo libro, términos y conceptos necesarios para el estudio...

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...

Este texto trata del desarrollo de fórmulas algebraicas que permiten localizar directamente las coordenadas de algunos puntos notables de un triángulo, como el incentro, el gravicentro, el ortocentro, el circuncentro, el punto de Nagel y el punto de Spieker, en función de la longitud de sus lados o de las coordenadas cartesianas de sus vértices. De igual manera, se refiere al desarrollo de las fórmulas algebraicas que permiten ubicar directamente las coordenadas de los puntos extremos de los escintores de un triángulo, a saber, mescintor (cleaver), vescintor (splitter) y escintriz...

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.