Resumen
Hércules mató a la Hidra de Lerna en una encarnizada batalla, segunda de las labores que le fueron encomendadas en penitencia por sus horrendos crímenes. La Hidra era aquel espantoso y agresivo monstruo mitológico de múltiples cabezas y sangre envenenada, que multiplicaba sus cabezas cada vez que le cortaban una de ellas. En este artículo se estudian algunos modelos matemáticos acerca de esta interesante batalla épica. También se estudian las conexiones que tiene este problema con las sucesiones ultra-crecientes y recursivas de Goodstein. Como una aplicación iteresante se analiza la próxima e inevitable muerte de otro de los grandes monstruos de nuestra era moderna: la red Internet.
Citas
Goodstein, R. L. (1944) “On the restricted ordinal theorem”, Journal of Symbolic Logic 9: 33–41.
Ketonen, J.; Solovay, R. (1981) “Rapidly growing Ramsey functions”, Annals of Mathematics 113: 267–314.
Kirby, L.; Paris, J. (1982) “Accessible independence results for Peano arithmetic”, Bulletin of the London Mathematical Society 14: 285–293.
Loebl, M. (1988) “Hercules and Hydra”, Commentationes Mathematicae Univesitatis Carolinae 29(1), 85–95.
Luccio, F.; Pagli, L. (2000) “Death of a monster”, Pre-print, Departamento de Informática de la Universidad de Pisa, Italia.
Matousek, J.; Loebl, M. (1991) “Hercules versus hidden Hydra helper”, Commentationes Mathematicae Univesitatis Carolinae 32(4): 731–741.
Misercque, D. (1990) “Le plus long combat d’Hercule”, Bulletin de la Société Mathématique de Belgique 42, série B: 319–331.
Monk, D.J. (1969) Introduction to Set Theory. McGraw-Hill Book Company, New York.
Rogers, H. (1967) Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, New York.