Este libro fue ideado como un primer curso de lógica matemática, escrito sobre la base de las lecciones impartidas por los autores como parte del curso (de un semestre) de lógica matemática que se ofrece a los estudiantes del primer curso de la Facultad de Mecánica y Matemática de la Universidad Lomonósov de Moscú. El objetivo de los autores es dar a conocer al lector los conceptos fundamentales de la lógica matemática, los cuales son de importancia para los matemáticos de todas las especialidades. Una gran atención se dedica al uso correcto de las notaciones exactas utilizadas en la lógica matemática para la escritura de las afirmaciones matemáticas, así como a las leyes lógicas, los fundamentos de la teoría de conjuntos y la teoría de algoritmos. El presente libro contiene tres capítulos y forma la primera parte del curso escrito por los autores. El primer capítulo constituye por sí mismo un curso inicial mínimo de lógica matemática; al final del libro se presentan dos anexos relacionados con diferentes aplicaciones prácticas del material del primer capítulo (códigos con corrección de errores y esquemas de contacto). En el segundo capítulo se analiza la semántica de los lenguajes lógicoÍmatemáticos desde un punto de vista más específico. El tercer capítulo está dedicado a la deducibilidad deducibilidad en la lógica de predicados y a las teorías de primer orden. Aquí se discuten algunos resultados importantes de la lógica matemática. Las demostraciones correspondientes se darán en la segunda parte del curso (véase), donde se estudian los principios de la teoría de conjuntos y la teoría de algoritmos, el teorema de completitud de Gödel en el cálculo de predicados, y se examina el programa de Hilbert de fundamentación de la matemática. El estudio del curso de lógica matemática supone la resolución de ejercicios y problemas en las clases prácticas. Para esto se recomienda utilizar el libro de problemas. Todos los problemas mostrados en el texto son fáciles y no pueden sustituir los problemas del libro recomendado. En el libro se utilizan las siguientes notaciones. El símbolo $..$ indica el inicio de una demostración, mientras que el símbolo $\pp$ denota su final. Los signos $\bydef$, $\Rightarrow$, $\Leftrightarrow$ sustituyen las frases "por definición", "si..., entonces", "si y sólo si", respectivamente. Las secciones y subsecciones marcadas con un asterisco ($\star$) pueden ser omitidas durante una primera lectura. En este libro hemos tratado de adoptar un método "concéntrico" de exposición, es decir, los temas más importantes se discuten en varias oportunidades durante el proceso de enseñanza, y van adquiriendo paulatinamente una claridad completa. En la segunda parte del curso (véase) la mayor atención se dedica a los resultados fundamentales de la lógica matemática, se regresa al estudio del concepto de conjunto, pero esta vez sobre la base de la teoría axiomática formal teoría axiomática formal de Zermelo–Fraenkel. De esta manera, con ayuda de esta obra, el lector que no es especialista en lógica obtendrá una idea precisa sobre los resultados clásicos de la lógica, a la vez que el futuro especialista en esta rama de la matemática recibirá la preparación necesaria para el estudio de libros de texto más detallados.
![]() Eminente matemático soviético, miembro de la Academia de Ciencias de la Unión Soviética. Nació el 25 de abril de 1903 en la ciudad de Tambov (Rusia). En 1925 concluyó sus estudios en la Primera Universidad de Moscú (célebre institución que, posteriormente, se convertiría en la actual Universidad Estatal «M. V. Lomonósov» de Moscú), donde trabajó como profesor desde 1931. Ejerció el cargo de jefe de varios departamentos y decano de la Facultad de Mecánica y Matemática de esta universidad. Autor de numerosos trabajos considerados clásicos en la teoría de funciones de variable real, teoría de conjuntos, topología, lógica constructiva, análisis funcional, mecánica teórica, teoría de algoritmos, teoría de la información, etcétera. Los resultados logrados por Kolmogórov en la teoría de probabilidades tienen carácter fundamental. Es bien conocida su actividad relacionada con la metodología y la organización de la enseñanza de la matemática. Ocupó el cargo de presidente de la Sociedad Matemática de Moscú. Doctor honoris causa de numerosas universidades extranjeras, miembro de diferentes academias y sociedades científicas, galardonado con premios internacionales y órdenes estatales.
![]() Destacado representante de la escuela soviética de constructivismo matemático. Nació el 10 de abril de 1941 en la isla Morzhebiets (Región de Arjánguelsk, Rusia). Estudió en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú, donde trabajó desde 1966. Desde 1983 vivió en Hungría. Dirigió el Departamento de Matemática de Cálculo de la Universidad «L. Kossuth» de la ciudad de Debrecen. La Academia de Ciencias de Hungría le otorgó el título de Doctor en Ciencias en 1988. Autor de trabajos fundamentales sobre los fundamentos de la teoría de modelos y la teoría de la demostración en la lógica intuicionista, y sobre los métodos constructivos en el análisis no estándar.
|