

Teorema de Forma Normal
Teorema de Forma Normal (Kleene). Existen un predicado T(e, x, y) (llamado el predicado-T Kleene) y una función U(y) que son recursivos...
Christian Camilo Pabon Useche
13 dic 2020


Modelado en la jerarquia de Von Neumann
Teorema: Sea T el sistema de axiomas para la teoría de conjuntos obtenido de sistema de V. Neumann S* al omitir el axioma de elección...
Christian Camilo Pabon Useche
17 nov 2020


Segundo Teorema de incompletitud de Gödel
Kurt Gödel Lógico, matemático y filósofo, nació 28 de abril de 1906 en Brünn (Imperio austrohúngaro), fallece el 14 de enero de 1978 en...
Christian Camilo Pabon Useche
25 oct 2020


Un poco de historia
Ernst Friedrich Ferdinand Zermelo Fue un matemático, físico y filósofo del siglo XX, nació el 27 de julio de 1871 en Berlín muere a los...
Christian Camilo Pabon Useche
2 sept 2020