Daily Archives: August 7, 2025

White Paper: Verifying Theoretical Closure—The Role of Proof Assistants in Discovering and Exhausting Mathematical Corollaries

Posted on August 7, 2025 by nathanalbright

Executive Summary This white paper explores the epistemological and practical question of how we can know whether all corollaries and “obvious” proofs have been derived from a given set of mathematical theorems. In doing so, it evaluates the limitations of … Continue reading →

Posted in Graduate School, Musings | Tagged , , , , , , | 5 Comments

White Paper: Matthew 18 as a Model for Public Religious Courts with Due Process and Transparency

Posted on August 7, 2025 by nathanalbright

Executive Summary This white paper argues for the restoration and practical application of Matthew 18:15–20 as a foundational model for public religious courts in the governance of Christian communities. This model, rooted in scriptural justice, emphasizes accountability, transparency, due process, … Continue reading →

Posted in Bible, Christianity, Church of God, Musings | Tagged , , , , , | 18 Comments