El teorema de gödel y su relación con las aporías

En este ensayo se revisará la estructura de la prueba del teorema de incompletitud de Gödel, el cual afirma que existen verdades acerca de los números naturales que no pueden ser deducidas dentro de un sistema formal o axiomático-deductivo de la aritmética. Esto se hará con el propósito de tener una...

Full description

Autores:
Henao López, Sergio Andrés
Tipo de recurso:
Article of journal
Fecha de publicación:
2004
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/28990
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/28990
http://bdigital.unal.edu.co/19038/
Palabra clave:
Gödel
teorema de incompletitud
sistemas formales
paradojas
aporías.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional