TY  - GEN
AU  - Gómez,Pedro
AU  - Gómez,Cristina
TI  - Sistemas formales, informalmente
SN  - 958-9216-07-2
U1  - 510 / G653s 
PY  - 1992///
CY  - Bogotà
PB  - Universidad De Los Andes
KW  - Matematicas
N1  - Introducció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
ER  -