Hércules contra la Hidra y la muerte del Internet

• Piza Volio, Eduardo ^[1]
  1. [1] Universidad de Costa Rica

     Universidad de Costa Rica

     Hospital, Costa Rica

     
• Localización: Revista de Matemática: Teoría y Aplicaciones, ISSN 2215-3373, ISSN-e 2215-3373, Vol. 11, Nº. 1, 2004, págs. 1-16
• Idioma: español
• DOI: 10.15517/rmta.v11i1.234
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

  • English

    Hercules killed the Hydra of Lerna in a bloody battle—the second of the labor tasks imposed upon him in atonement for his hideous crimes. The Hydra was a horrible, aggressive mythological monster with many heads and poisonous blood, whose heads multiplied each time one of them was severed. This article explores some mathematical methods about this interesting epic battle. A generalization of the original Kirby & Paris model is proposed. We also study the connection of this model with Goodstein ultra-growing and recursive sequences. As an interesting application, we next analyze the inevitable death of another huge monster of our modern era: the Internet.

• Referencias bibliográficas
  • 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.