Revista de Matemática: Teoría y Aplicaciones ISSN Impreso: 1409-2433 ISSN electrónico: 2215-3373

OAI: https://revistas.ucr.ac.cr/index.php/matematica/oai
Hércules contra la Hidra y la muerte del Internet
PDF

Palabras clave

Hercules
the Hydra
Goodstein sequences
Internet
ordinals numbers
Peano’s Arithmetic
Hércules
la Hidra
sucesiones de Goodstein
Internet
números ordinales
Aritmética de Peano

Cómo citar

Piza Volio, E. (2004). Hércules contra la Hidra y la muerte del Internet. Revista De Matemática: Teoría Y Aplicaciones, 11(1), 1–16. https://doi.org/10.15517/rmta.v11i1.234

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.

https://doi.org/10.15517/rmta.v11i1.234
PDF

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.

Comentarios

Descargas

Los datos de descargas todavía no están disponibles.