<b_jonas> 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
author |
HackBot |
date |
Mon, 25 Jul 2016 10:04:29 +0000 |
parents |
e037173e0012 |
children |
7ce82d528d58 d8c9b2b409a6 844290bdd2ef |