Category:Proofs
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.
Pages in category "Proofs"
The following 31 pages are in this category, out of 31 total.