Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)Uzcátegui Aylwin, Carlos EnriqueCastellanos Mantilla, Jamir Santiago2024-08-012024-08-012024-07-292024-07-29https://noesis.uis.edu.co/handle/20.500.14071/43696En 1944 R.L. Goodstein definió para cada natural n una sucesión (n)k para la cuál sus términos se hacían cero. Esta sucesión permite definir la función de Goodstein G(n) como el menor k tal que (n)k = 0 para cada n natural. Goodstein mostró que no puede ser probado en la Aritmética de Peano que G sea total. En 2007 A. Caicedo ofrece una fórmula de la función de Goodstein usando jerarquías de funciones de crecimiento rápido además de concluir el mismo resultado de Goodstein como un corolario de la teoría de las funciones de crecimiento rápido. En esta tesis profundizamos en el artículo de A. Caicedo ofreciendo una demostración detallada a cada uno de los teoremas que aparecen en el artículo mencionado.application/pdfspainfo:eu-repo/semantics/openAccessTeorema de GoodsteinJerarquías de crecimiento rápidoFunciones recursivasAritmética de PeanoUniversidad Industrial de SantanderTesis/Trabajo de grado - Monografía - PregradoUniversidad Industrial de Santanderhttps://noesis.uis.edu.coGoodstein’s TheoremFast Growing HierarchyRecursive FunctionsPeano Arithmetichttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)