Lógica matemática clásica Los fundamentos semánticos de la lógica

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Classical Mathematical Logic: The Semantic Foundations of Logic

Contenido del libro:

En Lógica matemática clásica, Richard L. Epstein relaciona los sistemas de lógica matemática con sus motivaciones originales para formalizar el razonamiento en matemáticas. El libro también muestra cómo puede utilizarse la lógica matemática para formalizar sistemas particulares de las matemáticas. Expone la formalización no sólo de la aritmética, sino también de la teoría de grupos, la teoría de campos y los ordenamientos lineales. Todo ello conduce a la formalización de los números reales y la geometría del plano euclidiano. Estas formalizaciones ponen de manifiesto el alcance y las limitaciones de la lógica moderna.

El libro proporciona explicaciones detalladas de todas las pruebas y de las ideas que las sustentan, así como ejemplos y problemas detallados y no triviales. El libro contiene más de 550 ejercicios. Puede utilizarse en cursos avanzados de licenciatura o posgrado, así como para el autoaprendizaje y la consulta.

Lógica Matemática Clásica presenta un tratamiento unificado de un material que hasta ahora sólo estaba disponible consultando muchos libros y artículos de investigación diferentes, escritos con diversos sistemas de notación y axiomatizaciones.