Gomez, Pedro
Sistemas formales, informalmente : ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? / Pedro Gómez, Cristina Gómez - Segunda edición - 130 páginas
¿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.
9589216072
Sistemas formales
Filosofia de las matematicas
511 / / G633s
Sistemas formales, informalmente : ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? / Pedro Gómez, Cristina Gómez - Segunda edición - 130 páginas
¿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.
9589216072
Sistemas formales
Filosofia de las matematicas
511 / / G633s