Sistemas formales, informamente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?

Descripción

Descripción: Ref. F55235. 16×21. 130 Pág. Ilustr. en b/n. Ciencia. 10-D Ciencia 0 27
ISBN: 9706251057
Autor: Gómez, Pedro/ Gómez, Cristina
Editorial: Iberoamérica
Año de publicación: 1995
Encuadernación: Paperback
En el libro «Sistemas formales, informante. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?» los autores Pedro y Cristina Gómez exploran el fascinante mundo de los sistemas formales en matemáticas y la razón detrás de su intento de formalización. A lo largo de sus páginas, los lectores serán llevados a un viaje que explora la relación entre la matemática, la formalización y la naturaleza intrínseca de los sistemas formales.

A través de una narrativa clara y accesible, los autores presentan conceptos complejos de una manera didáctica y amena, permitiendo a los lectores comprender la importancia de la formalización en el desarrollo de la matemática y la lógica. Desde los postulados de la lógica formal hasta la paradoja de Gödel, los lectores encontrarán una amplia gama de temas que desafiarán su comprensión del mundo matemático.

Además, los autores plantean la pregunta provocativa de por qué se intentó formalizar a la matemática si esta era considerada una «buena muchacha», sugiriendo que quizás la formalización no era necesaria o incluso contraproducente en algunos aspectos. Esta reflexión invita a los lectores a cuestionar sus propias creencias sobre la naturaleza de la matemática y su relación con los sistemas formales.

En resumen, «Sistemas formales, informante. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?» es una obra imprescindible para aquellos interesados en explorar las complejidades de la matemática y la lógica, presentando una perspectiva fresca y provocativa sobre un tema fundamental en el mundo académico.