Bitácora Personal

Semana 1 (14-20 Febrero)

Investigué acerca de teoría de conjuntos y leí algunos artículos en línea para entender mejor el concepto, tambien lei como la teoria de conjuntos se relaciona con la computación.

Semana 2 (21-27 Febrero)

Esa semana comence investigando sobre el universo de von Neumann y profundicé en el concepto de orden ordinal. Comprendí que los ordinales son números utilizados para ordenar conjuntos de manera jerárquica., realice algunas pruebas en Wordpres.com pero no pude escribir en LaTex

Semana 3 (28 Febrero - 6 Marzo)

Investigué acerca de los conjuntos de von Neumann-Bernays-Gödel (NBG), un sistema de teoría de conjuntos que extiende la teoría de Zermelo-Fraenkel. Entendí que este sistema es utilizado para resolver paradojas y limitaciones de la teoría de Zermelo-Fraenkel.

Semana 4 (7-13 Marzo)

Continué investigando sobre NBG y profundicé en su relación con el universo de von Neumann. Comprendí que NBG utiliza los ordinales del universo de von Neumann para construir conjuntos que son más complejos que los que se pueden construir con Zermelo-Fraenkel, Redacte la entrada en el blog sobre los conjuntos de von Neumann-Bernays-Gödel

Semana 5 (14-20 Marzo)

Investigué acerca de la recursion transfinita, un concepto utilizado en la teoría de conjuntos para aplicar funciones a conjuntos infinitos. Entendí que la recursion transfinita es importante para construir los ordinales en el universo de von Neumann.

Semana 6 (21-27 Marzo)

Continué investigando acerca de la recursion transfinita y leí algunos artículos sobre ejemplos de recursion transfinita en la teoría de conjuntos. Comprendí que la recursion transfinita es un concepto importante para entender la jerarquía de conjuntos en el universo de von Neumann.

Semana 7 (28 Marzo - 3 Abril)

Redacté mi segunda entrada esta vez sobre la recursion transfinita. En estas entradas, expliqué los conceptos que aprendí y proporcioné algunos ejemplos para ilustrarlos.

Semana 8 (11 Abril - 14 Abril)

Finalice la redacción de la entrada, cambie los ejemplos pensé en adicionar operaciones de ordinales, pero finalmente decidí no hacerlo puesto que sería redundante con la entrada de ordinales, Revisé mi entrada y la enriquecí con detalles adicionales sobre los artículos que leí en este caso con el de Stanford, adicional a esto se investigó por qué no estaban compilando las entradas y se llegó a la conclusión que podía ser por errores de tipado