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

Bibliographic Details

Main Authors:	Martínez, Guillermo, 1962- (Martínez, Néstor Guillermo) 73096, Piñeiro, Gustavo Ernesto, 1966- 73098
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!