Teoría de conjuntos, lógica y temas afines /
El libro provee un tratamiento accesible, a la vez que riguroso, de varios temas de lógica matemática intermedia y avanzada. Este primer volumen contiene la teoría clásica de modelos y sus aplicaciones –privilegiando el álgebra– los teoremas de incompletitud de Gôdel y extensiones mediante la lógica...
Clasificación: | QA248 F4.77 |
---|---|
Autor principal: | |
Otros Autores: | |
Formato: | Libro |
Idioma: | Español |
Publicado: |
México, D. F. :
Universidad Autonoma Metropolitana, Unidad Iztapalapa, División de Ciencias Sociales y Humanidades : Universidad Autónoma Metropolitana, Unidad Iztapalapa, División de CIencias Básicas e Ingeniería,
2013-2017.
|
Edición: | Primera edición. |
Temas: |
Sumario: | El libro provee un tratamiento accesible, a la vez que riguroso, de varios temas de lógica matemática intermedia y avanzada. Este primer volumen contiene la teoría clásica de modelos y sus aplicaciones –privilegiando el álgebra– los teoremas de incompletitud de Gôdel y extensiones mediante la lógica modal. En el segundo volumen de Tecolote se estudian en detalle algunos grandes cardinales, el universo construible de Gödel, así como los conjuntos admisibles y primitivo recursivo cerrados. Se pone especial énfasis en estudiar aquellos grandes cardinales que pueden vivir en L. Con este material a la mano consideramos una extensión de la lógica de primer orden: las lógicas infinitarias. Después se revisa la lógica modal proposicional mediante modelos de Kripke y la definición de verdad. Posteriormente se investigan sistemas modales para tratar diversos condicionales. El libro incluye numerosos ejercicios, y algunos problemas abiertos. Ciertos ejercicios pueden servir como el inicio de una tesis de posgrado. |
---|---|
Descripción Física: | 2 volúmenes : ilustraciones, gráficas en blanco y negro ; 28 cm. |
Bibliografía: | Incluye referencias bibliográficas : (páginas 651-657) e índice. |
ISBN: | 9786074779752 9786072812109 |