And you probably know that any Turing computable function can essentially be brought into form, where you have a function f that goes from a binary, an n dimensional binary space to an m dimensional binary space. 