Repositorio Universidad del Cauca

Teorema de Goodstein : Un teorema no demostrable

Mostrar el registro sencillo del ítem

dc.contributor.author Ortega Erazo, Jorge Armando
dc.date.accessioned 2023-09-01T18:39:08Z
dc.date.available 2023-09-01T18:39:08Z
dc.date.issued 2013
dc.identifier.uri http://repositorio.unicauca.edu.co:8080/xmlui/handle/123456789/7983
dc.description.abstract Uno de los grandes resultados de los trabajos de Gödel fue demostrar que cualquier sistema formal lo suficientemente potente para describir la aritmética de los números naturales contiene proposiciones indecidibles. Estas son proposiciones enunciadas en el lenguaje del sistema de las cuales no se puede demostrar ni que son falsas, ni que son verdaderas por medio del lenguaje del sistema. Gödel en su trabajo mostró como ejemplo de este tipo de proposiciones, una proposición ((rebuscada)), dejando a la comunidad matemática una pregunta: ¿Si las proposiciones indecidibles que existen son sentencias tan raras, que más da que existan o no, si al parecer no afectarán la matemática? Fue hasta los trabajos de Paris y Harrington en 1977 donde se empezó a darle importancia real a los indecidibles, pues fueron estos matemáticos los primeros en encontrar un indecidible matemático el cual lleva el nombre de Teorema de Ramsey. Después de este hallazgo matemático empezó un real interés por encontrar proposiciones indecidibles, y es en esta búsqueda donde se encontró uno de los más famosos, el Teorema de Goodstein, cuya indecibilidad fue demostrada en 1982 por Kirby y Paris. El Teorema de Goodstein fue planteado y demostrado en 1944 por el matemático inglés Rouben Louis Goodstein pero utilizando una teoría más allá de los números naturales, la teoría de ordinales. En 1983 Cichon publicó una demostración diferente a la presentada por Kirby y Paris, y es esta demostración la que se describe en este trabajo. en_US
dc.language.iso es en_US
dc.publisher Universidad del Cauca en_US
dc.subject Funciones primitivas recursivas en_US
dc.subject Funciones recursivas en_US
dc.subject Minimización en_US
dc.subject Sucesiones fundamentales en_US
dc.subject Función de Ackermann en_US
dc.subject Sucesiones de Goodstein en_US
dc.title Teorema de Goodstein : Un teorema no demostrable en_US
dc.type Trabajos de grado en_US


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Buscar en DSpace


Búsqueda avanzada

Listar

Mi cuenta