# HG changeset patch # User HackBot # Date 1469492935 0 # Node ID d775072805e29c802576664673cb3af0518c5ec1 # Parent 6ebc0a15b087453e409c0a3fd1ff8cd517cce272 slwd hydra//s/ hydra// diff -r 6ebc0a15b087 -r d775072805e2 wisdom/hydra --- a/wisdom/hydra Tue Jul 26 00:27:01 2016 +0000 +++ b/wisdom/hydra Tue Jul 26 00:28:55 2016 +0000 @@ -1,1 +1,1 @@ -http://www.madore.org/~david/math/hydra0.xhtml , dire hydra: http://www.madore.org/~david/math/hydra.xhtml , theory: 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 +http://www.madore.org/~david/math/hydra0.xhtml , dire: http://www.madore.org/~david/math/hydra.xhtml , theory: 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