Essays in Constructive Mathematics

2005
ISBN: 978-1-4899-9018-1
Verlag: Springer

Buch, Englisch, 211 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 359 g

He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain both number theory and alge­ braic geometry as special cases.—Andre Weil [62] This book is about mathematics, not the history or philosophy of mathemat­ ics. Still, history and philosophy were prominent among my motives for writing it, and historical and philosophical issues will be major factors in determining whether it wins acceptance. Most mathematicians prefer constructive methods. Given two proofs of the same statement, one constructive and the other not, most will prefer the constructive proof. The real philosophical disagreement over the role of con­ structions in mathematics is between those—the majority—who believe that to exclude from mathematics all statements that cannot be proved construc­ tively would omit far too much, and those of us who believe, on the contrary, that the most interesting parts of mathematics can be dealt with construc­ tively, and that the greater rigor and precision of mathematics done in that way adds immensely to its value.

Zielgruppe

Research

Autoren/Hrsg.

Edwards, Harold M.

Fachgebiete

• Mathematik | Informatik Mathematik Algebra Zahlentheorie
• Mathematik | Informatik Mathematik Mathematische Analysis Elementare Analysis und Allgemeine Begriffe
• Mathematik | Informatik Mathematik Geometrie Algebraische Geometrie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

A Fundamental Theorem.- Topics in Algebra.- Some Quadratic Problems.- The Genus of an Algebraic Curve.- Miscellany.

Über Autor(innen)

Harold M. Edwards is Emeritus Professor of Mathematics at New York University. His previous books are Advanced Calculus (1969, 1980, 1993), Riemann's Zeta Function (1974, 2001), Fermat's Last Theorem (1977), Galois Theory (1984), Divisor Theory (1990) and Linear Algebra (1995). Readers of his Advanced Calculus will know that his preference for constructive mathematics is not new. In 1980 he was awarded the Steele Prize for mathematical exposition for the Riemann and Fermat books.