Este proyecto trata sobre dos de los descubrimientos más importantes en matemáticas del siglo XX. El primero es Kurt Gödel prueba de Incompletitud y el segundo es el Halting Problem de Alan Turing. Estas dos pruebas son ...