¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: Lógica y Teoría de Conjuntos

Cargando...

Debes iniciar sesión para hacer esto.

Lógica y Teoría de Conjuntos

Lógica y Teoría de Conjuntos

Lógica y Teoría de Conjuntos

Puntuación: 7.50 | 4 votos
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:2011
Editor:Autoedición
Páginas:446 páginas
Idioma:español
Desde:09/12/2011
Tamaño:3.82 MB
Licencia:Pendiente de revisión

Contenido:

Esta obra contiene los resultados esenciales sobre la fundamentación de la matemática. Se divide en tres partes:

Lógica de primer orden: teorías axiomáticas, introducción a la teoría de modelos, el teorema de completitud de Gödel, introducción a la teoría de la recursión, los teoremas de incompletitud de Gödel.

La lógica de la teoría de conjuntos: las axiomáticas de Zermelo-Fraenkel y von Neumann-Bernays-Gödel, modelos de la teoría de conjuntos, la formalización de la lógica en la teoría de conjuntos.

Teoría de conjuntos: ordinales, inducción y recursión sobre relaciones bien fundadas, cardinales.

En la primera parte se incide en los problemas de fundamentación de la matemática, defendiendo en todo momento una postura finitista al estilo de Hilbert pero ampliada para reconocer la legitimidad de los razonamientos metamatemáticos en torno a colecciones numerables.

En la segunda parte se incide en la particularización de los resultados obtenidos en la primera parte al caso concreto de la teoría de conjuntos. Doy una prueba específica del segundo teorema de incompletitud.

La tercera parte está encaminada a estudiar la exponenciación cardinal. Se estudian las consecuencias de la hipótesis de los cardinales singulares, y en particular de la hipótesis del continuo generalizada.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categorías

en catálogo desde

09/12/2011

puntuación

15

votos

4

'LIKES' sociales

Nothing yet...

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...