Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

Este artículo de investigación intenta una codificación común en Lean 4 para el Teorema de Lob, la programación reflexiva y la teoría de la decisión acausal. Es un trabajo de descubrimiento de codificación esquelética que examina una observación META-DB, no una prueba de un nuevo teorema o una resolución de los problemas de origen.