Neil Lawrence 4/27/2026

Tautology, Barbers, Impredicativity and Self-Adjudication

Read Original

This article discusses a tautological principle about self-adjudicating systems and applies it to a zero-player game called 'The Inaccessible Game'. It uses the barber paradox (Russell's paradox) to illustrate impredicative circularity and proposes a 'No Barber Principle' to avoid external adjudication. The author connects this to category theory, Lawvere's work, and the no-cloning condition, arguing for a foundational preference for von Neumann entropy over Shannon entropy. The article references a paper on arXiv and explores how prohibiting variable copying can prevent paradoxes in self-referential systems.

Tautology, Barbers, Impredicativity and Self-Adjudication

Comments

No comments yet

Be the first to share your thoughts!

Browser Extension

Get instant access to AllDevBlogs from your browser

Top of the Week

No top articles yet