Reflexiones sobre el pasado, presente y futuro de las matemáticas

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.

“Nadie nos expulsará del paraíso que Cantor ha creado para nosotros”. Con esta frase defendía David Hilbert a George Cantor, ante la infinidad de ataques que recibía por su teoría sobre los números transfinitos. Con ellos se iniciaba una sucesión de cuestiones que despertaban la imaginación y la creatividad, fue único entre todos. Sus teorías tocaban la concepción de lo inalcanzable, incluso especulaban con la existencia y con el más profundo arraigo a lo humano y a lo divino. Este libro está dedicado a mis alumnos y alumnas, porque despiertan en mí el deseo de invertir el...

Los alumnos no suelen tener la oportunidad de experimentar por sí mismos el lado creativo de las matemáticas. Uno de los objetivos de las actividades de este libro es transformar el concepto de "resuelto", pasar de verlo como algo acabado a observarlo como una oportunidad para continuar explorando y esforzándose de forma creativa. Esta obra plantea también que en nuestra vida diaria muchas veces se nos presentan problemas abiertos o mal definidos ante los cuales nos vemos obligados a pensar de forma clara y creativa, a cambiar de perspectiva; o sea, a pensar como un matemático. Por eso...