La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert
A lo largo del documento se expone cómo, históricamente se fueron dando avances, desde la Conjetura de Davis (posterior teorema Davis-Matiyasévich-Putnam-Robinson) hasta el último paso dado por Matiyasévich. En cada capítulo se muestra el trabajo desarrollado por cada uno de los matemáticos involucr...
- Autores:
-
Hernández Maya, Natalia Camila
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2021
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/53441
- Acceso en línea:
- http://hdl.handle.net/1992/53441
- Palabra clave:
- Ecuaciones diofánticas
Espacio de Hilbert
Análisis diofantino
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
UNIANDES2_71f63a6a7f6f8ba2eef477e59d3afbee |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/53441 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| spelling |
Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Goodrick, John Richardvirtual::14426-1Hernández Maya, Natalia Camila9b13b74b-21ee-4d07-aa1e-88cc3aaf04aa500Berenstein Opscholtens, Alexander Jonathan2021-11-03T16:22:41Z2021-11-03T16:22:41Z2021http://hdl.handle.net/1992/5344124404.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/A lo largo del documento se expone cómo, históricamente se fueron dando avances, desde la Conjetura de Davis (posterior teorema Davis-Matiyasévich-Putnam-Robinson) hasta el último paso dado por Matiyasévich. En cada capítulo se muestra el trabajo desarrollado por cada uno de los matemáticos involucrados para por fin concluir, dos décadas luego de su planteamiento la prueba del teorema.This project present the complete proof of the Davis-Matiyasévich-Putnam-Robinson theorem, from a historical point of view. Each chapter reflect the work of the mathematicians involved in the resolution of Hilbert's tenth problem. Starting from Davis, who raise the conjecture and ending with the work of matiyasévich who concluded, two decades after, the proof of the theorem.MatemáticoPregrado63 páginasapplication/pdfspaUniversidad de los AndesMatemáticasFacultad de CienciasDepartamento de MatemáticasLa indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de HilbertTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPEcuaciones diofánticasEspacio de HilbertAnálisis diofantinoMatemáticas201729693Publicationhttps://scholar.google.es/citations?user=yXqz5t0AAAAJvirtual::14426-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0001399731virtual::14426-1b8522e97-ef94-452f-b290-1d757e475fb3virtual::14426-1b8522e97-ef94-452f-b290-1d757e475fb3virtual::14426-1ORIGINAL24404.pdfapplication/pdf472743https://repositorio.uniandes.edu.co/bitstreams/ac41c13b-459f-4c84-9dc5-13268944e1b6/download97f95bb6cf788bdb5446bd0aec645337MD51TEXT24404.pdf.txt24404.pdf.txtExtracted texttext/plain113680https://repositorio.uniandes.edu.co/bitstreams/b7ecbe94-9643-4b4a-9de5-0bb715bb9a79/download55c5e76df0a3f2188d1ce75a96091285MD54THUMBNAIL24404.pdf.jpg24404.pdf.jpgIM Thumbnailimage/jpeg7232https://repositorio.uniandes.edu.co/bitstreams/94d15edd-5c39-4989-babe-17ac34e48d12/download673534bc39fffbc80ff6cc2848a6926aMD551992/53441oai:repositorio.uniandes.edu.co:1992/534412024-03-13 15:11:55.16http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co |
| dc.title.spa.fl_str_mv |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert |
| title |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert |
| spellingShingle |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert Ecuaciones diofánticas Espacio de Hilbert Análisis diofantino Matemáticas |
| title_short |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert |
| title_full |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert |
| title_fullStr |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert |
| title_full_unstemmed |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert |
| title_sort |
La indecidibilidad y la lógica : el Teorema de Davis-Matiyasévich-Putnam-Robinson y la solución negativa al Décimo Problema de Hilbert |
| dc.creator.fl_str_mv |
Hernández Maya, Natalia Camila |
| dc.contributor.advisor.none.fl_str_mv |
Goodrick, John Richard |
| dc.contributor.author.none.fl_str_mv |
Hernández Maya, Natalia Camila |
| dc.contributor.jury.none.fl_str_mv |
Berenstein Opscholtens, Alexander Jonathan |
| dc.subject.armarc.none.fl_str_mv |
Ecuaciones diofánticas Espacio de Hilbert Análisis diofantino |
| topic |
Ecuaciones diofánticas Espacio de Hilbert Análisis diofantino Matemáticas |
| dc.subject.themes.none.fl_str_mv |
Matemáticas |
| description |
A lo largo del documento se expone cómo, históricamente se fueron dando avances, desde la Conjetura de Davis (posterior teorema Davis-Matiyasévich-Putnam-Robinson) hasta el último paso dado por Matiyasévich. En cada capítulo se muestra el trabajo desarrollado por cada uno de los matemáticos involucrados para por fin concluir, dos décadas luego de su planteamiento la prueba del teorema. |
| publishDate |
2021 |
| dc.date.accessioned.none.fl_str_mv |
2021-11-03T16:22:41Z |
| dc.date.available.none.fl_str_mv |
2021-11-03T16:22:41Z |
| dc.date.issued.none.fl_str_mv |
2021 |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/53441 |
| dc.identifier.pdf.none.fl_str_mv |
24404.pdf |
| dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.spa.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
http://hdl.handle.net/1992/53441 |
| identifier_str_mv |
24404.pdf instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.none.fl_str_mv |
spa |
| language |
spa |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.none.fl_str_mv |
63 páginas |
| dc.format.mimetype.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidad de los Andes |
| dc.publisher.program.none.fl_str_mv |
Matemáticas |
| dc.publisher.faculty.none.fl_str_mv |
Facultad de Ciencias |
| dc.publisher.department.none.fl_str_mv |
Departamento de Matemáticas |
| publisher.none.fl_str_mv |
Universidad de los Andes |
| institution |
Universidad de los Andes |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/ac41c13b-459f-4c84-9dc5-13268944e1b6/download https://repositorio.uniandes.edu.co/bitstreams/b7ecbe94-9643-4b4a-9de5-0bb715bb9a79/download https://repositorio.uniandes.edu.co/bitstreams/94d15edd-5c39-4989-babe-17ac34e48d12/download |
| bitstream.checksum.fl_str_mv |
97f95bb6cf788bdb5446bd0aec645337 55c5e76df0a3f2188d1ce75a96091285 673534bc39fffbc80ff6cc2848a6926a |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1812134028391743488 |