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...

Full description

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/