100% mathematical proof
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.
Axiom Systems and Formal Proof
Existence and Uniqueness Proofs
Further Proof Techniques
Some Definitions and Terminology
References and Further Reading