Kategoria BISAC: Mathematics >> Logic

This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to date. Most of the proofs are discussed in detail with figures and equations accompanying them, allowing both the professional mathematician and those less familiar with mathematics to derive the same joy from reading this book.

This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the Preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry--the elimination theorem, the extension theorem, the closure theorem and the Nullstellensatz--this new edition incorporates several substantial changes, all of which are listed in the Preface. The largest revision...

W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic.

Max Black, in Mind, has said of this book, "It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often...

W. V. Quine is one of the most eminent philosophers alive today. Now in his mid-eighties he has produced a sharp, sprightly book that encapsulates the whole of his philosophical enterprise, including his thinking on all the key components of his epistemological stance--especially the value of logic and mathematics. New readers of Quine may have to go slowly, fathoming for themselves the richness that past readers already know lies between these elegant lines. For the faithful there is much to ponder.

In this short book, based on lectures delivered in Spain in 1990, Quine begins by...