Al igual que Skolem, Tarski profundiza en la teoría de modelos, analizando fundamentos que sustentan la lógica matemática y la definibilidad.
Lógica Matemática y el Teorema de Löwenheim-Skolem
por Thoralf Skolem · 1920
Ver sugerenciasSinopsis
Publicación clave que aborda el teorema de Löwenheim-Skolem, una de las piedras angulares de la teoría de modelos, demostrando la existencia de modelos contables para teorías con modelos infinitos.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Gödel aborda temas relacionados con la lógica matemática y, al igual que Skolem, destaca la importancia de la completitud en el cálculo de predicados.
En sus ensayos, Gödel también explora la lógica y sus fundamentos, conectando ideas con el impacto histórico de conceptos como el de Löwenheim-Skolem.
Hilbert y Ackermann establecen un marco formal en la lógica, similar al enfoque de Skolem sobre los sistemas y modelos en la lógica matemática.
La reseña de Gödel sobre Carnap examina limitaciones en la lógica, reflejando la preocupación de Skolem por la estructura de teorías matemáticas complejas.
Smullyan presenta la teoría de modelos de manera accesible y explora el teorema de Löwenheim-Skolem, vinculándose directamente con el trabajo de Skolem.