The Collected Works of Julia Robinson

ISBN-13: 9780821805756 / Angielski / Twarda / 1996

Julia Robinson

Opis

This volume presents all the published works -- spanning more than thirty years -- of Julia Bowman Robinson. These papers constitute important contributions to the theory of effectively calculable functions and to its applications. Outstanding among the latter are Robinson's proof of the effective unsolvability of the decision problem for the rational number field (and, consequently of that for the first-order theory of all fields), and her work that provided the central step toward the negative solution of Hilbert's Tenth Problem. These results provide upper bound for what one can hope to obtain in the way of positive solutions to the decision problem for special classes of fields and for special classes of diophantine equations, respectively. Besides thematic unity, Robinson's papers are distinguished by their clarity of purpose and accessibility to non-specialists as well as specialists.