A fact I recently learnedI recently finished reading a book on automata, and according to that book, Turing machines, lambda calculus, and recursive functions all have the same computational ...