@article{turing1936a, annote = {Turing's famous demonstration of the formal limits on computation based on a proof that the {\em halting problem} is undecidable.}, author = {Turing, Alan M.}, interhash = {8ac1f5e961ff74849ab6f0c7348b9c9c}, intrahash = {b51d7b5c67fb98e0117bc176ee5fd5cf}, journal = {Proceedings of the London Mathematical Society}, number = 42, pages = {230--265}, title = {On Computable Numbers, with an Application to the {E}ntscheidungsproblem}, url = {http://www.cs.helsinki.fi/u/gionis/cc05/OnComputableNumbers.pdf}, volume = 2, year = 1936 }