The Art of Proof

Basic Training for Deeper Mathematics

Textbook

Part of the Undergraduate Texts in Mathematics book series (UTM, volume 0)

1. Front Matter
Pages i-xxi
2. The Discrete

1. Front Matter
Pages 1-1
2. Matthias Beck, Ross Geoghegan
Pages 3-12
3. Matthias Beck, Ross Geoghegan
Pages 13-23
4. Matthias Beck, Ross Geoghegan
Pages 25-31
5. Matthias Beck, Ross Geoghegan
Pages 33-45
6. Matthias Beck, Ross Geoghegan
Pages 47-54
7. Matthias Beck, Ross Geoghegan
Pages 55-64
8. Matthias Beck, Ross Geoghegan
Pages 65-72
3. The Continuous

1. Front Matter
Pages 73-73
2. Matthias Beck, Ross Geoghegan
Pages 75-83
3. Matthias Beck, Ross Geoghegan
Pages 85-93
4. Matthias Beck, Ross Geoghegan
Pages 95-105
5. Matthias Beck, Ross Geoghegan
Pages 107-112
6. Matthias Beck, Ross Geoghegan
Pages 113-119
7. Matthias Beck, Ross Geoghegan
Pages 121-129
8. Matthias Beck, Ross Geoghegan
Pages 131-131
4. Further Topics

1. Front Matter
Pages 133-133
2. Matthias Beck, Ross Geoghegan
Pages 135-139
3. Matthias Beck, Ross Geoghegan
Pages 141-144

Introduction

The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebra) with reasonable success. With an artful mixture of chatty style and interesting examples, the student's previous intuitive knowledge is placed on solid intellectual ground. The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, and uncountable sets. Methods, such as axiom, theorem and proof, are taught while discussing the mathematics rather than in abstract isolation. Some of the proofs are presented in detail, while others (some with hints) may be assigned to the student or presented by the instructor. The authors recommend that the two parts of the book -- Discrete and Continuous -- be given equal attention. The book ends with short essays on further topics suitable for seminar-style presentation by small teams of students, either in class or in a mathematics club setting. These include: continuity, cryptography, groups, complex numbers, ordinal number, and generating functions.

Keywords

Cardinal number Countable set algebra cardinality completeness of R high-order recursions integers modulo n noncomputable numbers set theory strong induction universal quantifiers well ordering principle

Authors and affiliations

1. 1., Department of MathematicsSan Francisco State UniversitySan FranciscoUSA
2. 2.State University of New York, Department of Mathematical SciencesBinghamton UniversityBinghamtonUSA

Matthias Beck received his initial training in mathematics in Würzburg, Germany, received his Ph.D. in mathematics from Temple University, and is now associate professor of mathematics at San Francisco State University. He is the recipient of the 2013 MAA Haimo Award for Distinguished College or University Teaching of Mathematics. He is the author of a previously published Springer book, Computing the Continuous Discretely (with Sinai Robins).

Ross Geoghegan received his initial training in mathematics in Dublin, Ireland, received his Ph.D. in mathematics from Cornell University, and is now professor of mathematics at the State University of New York at Binghamton. He is the author of a previously published Springer book, Topological Methods in Group Theory.

Bibliographic information

• Book Title The Art of Proof
• Book Subtitle Basic Training for Deeper Mathematics
• Authors Matthias Beck
Ross Geoghegan
• Series Title Undergraduate Texts in Mathematics
• DOI https://doi.org/10.1007/978-1-4419-7023-7
• Copyright Information Matthias Beck and Ross Geoghegan 2010
• Publisher Name Springer, New York, NY
• eBook Packages Mathematics and Statistics Mathematics and Statistics (R0)
• Hardcover ISBN 978-1-4419-7022-0
• Softcover ISBN 978-1-4939-4086-8
• eBook ISBN 978-1-4419-7023-7
• Series ISSN 0172-6056
• Edition Number 1
• Number of Pages XXI, 182
• Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
• Topics
• Buy this book on publisher's site
Industry Sectors

Reviews

From the reviews:

"The Art of Proof is a surprising union of rigor with taste and wit.  The authors take a hard-core axiomatic approach, but the writing is never dry.  Instead, topics are carefully chosen and meticulously developed with grace and humor, careful attention to detail, and just the right number of skill-building exercises and thought-provoking problems.

"The text is spare—well under two hundred pages—but contains a thorough axiomatic development of the integers and the reals, along with non-standard optional topics such as Cayley graphs and generating functions.  Instead of the standard scattershot "symbolic logic-set theory-functions-proof by contradiction-zzzz..." books, this text keeps its focus on just a few fundamental ideas, of which induction is the most important.  This helps my students to  feel that they are participants in a grand undertaking—the construction of a number system—rather than passive victims of one proof technique after another." —Paul Zeitz (Mathematics Professor at the University of San Francisco)

“This qualitative transition presents a most acute pedagogical challenge. … This book does feature definite mathematical content, contrasting with works that aim at decoupling purely logical apparatus from strictly mathematical concerns. … The authors write with the authority of research mathematicians and clearly mean to open that avenue to students. Summing Up: Recommended. Upper-division undergraduates through professionals.” (D. V. Feldman, Choice, Vol. 48 (8), April, 2011)

“This book offers an approach well-balanced between rigor and clarifying simplification. Dilbert and Foxtrot cartoons with philosophical quotes presage the introduction of axioms and preliminary propositions. This graceful and witty blend succeeds well in a textbook for a post-calculus course transitioning a student to higher mathematics. The Art of Proof can also well serve independent readers looking for a solitary path to a vista on higher mathematics.” (Tom Schulte, The Mathematical Association of America, November, 2010)

“This is an undergraduate text to extend, in a deeper and formal way, the usual initial knowledge of mathematics. The book deals with classical topics like integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, uncountable sets … . The publication may be useful for people using the book to teach a course on the above mentioned topics. … The aim behind this textbook is teaching how to read and write mathematics as well as understanding key methods and concepts.” (Claudi Alsina, Zentralblatt MATH, Vol. 1198, 2010)