100% mathematical proof

Front Cover
Wiley, 1996 - Mathematics - 317 pages
0 Reviews
Proof" has been & remains one of the concepts which characterises mathematics. Covering basic propositional & predicate logic as well as discussing axiom systems & formal proofs, the book seeks to explain what mathematicians understand by proofs & how they are communicated. The authors explore the principle techniques of direct & indirect proof including induction, existence & uniqueness proofs, proof by contradiction, constructive & non-constructive proofs, etc. Many examples from analysis & modern algebra are included. The exceptionally clear style & presentation ensures that the book will be useful & enjoyable to those studying & interested in the notion of mathematical "proof.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Propositional Logic
15
Predicate Logic
63
Axiom Systems and Formal Proof
89
Direct Proof
121
Variations
167
Existence and Uniqueness Proofs
185
Further Proof Techniques
209
Mathematical Induction
239
Some Definitions and Terminology
265
References and Further Reading
273
Index
313
Copyright

Other editions - View all

About the author (1996)

He was formerly Reader in History at the University of Leeds.

Bibliographic information