A Mechanical Proof of the Unsolvability of the Halting Problem (Q3766888)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Mechanical Proof of the Unsolvability of the Halting Problem |
scientific article |
Statements
A Mechanical Proof of the Unsolvability of the Halting Problem (English)
0 references
1984
0 references
program verification
0 references
unsolvability of the halting problem
0 references
Pure LISP
0 references