Blog - Categoría: logica-matematica

• El teorema de incompletitud de Gödel: ¿Puede la matemática estudiarse a sí misma?

  Este teorema mostró los límites la matemática misma, al establecer que en todo sistema formal que contenga a la aritmética (supuesto consistente), existen proposiciones que pueden formularse dentro del lenguaje formalizado del sistema, pero que no pueden ser demostradas ni refutadas por el sistema formal.