000			01268 a2200265 4500
005			20240809125301.0
008			160721s mx r 000 spa d
020			_a958-9216-07-2
035			_a6462
040			_aUniagraria _bspa _erda
082	0	4	_a510 / G653s
100	1		_aGómez, Pedro
245	1	0	_aSistemas formales, informalmente
264			_aBogotà _bUniversidad De Los Andes _c1992
300			_a130 páginas
336			_atexto _btxt _2rdacontent
337			_ano mediado _bn _2rdamedia
338			_avolumen _bnc _2rdacarrier
340			_aPapel
505	0		_aIntroducción, cap.1 por qué intentaron formalizar a la matemática si era tan buena muchacha, cap.2 el acertijo de mu, cap.3 producir los números, cap.4 fractales, cap.5 juego de vida, cap.6 sistemas formales y el lenguaje, cap.7 el método axiomático, cap.8 los sistemas sociales y las matemáticas, cap.9 la herramienta, cap.10 un ejemplo de axiomatización, cap.11 sistemas axiomáticos, cap.12 regreso al futuro iii, cap.13 el final de la historia, cap.14 observaciones sobre la demostración de gode, cap.15 el teorema de godel a través de acertijos, cap.16
598			_a30
650		4	_aMatematicas
700	1		_aGómez, Cristina
999			_c24704 _d24704