>>16693827https://writings.stephenwolfram.com/2021/11/the-concept-of-the-ruliad/
>How should we think about the ruliad mathematically? In many ways, the ruliad is more an object of metamathematics than of mathematics itself. For in talking about the effects of all possible rules, it in a sense transcends individual mathematical theories—to describe a kind of metatheory of all possible theories.Drivel. The guy can't diagonalize