A Mechanical Proof of the Unsolvability of the Halting Problem
- 26 June 1984
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 31 (3) , 441-458
- https://doi.org/10.1145/828.1882
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Newton's Method, Circle Maps, and Chaotic MotionThe American Mathematical Monthly, 1984
- A method for obtaining digital signatures and public-key cryptosystemsCommunications of the ACM, 1978