Sistemas formales, informalmente
Gómez, Pedro
Sistemas formales, informalmente - 130 páginas - Papel
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
958-9216-07-2
Matematicas
510 / G653s
Sistemas formales, informalmente - 130 páginas - Papel
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
958-9216-07-2
Matematicas
510 / G653s