top of page
BITÁCORA
Anotaciones sobre la clase y otros temas.
Christian Camilo Pabon Useche
13 dic 2020
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...
13 visualizaciones0 comentarios
Edison Huérfano
4 dic 2020
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...
31 visualizaciones0 comentarios
Sebastian Molina
20 nov 2020
Introducción a la computación moderna (con un poco de sistemas formales)
BIT Definimos al bit como el conjunto B={0,1}, el cual representa dos estados, apagado y encendido. Esto se puede ver manifestado, por...
17 visualizaciones0 comentarios
Edison Huérfano
18 nov 2020
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...
17 visualizaciones0 comentarios
Christian Camilo Pabon Useche
17 nov 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...
17 visualizaciones0 comentarios
David Molina Rodríguez
15 nov 2020
Cardinales Inaccesibles
Históricamente Felix Hausdorff fue quien extendió el estudio de los grandes infinitos e introdujo el concepto de Cardinal débilmente...
6 visualizaciones0 comentarios
Sebastian Molina
1 nov 2020
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,...
34 visualizaciones0 comentarios
Christian Camilo Pabon Useche
25 oct 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...
43 visualizaciones0 comentarios
David Molina Rodríguez
18 oct 2020
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...
4 visualizaciones0 comentarios
Edison Huérfano
11 oct 2020
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...
9 visualizaciones0 comentarios
Sebastian Molina
28 sept 2020
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...
19 visualizaciones0 comentarios
David Molina Rodríguez
20 sept 2020
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...
18 visualizaciones0 comentarios
Edison Huérfano
12 sept 2020
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...
95 visualizaciones0 comentarios
Christian Camilo Pabon Useche
2 sept 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...
47 visualizaciones0 comentarios
Sebastian Molina
1 sept 2020
Lógica Difusa
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...
38 visualizaciones0 comentarios
David Molina Rodríguez
1 sept 2020
Teoremas de incompletitud de Gödel
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,...
22 visualizaciones0 comentarios
Edison Huérfano
1 sept 2020
Conceptos de independencia y forcing
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...
19 visualizaciones0 comentarios
bottom of page