The hydra battle revisited

Nachum Dershowitz; Georg Moser

doi:10.1007/978-3-540-73147-4_1

The hydra battle revisited

Nachum Dershowitz^*, Georg Moser

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Publisher	Springer Verlag
Pages	1-27
Number of pages	27
ISBN (Print)	9783540731467
DOIs	https://doi.org/10.1007/978-3-540-73147-4_1
State	Published - 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4600 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-73147-4_1

Cite this

Dershowitz, N., & Moser, G. (2007). The hydra battle revisited. In Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday (pp. 1-27). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4600 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-73147-4_1

@inproceedings{967b101a8aaa4e659617de9230e1fb54,

title = "The hydra battle revisited",

abstract = "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.",

author = "Nachum Dershowitz and Georg Moser",

year = "2007",

doi = "10.1007/978-3-540-73147-4_1",

language = "אנגלית",

isbn = "9783540731467",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--27",

booktitle = "Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday",

}

Dershowitz, N & Moser, G 2007, The hydra battle revisited. in Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4600 LNCS, Springer Verlag, pp. 1-27. https://doi.org/10.1007/978-3-540-73147-4_1

The hydra battle revisited. / Dershowitz, Nachum; Moser, Georg.
Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Springer Verlag, 2007. p. 1-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4600 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The hydra battle revisited

AU - Dershowitz, Nachum

AU - Moser, Georg

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38149042879&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-73147-4_1

DO - 10.1007/978-3-540-73147-4_1

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:38149042879

SN - 9783540731467

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 27

BT - Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

PB - Springer Verlag

ER -

The hydra battle revisited

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this