# HG changeset patch # User HackBot # Date 1469441069 0 # Node ID 409aa9d7309b8cb8b269591497f8b3c124996b08 # Parent 34f2c0d8a6e8d6ec157c6881e1653ac02fe0c9a5 learn The hydra is at http://www.madore.org/~david/math/hydra0.xhtml , the dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem diff -r 34f2c0d8a6e8 -r 409aa9d7309b wisdom/hydra --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wisdom/hydra Mon Jul 25 10:04:29 2016 +0000 @@ -0,0 +1,1 @@ +The hydra is at http://www.madore.org/~david/math/hydra0.xhtml , the dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem