What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Lógica y Teoría de Conjuntos

Loading...

You must sign in to do that.

Forgot password?

Lógica y Teoría de Conjuntos

Lógica y Teoría de Conjuntos

Lógica y Teoría de Conjuntos

Score: 7.50 | 4 votes
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2011
Publisher:Autoedición
Pages:446 pages
Language:spanish
Since:09/12/2011
Size:3.82 MB
License:Pending review

Content:

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.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

rank in categories

online since

09/12/2011

rate score

15

votes

4

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...