Bibtex/turing1936a

From EuroVR Knowledge Base

<bibtex>@article{turing1936a, title = {On Computable Numbers, with an Application to the Entscheidungsproblem}, annote = {Turing's famous demonstration of the formal limits on computation based on a proof that the {\em halting problem} is undecidable.}, author = {Alan M. Turing}, journal = {Proceedings of the London Mathematical Society}, number = {42}, pages = {230--265}, url = {http://www.cs.helsinki.fi/u/gionis/cc05/OnComputableNumbers.pdf}, volume = {2}, year = {1936}, biburl = {http://www.bibsonomy.org/bibtex/2b51d7b5c67fb98e0117bc176ee5fd5cf/jaeschke}, keywords = {computable halting numbers problem turing } } </bibtex>