James Payor

Feb 5, 2023 | lesswrong.com | James Payor |Christopher King |Daniel Kokotajlo

Followed By: Payor's Lemma in Natural LanguageTL;DR: This post introduces a novel logical approach to achieving group-scale cooperation, based on modal fixpoint theory.  This approach is both easier to understand and roughly 3x more efficient than previous approaches that factored through Löb's Theorem, measured in terms of the length / complexity of the proofs involved.