Product Description

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman’s successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed ‘scratch work’ sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.

Product Details

• Amazon Sales Rank: #22068 in Books
• Published on: 2006-01-16
• Original language: English
• Number of items: 1
• Binding: Paperback
• 384 pages

Review
"The prose is clear and cogent ... the exercises are plentiful and are pitched at the right level.... I recommend this book very highly!"
MAA Reviews

"The book provides a valuable introduction to the nuts and bolts of mathematical proofs in general."
SIAM Review

"This is a good book, and an exceptionally good mathematics book. Thorough and clear explanations, examples, and (especially) exercised with complete solutions all contribute to make this an excellent choice for teaching yourself, or a class, about writing proofs."
Brent Smith, SIGACT News

About the Author
Daniel J. Velleman received his B.A. at Dartmouth College in 1976 summa cum laude, the highest distinction in mathematics. He received his Ph.D. from the University of Wisconsin-Madison in 1980 and was an instructor at the University of Texas-Austin, 1980-1983. His other books include Which Way Did the Bicycle Go? (with Stan Wagon and Joe Konhauser), 1996; Philosophies of Mathematics (with Alexander George), 2002. Among his awards and distinctions are the Lester R. Ford Award for the paper Versatile Coins (with Istvan Szalkai), 1994, the Carl B. Allendoerfer Award for the paper 'Permutations and Combination Locks' (with Greg Call), 1996. He's been a member of the editorial board for American Mathematical Monthly from 1997 to today and was Editor of Dolciani Mathematical Expositions from 1999-2004. He published papers in Journal of Symbolic Logic, Annals of Pure and Applied Logic, Transactions of the American Mathematical Society, Proceedings of the American Mathematical Society, American Mathematical Monthly, Mathematics Magazine, Mathematical Intelligencer, Philosophical Review, American Journal of Physics.

Customer Reviews

I wish I had such a book before taking advanced calculus
Believe it or not, I graduated with a BS in math without being able to write proofs all that well. I got an "A" in advanced calculus and abstract algebra due mostly to the fact that the majority of the students in the class couldn't write proofs. Over a decade later, I was browsing through the math books at my local book store and found this book. After working through some of the problems and studying some of the material, I wished that I had this book a year or so before taking advanced calculus (introductory real analysis). Actually, this book can be handled by a person just finishing high school. My advice to all math majors who don't have a solid foundation in mathematical proofs is to get this book as soon as you can, study it and work many of the problems. This way when you have to take advanced calculus, topology or abstract algebra you will not be struggling to learn how to write proofs. I can not guarrantee that you will breeze through these courses after studying this book, but you will be spending more time on learning concepts and little or no time on the methods and techniques of proofs.

Set Theory is the foundation on which mathematical proofs are based. This book emphasizes set theory.

Breakthrough and Original ......
I recall it was a few years back when I encountered this little gem at my first analysis class. In fact this book wasn't assigned and instead we used Analysis by Lay. I didn't get essential proof tactics/strategies out of Lay's so I plunged myself into Library and after looking up one after another, I finally found this book. It is about as title says and not about Analysis. The book does not cover as much as one expects from Analysis books. But many of them I've seen seem to fail on teaching "how to prove" to study Analysis.

Velleman uses structured style as a technique. Two columns are prepared. The left column is Givens and right Goal. By restructuring Givens and Goal using relationships and definitions, some parts of Goal statement is moved to Givens, like peeling skins of onion. This process iterates until one finds the proving obvious. The whole process is a "scratch work" and a reader is able to see how the author structures the proof step by step, both from Goal and Givens viewpoints.

In past, there was only a Macintosh proofing program, but now Java version called Proof Designer is out. So Windows and Linux users alike can now enjoy this little program in conjunction with the book. Two disappointments with Proof Designer are that the output is only in the form of a traditional proof style which does not expose "the scratch work" and that the program does not use the two column style used in the book.

There are additional materials such as supplementary exercises, documentation, and a list of proof strategies (which is also available at the end of the book as a good reminder and reference), all available from author's site for free. [search in google like this: velleman "how to prove it" inurl:amherst]

After completion of this book, don't throw it away! Advance to Rudin's Principles of Mathematical Analysis and keep Velleman aside. Now one can work on complete proof of materials in Rudin with rigor and study how he constructs logical structures step by step in your own "structured" words!

The best PROOF book I've ever seen.
This is it folks, the best there is!

However, it could have been better. I bought the book almost 10 years ago. I am a secondary ed. math teacher and when I left college I was quite upset with myself that I had this fancy math degree and couldn't prove anything. I picked up this book and today I'm working on my PhD in mathematics! This book inspired me to that.

First - What's wrong with the book. Not that there really is anything wrong with the book. I have attempted this book 3 times. I admit, the first two times I stalled (1997 - 2001) when I got to page 119. For some reason I couldn't grip those concepts such as intersecting families, etc. The preface of the book says only high school mathematics is required - that is just flat out wrong. This book is more for undergrads and maybe older fossils like me that have delved into mathematics a bit more than average. Also, like all the other reviews, there is too many exercises with no solutions. What really threw me with that is I didn't know if I was setting the written argument up properly. Sure, on the one hand, it's better to NOT have answers so you strive like a mad person to find them. Yet, it's so frustrating to not know if you did something right. The best approach is to do your best I suppose. After the third try (2004 & 2005) I finally completed the book on my own volition and I'm assuming most of my content is correct.

Velleman describes math so well that I honestly admit, I have a full repetoire of tactics to use to solve mathematical proofs. I don't have the confidence to toy with the big boys yet, like correcting a 49 page proof pertaining to the 'Twin Prime Conjecture' ... but it is SO NICE to UNDERSTAND the arguments! When I took Number Theory, I knew induction well, I know the If P Then Q arguments, it was just a blessing to know what the angle that the provers were using to prove mathematical theorems. I absolutely love this book. The cover is falling off and the pages are wearing out. I'm about to buy a new copy and start all over again. Mastery of this book, will certainly lead to a mastery of proof-writing in mathematics. I totally 100% recommend you buy this book if you are interested in mathematical proofs.