We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
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 66 pages are in this category, out of 66 total.
A
B
- BF is Plushie-complete
- BitChanger Busy beaver/Proof
- Black Turing-completeness proof
- Blues machine/Portable Minsky Machine Notation conversion
- Brainfuck derivatives with nontrivial computational class proofs
- Brainfuck in 99 bottles of pain
- Brainfuck minus -
- Brainfuck with while 0 loops
- BrainIf Turing-completeness proof
- Burro/TM2Burro.hs
- B^2 Turing Completeness