BITÁCORA

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...

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...

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...

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...