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

Dieses Forschungspapier versucht eine gemeinsame Kodierung in Lean 4 für den Satz von Lob, reflektierende Programmierung und akasale Entscheidungstheorie. Es ist ein Papier zur Entdeckung skelettaler Kodierungen, das eine META-DB-Beobachtung untersucht und keine Beweisführung oder Problemlösung darstellt.