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

Por fin, nuestro objetivo del blog: La consistencia de ZFC. Ya sabemos que para probar que ZFC es cosistente si y solo si existe un...

BIT Definimos al bit como el conjunto B={0,1}, el cual representa dos estados, apagado y encendido. Esto se puede ver manifestado, por...

El universo de constructible de Gödel, o solamente el universo constructible, se denota L y es la unión de la jerarquía L alpha. En esta...

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

Históricamente Felix Hausdorff fue quien extendió el estudio de los grandes infinitos e introdujo el concepto de Cardinal débilmente...

Como es bien sabido, el inicio de Beiträge zur Begründung der transfiniten Mengenlehre, o de una manera no tan precisa en español,...

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

La aritmética de Robinson es un fragmento finito de axiomas de primer orden de la aritmética de Peano (PA), la cual fue introducida por...

De acuerdo al segundo teorema de incompletitud de Gödel, no se puede probar la consistencia de ZFC dentro de ZFC. Es un enunciado...

Como vimos en la entrada de Introducción a las clases, se puede desarrollar un sistema axiomático basado en las clases. En particular, se...

Tendríamos que escribir una entrada completa para narrar todos los logros de Cantor y sus aportes a la teoría de conjuntos, pero en esta...

El sistema axiomático Zermelo Fraenkel con Axioma de Elección es la forma estándar de la teoría axiomática de conjuntos. La Teoría de...

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

La lógica difusa es una manera de extender la lógica clásica (o proposicional de primer orden), usando teoría de probabilidad y de...

En la república Checa en el año 1906 nace Kurt Gödel , considerado como uno de los más grandes y prestigiosos matemáticos del siglo XX,...

Este es un breve resumen de un tema que fue una propuesta de tema para el proyecto blog. Independencia Un enunciado S es independiente de...