Argumento de Lógica Matemática: Capítulos Complementarios
Encuadernación: Rústica.
Los autores, eminentes lógicos y matemáticos soviéticos, ejercieron una marcada influencia en el estilo y la dirección de las investigaciones en el campo de la deducción y la filosofía aritmética a nivel mundial.
El presente libro constituye el segundo tomo de la obra «Lógica matemática» (el primer tomo, "Introducción a la lógica matemática", también fue editado por nuestra editorial), en la que se da una exposición clásica de los conceptos y resultados fundamentales de la materia con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la disciplina.
En el primer capítulo del presente libro se estudia la teoría de conjuntos sobre la base del sistema axiomático de Zermelo---Fraenkel. El segundo capítulo es una introducción a la teoría de algoritmos (computabilidad según Turing, tesis de Church, conjuntos recursivos, conjuntos recursivamente enumerables). El tercer capítulo está dedicado a la teoría de la deducción (teorema de completitud del cálculo de predicados de G"odel, teorema de L"owenheim---Skolem, segundo teorema de G"odel) y concluye con el examen del programa de Hilbert de fundamentación de la disciplina numérica.0