Please use this identifier to cite or link to this item: http://repositorio.udec.cl/jspui/handle/11594/5879
Title: Análogos del décimo problema de Hilbert = Analogues of hilbert's tenth problem.
Other Titles: Analogues of hilbert's tenth problem.
Authors: Vidaux Negre, Xavier, supervisor de grado
Utreras Alarcón, Javier Antonio
Keywords: Espacios de Hilbert -- Problemas, Ejercicios, Etc.;Ecuaciones Diofántinas;Algoritmos -- Problemas, Ejercicios, Etc.
Issue Date: 2010
Publisher: Universidad de Concepción, Facultad de Ciencias Físicas y Matemáticas, Departamento de Matemática.
Abstract: The tenth problem in D. Hilbert's famous list asked the following : Devise an algorithm to decide whether a polynomial equation with integer coe cients has an integer solution. (These equations are called Diophantine equations.) In the year 1970, 70 years after Hilbert posed it, Y. Matiyasevich (based on work of M. Davis, J. Robinson and H. Putnam) proved that such an algorithm does not exist [10]. Knowing that the decision problem for integer solutions of Diophantine equations had a negative answer, the problem shifted to smaller classes of equations. For example, it follows from Matiyasevich's negative answer that there exists no algorithm to decide whether a system of second-degree Diophantine equations has integral solutions; while, on the other hand, a result of M. Presburger (1929) implies that an analogous algorithm for systems of linear Diophantine equations exists [15]. Consider all systems of second degree Diophantine equations in where every unknown appears squared in all of its ocurrences. These systems form a subset of all systems of second degree Diophantine equations, and it can be shown that every linear Diophantine equation can be written as such (just because any integer can be written as x2+y2􀀀z2 for some integers x, y and z). Thus, the decision problem for integer solutions to this kind of systems of equations is \in between" the two already known results mentioned in the previous paragraph. This problem is known as the Problem of representation by diagonal quadratic forms, and is currently open.
Description: Tesis para optar al grado de Magíster en Matemática.
URI: http://repositorio.udec.cl/jspui/handle/11594/5879
metadata.dc.source.uri: http://ezpbibliotecas.udec.cl/login?url=http://tesisencap.udec.cl/concepcion/utreras_a_j/index.html
Appears in Collections:Ciencias Físicas y Matemáticas - Tesis Magister

Files in This Item:
File Description SizeFormat 
Tesis_Análogos del Décimo Problema.pdf177,79 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.