Andrew Murphy

Any consistent, finitely axiomatizable, arithmetically expressive candidate for a fundamental physical theory is subject to Gödel incompleteness, Tarski undefinability of truth, and related information-theoretic limits. This leads to an infinite regress if one adds successive algorithmic meta-layers to repair the gap. We construct a multiversal manifold M: a continuous, semantically closed structure containing every consistent computable universe???????? as a definable substructure, while Th(M) itself is not recursively enumerable. Formally, M is defined as the direct (colimit) closure of all computable universes????????, the minimal semantically complete structure encompassing every consistent theory under definability. Gödel incompleteness holds locally within each???????? but not globally, since truth in M is defined semantically rather than through derivability. The hierarchy of meta-theories therefore terminates at M. This provides the minimal mathematical extension realising the non-algorithmic resources proposed in recent work on undecidability in physics while preserving the algorithmic character of local physical law, as proposed in recent work on undecidability in physics. This construction therefore terminates the infinite recursive hierarchy of meta-theories implied by Gödel incompleteness, providing the minimal mathematically consistent limit of algorithmic description rather than a violation of Gödel’s theorems.

In this article, I explore the relationship between moderation and toleration in early modern England by focusing on William Penn’s 1685 A Perswasive to Moderation. This work, published by Penn in support of James II’s campaign to implement toleration in England by royal decree, explicitly linked moderation and the campaign for liberty of conscience in which Penn had participated for nearly two decades, in both England and America. More broadly, I show how Penn’s Perswasive entered into an ongoing debate over the concept of moderation itself: during the 1680s, a number of authors explored the meanings and limits of moderation, tying it to contested debates in ecclesiastical affairs, civil and religious liberty, and ethical discourse. Yet the aspirations of James II to secure liberty of conscience for the realm’s dissenters failed spectacularly in the Revolution of 1688, and Penn suffered deep public embarrassment (along with significant legal jeopardy) due to his association with that effort. The article closes with some specific reflections on Penn’s Perswasive as well as more general comments on the importance of attending to the practical, historically contingent ways in which moderation discourses unfold.