Graduate Texts in Mathematics
5 primary works
Book 53
This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook presentation of Matijasevic's result. The central notions are provability and computability; the emphasis of the presentation is on aspects of the theory which are of interest to the working mathematician. Many of the approaches and topics covered are not standard parts of logic courses; they include a discussion of the logic of quantum mechanics, Goedel's constructible sets as a sub-class of von Neumann's universe, the Kolmogorov theory of complexity. Feferman's theorem on Goedel formulas as axioms and Highman's theorem on groups defined by enumerable sets of generators and relations. A number of informal digressions concerned with psychology, linguistics, and common sense logic should interest students of the philosophy of science or the humanities.
Book 58
P-Adic Numbers, P-Adic Analysis, and Zeta-Functions
by Neal Koblitz and N Koblitz
Published 1 November 1977
The first edition of this work has become the standard introduction to the theory of p-adic numbers at both the advanced undergraduate and beginning graduate level. This second edition includes a deeper treatment of p-adic functions in Ch. 4 to include the Iwasawa logarithm and the p-adic gamma-function, the rearrangement and addition of some exercises, the inclusion of an extensive appendix of answers and hints to the exercises, as well as numerous clarifications.
Book 97
Book 97
The theory of elliptic curves and modular forms provides a fruitful meeting ground for such diverse areas as number theory, complex analysis, algebraic geometry, and representation theory. This book starts out with a problem from elementary number theory and proceeds to lead its reader into the modern theory, covering such topics as the Hasse-Weil L-function and the conjecture of Birch and Swinnerton-Dyer. The second edition of this text includes an updated bibliography indicating the latest, dramatic changes in the direction of proving the Birch and Swinnerton conjecture. It also discusses the current state of knowledge of elliptic curves.
Book 114
This is a substantially revised and updated introduction to arithmetic topics, both ancient and modern, that have been at the centre of interest in applications of number theory, particularly in cryptography. As such, no background in algebra or number theory is assumed, and the book begins with a discussion of the basic number theory that is needed. The approach taken is algorithmic, emphasising estimates of the efficiency of the techniques that arise from the theory, and one special feature is the inclusion of recent applications of the theory of elliptic curves. Extensive exercises and careful answers are an integral part all of the chapters.