Descripción
Se ha insistido mucho a lo largo del texto en la importancia del problema de traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicios.
La Lógica Matemática se ha convertido en una materia no sólo profunda,sino de gran amplitud y aplicación a otras Ciencias. Sólo desde hace algunos años se han establecido relaciones sistemáticas entre la Lógica y la Matemática, formulándose una teoría de inferencia completamente explícita que se adecua a todos los ejemplos lógicos del razonamiento deductivo en Matemáticas y a las Ciencias empíricas. En la mente de todos los matemáticos modernos está el concepto de axioma y la deducción de teoremas a partir de axiomas.
¿Qué piensas de este libro?
20 comentarios