From Esolang
Jump to navigation Jump to search

Proofs, and sketches of proofs, that some esoteric programming language or other is or isn't of a certain computational class, or something like that.

Some of these proofs may not be particularly rigorous. We can only hope they are not so egregiously fallacious as to make your web browser burst into flames upon displaying them.