Resumen
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 relevantes ya que muestran los límites de la razón, así cómo los límites de los sistemas formales (por ejemplo, la computadora).