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
511.3 M553 Lenguajes Formales y Teoría de Autómatas finitos: Fundamentos para la creación de un traductor/ Mercado Polo, Darwin | 511.3 N147 4a. ed. El teorema de Godel/ Nagel, Ernest. | 511.3 N147 4ed. El teorema de Godel/ Nagel, Ernest. | 511.3 N147 4ed. El teorema de Godel/ Nagel, Ernest. | 511.3 N735 Fundamentos de logica bivalente/ Nivía M., José R. | 511.3 N735 Fundamentos de logica bivalente/ Nivía M., José R. | 511.3 O839 Fundamentos de la lógica matemática / |
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.