Sistemas formales, informalmente : ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? / Pedro Gómez, Cristina Gómez
By: Gomez, Pedro.
Contributor(s): Gómez, Cristina.
Santafé de Bogotá : Una empresa docente/Universidad de los Andes, 1992 Edition: Segunda edición.Description: 130 páginas.Content type: texto Media type: no mediado Carrier type: volumenISBN: 9589216072.Subject(s): Sistemas formales | Filosofia de las matematicasDDC classification: 511 /Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Central | General | 511 / G633s (Browse shelf) | 1 | Available | CO | 8000003476 | |||
Libros | Biblioteca Central | General | 511 / G633s (Browse shelf) | 2 | Available | CO | 8000003477 | |||
Libros | Biblioteca Central | General | 511 / G633s (Browse shelf) | 3 | Available | CO | 8000003478 |
Browsing Biblioteca Central Shelves , Collection code: General Close shelf browser
511 / B849a Arithmetic / | 511 / G633s Sistemas formales, informalmente : | 511 / G633s Sistemas formales, informalmente : | 511 / G633s Sistemas formales, informalmente : | 511 / L767a Aritmética para enfermeria : | 511 / M720m Modern Discrete Mathematics and Analysis : | 511 / P485t Teoría de la aritmética / | Romero Pérez ; rev. Guillermo Tores, José S. Florio |
¿Por qué intentaron formalizar a la matemática sie ra tan buena muchacha? -- El acertijo de MU -- Producir números -- Fractales -- Juego de vida -- Sistemas formales y el lenguaje -- El método axiomático -- Los sistemas sociales y las matemáticas -- La herramienta -- Un ejemplo de axiomatización -- Sistemas axiomáticos -- Regreso al futuro III -- El final de la historia -- Observaciones sobre la demostración de Göde -- El teorema de Gödel a través de acertijos --
Este libro, al introducir de manera sencilla el concepto de sistema formal, permite mostrar el papel que este concepto puede jugar en diversos campos de las matemáticas y de la ciencia. Adicionalmente, al considear en cierto detalle algunas de estas áreas y mostrar la relación que es posible establecer entre una realidad y el sistema formal que la modela, el libro pretende desarrollar en el lector, al menos parcialmente, las capacidades de abstracción y simplificación necesarias para el análisis de realidades complejas. Por otra parte, este conjunto de temas buscan preparar al lector para la comprensión intuitiva de uno de los resultados más importantes de la historia y la filosofía de las matemáticas en este siglo: el teorema de incompletitud de Gödel.
There are no comments for this item.