

Consistencia de ZFC
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...
Edison Huérfano
4 dic 2020
31 visualizaciones
0 comentarios

El Universo Constructible de Gödel
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...
Edison Huérfano
18 nov 2020
17 visualizaciones
0 comentarios

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
17 visualizaciones
0 comentarios


Cardinales Inaccesibles
Históricamente Felix Hausdorff fue quien extendió el estudio de los grandes infinitos e introdujo el concepto de Cardinal débilmente...
David Molina Rodríguez
15 nov 2020
6 visualizaciones
0 comentarios

Introducción a las clases
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,...
Sebastian Molina
1 nov 2020
34 visualizaciones
0 comentarios


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
43 visualizaciones
0 comentarios


Aritmética de Robinson
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...
David Molina Rodríguez
18 oct 2020
4 visualizaciones
0 comentarios

Consistencia Relativa de ZFC
De acuerdo al segundo teorema de incompletitud de Gödel, no se puede probar la consistencia de ZFC dentro de ZFC. Es un enunciado...
Edison Huérfano
11 oct 2020
9 visualizaciones
0 comentarios


El sistema axiomático de Von Neumann-Bernays-Gödel
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...
Sebastian Molina
28 sept 2020
19 visualizaciones
0 comentarios


Números ordinales
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...
David Molina Rodríguez
20 sept 2020
18 visualizaciones
0 comentarios

Axiomas del Sistema ZFC y Teorema de Buen Orden
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...
Edison Huérfano
12 sept 2020
95 visualizaciones
0 comentarios


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
47 visualizaciones
0 comentarios