Raymond L. Wilder

Examina la evolución y la filosofía subyacente de la demostración matemática, desde la antigüedad hasta la era moderna, abordando cuestiones sobre la certeza, la intuición y el formalismo.

Este libro aborda la epistemología y la naturaleza de las matemáticas, discutiendo sus fundamentos lógicos, históricos y filosóficos, así como cuestiones sobre la consistencia y la completitud.

Ofrece una introducción exhaustiva a la lógica simbólica y los fundamentos de las matemáticas, abarcando desde la lógica proposicional hasta la teoría de conjuntos y los números transfinitos.

Un libro que explora los fundamentos de la teoría de conjuntos, el concepto de infinito y la hipótesis del continuo, presentando los desarrollos que surgieron mucho después de la matemática euclidiana.

Un libro que explora los fundamentos axiomáticos de la teoría de conjuntos y su importancia como base para toda la matemática moderna, incluyendo la topología.

Wilder explora la naturaleza de las matemáticas como cultura y actividad humana, y no solo como un conjunto de fórmulas. Examina la evolución de las ideas matemáticas y su impacto en la civilización.