Lógica

D. Mariano Mataix Lorda, desde 1.978, ha publicado esta extensísima colección de problemas clásicos de ingenio, curiosidades, biografías,... del mundo matemático. Sobre la colección Mataix; Los dos primeros libros, más breves, comprenden cincuenta enunciados y los demás, un centenar. Cada uno de ellos está numerado para referenciarlo en la segunda parte de cada libro, en donde aparecen las soluciones o comentarios adicionales. No ha sido el objetivo del autor establecer una clasificación temática ni una colección ordenada de los problemas, sino retar con cada enunciado al intento...

El quehacer del profesor Burno D'Amore en el campo de la Didáctica de la Matemática ha alcanzado niveles importantes de agudeza conceptual y pertinencia disciplinar. Su obra, traducida a varios idiomas y difundida bajo el cobijo de diferentes tradiciones de escuela, nos habla sin duda alguna, de un académico de nuestro tiempo y en esa medida, sus obras se unen al cúmulo de importantes contribuciones al campo y garantizan el futuro desarrollo de nuestra disciplina. Este libro representa una muy singular mirada sintética y contemporánea del quehacer profesional en este ámbito.

En esta nueva edición, de espíritu más moderno que la excelente primera, se puede repetir el elogio que se hizo anteriormente: su estilo preciso y riguroso, en un programa equilibrado pero suficientemente amplio, le da carácter de texto básico.

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.