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...

Descripción completa

Detalles Bibliográficos
Clasificación:QA248 F4.77
Autor principal: Fernández de Castro, Max (autor)
Otros Autores: Villegas Silva, Luis Miguel (autor)
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:
Set theory
Teoría de conjuntos
Mathematics > Philosophy
Matemáticas > Filosofía
Gödel's theore
Teorema de Gödel

MARC

LEADER 00000nam a2200000 i 4500
001 000150126
005 20240305151900.0
007 ta
008 131203m20132017mx a g z001 0 spa d
020 |a 9786074779752  |q (volumen 1) 
020 |a 9786072812109  |q (volumen 2) 
040 |a MX-MxUAM  |b spa  |e rda  |c MX-MxUAM 
041 0 |a spa 
050 4 |a QA248  |b F4.77 
090 |a QA248  |b F4.77 
100 1 |a Fernández de Castro, Max,  |e autor 
245 1 0 |a Teoría de conjuntos, lógica y temas afines /  |c Max Fernández de Castro, Luis Miguel Villegas Silva. 
250 |a Primera edición. 
264 1 |a México, D. F. :  |b Universidad Autonoma Metropolitana, Unidad Iztapalapa, División de Ciencias Sociales y Humanidades :  |b Universidad Autónoma Metropolitana, Unidad Iztapalapa, División de CIencias Básicas e Ingeniería,  |c 2013-2017. 
300 |a 2 volúmenes :  |b ilustraciones, gráficas en blanco y negro ;  |c 28 cm. 
336 |a texto  |b txt  |2 rdacontent 
337 |a sin medio  |b n  |2 rdamedia 
338 |a volumen  |b nc  |2 rdacarrier 
504 |a Incluye referencias bibliográficas : (páginas 651-657) e índice. 
505 2 0 |g volumen 1 (xix, 671 páginas).  |t Teoría de conjuntos, lógica y temas afines I. --  |g I.  |t Recursividad. --  |g II.  |t Teoremas de incompletud de Gödel. --  |g III.  |t Construcciones elementales en la teoría de modelos: Maitines. --  |g IV.  |t Teoría de modelos básica: Laudes. --  |g V.  |t Teoría de modelos avanzada: Prima. --  |g VI.  |t Teoría de modelos en módulos Kualkan. --  |g VII.  |t Teoría de modelos en módulos Tiotlak --  |g volumen 2 (xvii, 1065 páginas).  |g I.  |t Teoría de Zermelo-Fraenkel y el axioma de elección. --  |g II.  |t Aritmetización e incompletud de ZFE. --  |g III.  |t Grandes cardinales: los pequeños. --  |g IV.  |t Universo construible. --  |g V.  |t Admisibilidad, recursión y constructibilidad rudimentaria. --  |g VI.  |t Lenguajes infinitarios. --  |g VII.  |t Cardinales compacto débiles y similares. --  |g VIII.  |t Lógica modal proposicional desde una perspectiva semántica. --  |g IX.  |g Completud, incompletud y aplicaciones de los sistemas modales. 
520 2 |a 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. 
538 |a PUBUAMI 
650 0 |a Set theory 
650 4 |a Teoría de conjuntos 
650 0 |a Mathematics  |x Philosophy 
650 4 |a Matemáticas  |x Filosofía 
650 0 |a Gödel's theore 
650 4 |a Teorema de Gödel 
700 1 |a Villegas Silva, Luis Miguel,  |e autor 
905 |a LIBROS 
905 |a PUBUAMI 
938 |a Comunidad  |c CBI 
949 |a Biblioteca UAM Iztapalapa  |b Colección General  |c QA248 F4.77 

Ejemplares similares