El teorema de Godel/ Ernest Nagel y James R. Newman ; traducción de Adolfo Martín.
Material type: TextSeries: Publisher: Madrid : Tecnos, 2007Edition: 4edDescription: 140 paginasISBN: 9788430946143Subject(s): Géodel, Teorema de | Lógica simbólica y matemáticaDDC classification: 511.3Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros/ General | Biblioteca Central Euclides Jaramillo Arango GENERAL | Papel | 511.3 N147 4a. ed. (Browse shelf) | Ej. 1 | Available | 056248 | |
Libros/ General | Biblioteca Central Euclides Jaramillo Arango GENERAL | Papel | 511.3 N147 4ed. (Browse shelf) | Ej. 2 | Available | 056267 | |
Libros/ General | Biblioteca Central Euclides Jaramillo Arango GENERAL | Papel | 511.3 N147 4ed. (Browse shelf) | Ej. 3 | Available | 056249 |
Browsing Biblioteca Central Euclides Jaramillo Arango shelves, Shelving location: GENERAL, Collection: Papel Close shelf browser
Bibliografía.
Introducción 2. El problema de la consistencía 3. pruebas absolutas de consistencía 4. La codificación sistemática de la lógica formal 5. Un ejemplo de una prueba absoluta de consistencía 6. La idea de representación y su empleo en las matemáticas 7. Las pruebas de Godel 8. Reflexiones finales.
Verificado 20-05-2020
There are no comments on this title.