For a while I thought he was making a joke about how if you continue to abstract a given theory, you end up "encompassing" everything eventually, but not in a useful way. To put what I mean in programmer terms, if you take a Javascript framework, and just keep abstracting and abstracting and abstracting, to a pathological degree, you ultimately can end up with your "Javascript framework" consisting of:<p><pre><code> eval(x)
</code></pre>
where the user supplies x. It is literally the most powerful Javascript framework ever!... and yet, obviously, also not useful. It trivially encompasses every possible Javascript program, at the price of not saying anything useful about any of them.<p>But then he threw me when he linked to what appears to be a real proof. I read through it, and found no signs it was tongue-in-cheek itself.<p>So I'll admit I'm at an impasse here; if he's got a real mathematical construct that is usefully better than what was presented, I don't get the tongue-in-cheek tone; if it really is tongue-in-cheek, I don't get what the real proofs are doing there, unless the proof is itself the best-disguised joke I've seen in the math world. (Generally I've got a pretty good eye for mathematician humor, even in fields I know little about.)