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.

Brainfuck is not turing complete

From Esolang
Jump to navigation Jump to search

This page is obviously a joke.

Today I will bring you a very difficult proof question. I'm willing to bet that even if all the deceased mathematicians and programming contributors around the globe were alive, they wouldn't necessarily have done it.

"Please prove that Brainfuck is not a Turing-complete programming language."

We all know three things: 

1. befunge-98 is turing complete
2. brainfuck is 1d
3. befunge-98 is 2d

∵befunge-98=F

brainfuck=B

F=2D

turing-complete=T

F=T

F=2D=T

2D=T

B=1D

1D≠2D

1D≠T

∴B≠T

Join me as we prove things that are wrong right, and destroy the world one peice at a time.

If brainfuck were turing complete, 1=2

Proof

B=T

F=T

F=2D

B=1D

2D=1D

Divide both sides of the equation by D at the same time to get: 1=2

User:Hashibami: to be serious this makes sense

Retrieved from "https://esolangs.org/w/index.php?title=Brainfuck_is_not_turing_complete&oldid=161273"