Ryan MacDonald

The Universal Explainer: Toward a Formal Theory of Explanation

2026 · Zenodo (CERN European Organization for Nuclear Research)

This work develops a formal framework for explanation based on coherent computational structures. Using the untyped λ-calculus, it models explanatory chains as recursively compositional structures in which states and transformations exchange roles under a coherence …