Skip to content

wasoxygen/hydraHTML5

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The hydra game

The Hydra is a rooted tree. The object of the game is to chop off all its heads (the blue disks). At step n, when you cut a head, the Hydra will grow n new copies of the tree growing from the neck at which the head was cut.

A theorem by Paris and Kirby [1] states that you always win, no matter how you chop the heads, but it takes a rather long time to chop down a hydra. Paris and Kirby also showed that Peano arithmetic does not prove that hydra always loses.

The Hydra game was implemented by Andrej Bauer using a technology invented in the twentieth century known as "Java." The "applet" depended on NPAPI which was powered by a steam engine.

work in progress

References

[1] Laurie Kirby and Jeff Paris: Accessible Independence Results for Peano Arithmetic. Bull. London Math. Soc. 1982; 14: 285-293.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published