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...
- 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
| id |
UNACIONAL2_58fb64e2d5e4f24822d5676778ea42b9 |
|---|---|
| oai_identifier_str |
oai:repositorio.unal.edu.co:unal/28990 |
| network_acronym_str |
UNACIONAL2 |
| network_name_str |
Universidad Nacional de Colombia |
| repository_id_str |
|
| spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Henao López, Sergio Andrésda3f120e-dbaa-4b47-8a1f-7b7094da5cf83002019-06-26T13:36:24Z2019-06-26T13:36:24Z2004https://repositorio.unal.edu.co/handle/unal/28990http://bdigital.unal.edu.co/19038/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 idea general de la demostración y del significado del teorema, ya que una comprensión del mismo es necesaria para determinar si tiene implicaciones importantes en campos diferentes a la lógica matemática. Posteriormente compararemos la estructura del teorema con la estructura general de las paradojas matemáticas. Tal comparación se hace con el fin de señalar la estructura común que subyace a la prueba del teorema y a una paradoja.application/pdfspaUniversidad Nacional de Colombiahttp://revistas.unal.edu.co/index.php/saga/article/view/14986Universidad Nacional de Colombia Revistas electrónicas UN Saga - Revista de Estudiantes de FilosofíaSaga - Revista de Estudiantes de FilosofíaSaga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) Saga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) 0124-8480Henao López, Sergio Andrés (2004) El teorema de gödel y su relación con las aporías. Saga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) Saga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) 0124-8480 .El teorema de gödel y su relación con las aporíasArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTGödelteorema de incompletitudsistemas formalesparadojasaporías.ORIGINAL14986-45227-1-PB.pdfapplication/pdf3206765https://repositorio.unal.edu.co/bitstream/unal/28990/1/14986-45227-1-PB.pdfd68f3f8ffe492edb4cc0c52e15da718eMD51THUMBNAIL14986-45227-1-PB.pdf.jpg14986-45227-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6321https://repositorio.unal.edu.co/bitstream/unal/28990/2/14986-45227-1-PB.pdf.jpg98c8fcc4dce9562f7f859bbeb15060fdMD52unal/28990oai:repositorio.unal.edu.co:unal/289902023-11-12 23:25:03.938Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
| dc.title.spa.fl_str_mv |
El teorema de gödel y su relación con las aporías |
| title |
El teorema de gödel y su relación con las aporías |
| spellingShingle |
El teorema de gödel y su relación con las aporías Gödel teorema de incompletitud sistemas formales paradojas aporías. |
| title_short |
El teorema de gödel y su relación con las aporías |
| title_full |
El teorema de gödel y su relación con las aporías |
| title_fullStr |
El teorema de gödel y su relación con las aporías |
| title_full_unstemmed |
El teorema de gödel y su relación con las aporías |
| title_sort |
El teorema de gödel y su relación con las aporías |
| dc.creator.fl_str_mv |
Henao López, Sergio Andrés |
| dc.contributor.author.spa.fl_str_mv |
Henao López, Sergio Andrés |
| dc.subject.proposal.spa.fl_str_mv |
Gödel teorema de incompletitud sistemas formales paradojas aporías. |
| topic |
Gödel teorema de incompletitud sistemas formales paradojas aporías. |
| description |
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 idea general de la demostración y del significado del teorema, ya que una comprensión del mismo es necesaria para determinar si tiene implicaciones importantes en campos diferentes a la lógica matemática. Posteriormente compararemos la estructura del teorema con la estructura general de las paradojas matemáticas. Tal comparación se hace con el fin de señalar la estructura común que subyace a la prueba del teorema y a una paradoja. |
| publishDate |
2004 |
| dc.date.issued.spa.fl_str_mv |
2004 |
| dc.date.accessioned.spa.fl_str_mv |
2019-06-26T13:36:24Z |
| dc.date.available.spa.fl_str_mv |
2019-06-26T13:36:24Z |
| dc.type.spa.fl_str_mv |
Artículo de revista |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/28990 |
| dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/19038/ |
| url |
https://repositorio.unal.edu.co/handle/unal/28990 http://bdigital.unal.edu.co/19038/ |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/saga/article/view/14986 |
| dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Saga - Revista de Estudiantes de Filosofía Saga - Revista de Estudiantes de Filosofía |
| dc.relation.ispartofseries.none.fl_str_mv |
Saga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) Saga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) 0124-8480 |
| dc.relation.references.spa.fl_str_mv |
Henao López, Sergio Andrés (2004) El teorema de gödel y su relación con las aporías. Saga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) Saga - Revista de Estudiantes de Filosofía; Vol. 5, núm. 9 (2004) 0124-8480 . |
| dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
| dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Nacional de Colombia |
| institution |
Universidad Nacional de Colombia |
| bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/28990/1/14986-45227-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/28990/2/14986-45227-1-PB.pdf.jpg |
| bitstream.checksum.fl_str_mv |
d68f3f8ffe492edb4cc0c52e15da718e 98c8fcc4dce9562f7f859bbeb15060fd |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
| repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
| _version_ |
1814089820273639424 |