Lógica

The solution for the problems presented in this book are solved with algebra, analytic geometry, differential and integral calculus geometry, MATLAB and vector analysis.

Publicado por la Universidad de Zaragoza y el Instituto de Estudios Altoaragoneses, este libro recoge las colaboraciones presentadas al X Simposio de la Sociedad Española de Investigación en Educación Matemática (SEIEM), que se celebra en Huesca del 6 al 9 de septiembre de 2006. Dos son los seminarios de investigación en los que se centra esta décima edición, ambos de especial relevancia y actualidad: de una parte, la investigación en análisis didáctico, como metodología de investigación, como herramienta de formación del profesorado en los diferentes niveles educativos o como...

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.