Functional Programming, Programming, Programming Languages.
problem. Alan Turing answered NO to the problem. Of course, saying no is not enough. You have to prove it. Turing created an abstract computation model called Turing Machine as part of his proof. You can think of Turing Machine as a mini computer. Any thing a computer does, a Turing Machine can do.