Disquisitiones Arithmeticae
textbook of number theory written in Latin by Carl Friedrich Gauss in 1798 when Gauss was 21 and first published in 1801 when he was 24. It is notable for having had a revolutionary impact on the field of number theory as it not only made the field truly rigorous and systematic but also paved the path for modern number theory. In this book Gauss brought together and reconciled results in number theory obtained by mathematicians such as Fermat, Euler, Lagrange, and Legendre and added many profound and original results of his own.
Before the Disquisitiones was published, number theory consisted of a collection of isolated theorems and conjectures. Gauss brought the work of his predecessors together with his own original work into a systematic framework, filled in gaps, corrected unsound proofs, and extended the subject in numerous ways.
The logical structure of the Disquisitiones (theorem statement followed by proof, followed by corollaries) set a standard for later texts. While recognising the primary importance of logical proof, Gauss also illustrates many theorems with numerical examples.
The Disquisitiones was the starting point for other 19th-century European mathematicians, including Ernst Kummer, Peter Gustav Lejeune Dirichlet and Richard Dedekind. Many of Gauss's annotations are in effect announcements of further research of his own, some of which remained unpublished. They must have appeared particularly cryptic to his contemporaries; they can now be read as containing the germs of the theories of L-functions and complex multiplication, in particular.
The Disquisitiones continued to exert influence in the 20th century. For example, in section V, article 303, Gauss summarized his calculations of class numbers of proper primitive binary quadratic forms, and conjectured that he had found all of them with class numbers 1, 2, and 3. This was later interpreted as the determination of imaginary quadratic number fields with even discriminant and class number 1, 2, and 3, and extended to the case of odd discriminant. Sometimes called the class number problem, this more general question was eventually confirmed in 1986[2] (the specific question Gauss asked was confirmed by Landau in 1902[3] for class number one). In section VII, article 358, Gauss proved what can be interpreted as the first nontrivial case of the Riemann hypothesis for curves over finite fields (the Hasse–Weil theorem).[4]