• Segunda etapa: Diseño y análisis de pequeños prototipos de sistemas reflexivos operacionales. Modelado formal y simulación de propiedades provenientes de diferentes disciplinas, como por ejemplo autorreplicación, meta-management, meta-self-awareness, metasystem transitions, etc. Estudio de pertinencia de estos modelos en diversas disciplinas.

Repo

https://github.com/rocio-perez-sbarato/strangelooplab

Enlaces sobre impredicatividad y paradoja de Russell

Impredicativity Bites - Explicación sobre impredicatividad en Haskell

Codificación de la paradoja de Russell - Discusión en Reddit sobre implementac

ión

Cantor

https://math.stackexchange.com/questions/2176304/georg-cantors-diagonal-argument-what-exactly-does-it-prove

Haskell y teoría de conjuntos

Artículo académico sobre teoría de conjuntos - Tarau

• Ackermann encoding para non well founded sets
• https://www.researchgate.net/publication/393460561_Encodings_of_Sets_Hypersets_and_Multisets#pf45
• https://arxiv.org/pdf/1806.09329
• https://ceur-ws.org/Vol-3733/paper3.pdf

Haskell y teoría de conjuntos - Blog de Neil Mitchell

Documentación de Sets en Haskell - Containers library