Matemática discreta

El comunicador de matemática más premiado del mundo nos enseña cómo esta ciencia nos ayuda a resolver, con inteligencia y creatividad, los problemas de la vida cotidiana.

La lógica, originalmente, es la ciencia formal que estudia las leyes necesarias para la construcción de un razonamiento perfecto. Hoy en día su campo de estudio es mucho más amplio, ya que abarca la ciencia de la computación matemática. Pero primero vamos a tratar la cuestión del razonamiento. Cuando hablamos de razonamiento, debemos tener muy claro que cualquier lógica psicológica son consideraciones irrelevantes sobre el acto de razonar. Lo que importa es la forma del razonamiento. En este libro podrá aprender todo lo necesario para comprender los distintos razonamientos y la...

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 extraordinario que consigue el prodigio de hacer no sólo comprensibles, sino incluso apasionantes las matemáticas avanzadas, incluyendo sus descubrimientos más recientes, como la demostración final del último teorema de Fermat, las nuevas aportaciones a la teoría de nudos, el teorema de los cuatro colores, los modelos del caos, los fractales y «la dimensión dos y medio» o la cuadratura del círculo, un supuesto imposible que los matemáticos actuales han conseguido resolver.