Lógica Matemática: Ejercicios Y Soluciones (Libros De Problemas De Matemáticas) - 9783030790127

Este libro reúne un colorido conjunto de problemas sobre lógica matemática clásica, seleccionados entre más de 30 años de enseñanza. Los capítulos iniciales comienzan con problemas de campos de apoyo, como la teoría de conjuntos (construcciones de ultrafiltros), la teoría de juegos con información completa (estrategias), los autómatas y la teoría de la recursividad (decidibilidad, teoremas de Kleenes). Luego, el trabajo avanza hacia la lógica proposicional (compactitud y completitud, método de resolución), seguida de la lógica de primer orden, incluida la eliminación de cuantificadores y el juego de Ehrenfeucht Fraisse; ultraproductos; y ejemplos de axiomatizabilidad y no axiomatizabilidad. La parte de Aritmética cubre la teoría de Robinson, el sistema de axiomas de Peano y los teoremas de incompletitud de Gödel. Finalmente, el libro aborda las gráficas universales, los torneos y la ley cero-uno en lógica matemática. Los profesores que enseñan lógica matemática, así como los estudiantes que quieran comprender sus conceptos y métodos, pueden beneficiarse enormemente de este trabajo. El estilo y los temas se han elegido especialmente para que los lectores interesados ​​en el contenido y la metodología matemáticos puedan seguir los problemas y demostrar ellos mismos los teoremas principales, incluidos los famosos teoremas de completitud e incompletitud de Gödel. Ejemplos de aplicaciones sobre axiomatizabilidad y decidibilidad de numerosas teorías matemáticas enriquecen este volumen.

• | Autor: László Csirmaz, Zalán Gyenis
• | Editorial: Springer
• | Fecha de publicación: 16 de marzo de 2023
• | Número de páginas: 327 páginas
• | Idioma: inglés
• | Encuadernación: Tapa blanda
• | ISBN-10: 3030790126
• | ISBN-13: 9783030790127