Fundamentos prácticos de las matemáticas

Opiniones de los lectores

El libro es un intento de presentar una amplia panorámica de los fundamentos matemáticos contemporáneos y su aplicabilidad a las matemáticas y la informática. Mientras que muchos críticos lo encuentran perspicaz y ameno en su exposición, otros critican su presentación confusa, su falta de detalle y su desviación de los temas prometidos.

El libro motiva y conecta conceptos entre disciplinas, proporcionando una exposición amena y perspicaz. Abarca temas esenciales de matemáticas, filosofía, lógica e informática teórica, por lo que es adecuado para los versados en estas materias.

La exposición es confusa, con muchas proposiciones presentadas sin pruebas, y algunas pruebas se consideran erróneas. Algunos críticos consideran que la redacción es discordante, ya que carece de una base adecuada y de una organización clara, lo que provoca que se desvíe hacia ideas tangenciales.

(basado en 4 opiniones de lectores)

Título original:

Practical Foundations of Mathematics

Contenido del libro:

Fundamentos Prácticos de las Matemáticas explica las bases del razonamiento matemático tanto en la matemática pura propiamente dicha (álgebra y topología en particular) como en la informática. Además de la lógica formal, este volumen examina la relación entre los lenguajes informáticos y las demostraciones matemáticas en "lenguaje llano".

El libro introduce al lector en la matemática discreta, el razonamiento y la lógica categórica. Ofrece un nuevo enfoque de las álgebras de términos, la inducción y la recursividad, y demuestra en detalle la equivalencia de tipos y categorías.

Cada idea se ilustra con ejemplos de amplio alcance y se sigue críticamente a lo largo de su camino natural, trascendiendo las fronteras disciplinarias a través del álgebra universal, la teoría de tipos, la teoría de categorías, la teoría de conjuntos, la teoría de gavillas, la topología y la programación. Estudiantes y profesores de informática, matemáticas y filosofía encontrarán este libro ameno y de gran valor como obra de referencia.