000			02113nam a22003377a 4500
999			_c3476 _d3476
005			20200904062751.0
008			131105b ck ||||| |||| 00| 0 spa d
020			_a9589216072
040			_aCO-NeUS _bspa _erda
100	1		_aGomez, Pedro _946575
245	1	0	_aSistemas formales, informalmente : _b¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? / _cPedro Gómez, Cristina Gómez
250			_aSegunda edición
264			_aSantafé de Bogotá : Una empresa docente/Universidad de los Andes, 1992
300			_a130 páginas
336			_2rdacontent _atexto
337			_2rdamedia _ano mediado
338			_2rdacarrier _avolumen
505	0	0	_a¿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 --
520			_aEste 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.
700	1		_aGómez, Cristina _946534
082	0	4	_221 _a511 / _bG633s
650	1	4	_aSistemas formales _9132055
650	1	4	_aFilosofia de las matematicas _9110624
942			_2ddc _cCG _h511 / _kG633s