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/
| Summary: | 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. |
|---|