Tautology, Barbers, Impredicativity and Self-Adjudication
Here’s a thought that is tautological: a self-adjudicating system cannot seek external arbitration to determine its next state. I like the idea that some tautologies are useful. And I think this one is. I’ve been applying it to the dynamica…