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