Brainfuck is to Turing machines what Lisp is to Lambda calculus or Prolog is to predicate logic. There's enough syntactic sugar to make it a practical programming language that is based on a mathematical theory. Learning it will, arguably, make you a better programmer.
This seems to be like a conveniently sized practice project, a little I/O with the real world with a simple computational task that's fun to write.
