Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Henao López, Sergio Andrés"'
Autor:
Henao López, Sergio Andrés
Publikováno v:
Repositorio UN
Universidad Nacional de Colombia
instacron:Universidad Nacional de Colombia
Universidad Nacional de Colombia
instacron:Universidad Nacional de Colombia
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::58fb64e2d5e4f24822d5676778ea42b9
http://bdigital.unal.edu.co/19038/
http://bdigital.unal.edu.co/19038/
