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

Cet article de recherche tente un encodage commun en Lean 4 pour le théorème de Lob, la programmation réflexive et la théorie de la décision acausale. C'est un document de découverte d'encodage squelettique examinant une observation META-DB, et non une preuve d'un nouveau théorème ou une résolution des problèmes sources.