Gödel ∀ (para todos) /
Primera Parte : Cap. 1 : Un panorama general -- Cap. 2 : Hilbert y el problema de los fundamentos -- Cap. 3 : El lenguaje para la aritmética y la definición de verdad -- Cap. 4 : El teorema de Gödel fuera de la matemática -- Segunda parte : La demostración de los teoremas -- Cap. 5 : La versión semántica del teorema de incompletitud -- Cap. 6 : La versión general (sintáctica) del teorema de incompletitud. El teorema de consistencia -- Cap. 7 : Hay una concatenación expresable en la aritmética -- Cap. 8 : Toda propiedad recursiva es expresable con la concatenación -- Tercera parte : Incompletitud en un contexto general y abstracto -- Cap. 9 : Incompletitud en un contexto general y abstracto
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | spa |
Published: |
Buenos Aires : Seix Barral,
2009
|
Subjects: | Gödel, Kurt, 1906-1978 (Gödel, Kurt Friedrich), LOGICA, TEOREMA DE GÖDEL, |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | Primera Parte : Cap. 1 : Un panorama general -- Cap. 2 : Hilbert y el problema de los fundamentos -- Cap. 3 : El lenguaje para la aritmética y la definición de verdad -- Cap. 4 : El teorema de Gödel fuera de la matemática -- Segunda parte : La demostración de los teoremas -- Cap. 5 : La versión semántica del teorema de incompletitud -- Cap. 6 : La versión general (sintáctica) del teorema de incompletitud. El teorema de consistencia -- Cap. 7 : Hay una concatenación expresable en la aritmética -- Cap. 8 : Toda propiedad recursiva es expresable con la concatenación -- Tercera parte : Incompletitud en un contexto general y abstracto -- Cap. 9 : Incompletitud en un contexto general y abstracto |
---|