Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their termination, and recall why their termination cannot be proved within Peano arithmetic. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Dershowitz, N., & Moser, G. (2007). The hydra battle revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4600 LNCS, pp. 1–27). Springer Verlag. https://doi.org/10.1007/978-3-540-73147-4_1
Mendeley helps you to discover research relevant for your work.