A Mechanical Proof of the Unsolvability of the Halting Problem.

Robert S. Boyer J. Strother Moore

Published in: J. ACM (1984)

Keyphrases

theorem prover
linear logic
information retrieval
machine learning
theorem proving
proof search
real world
optimal solution
digital libraries
evolutionary algorithm
medical images
mechanical design
proof planning
geometry theorem proving