+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: BOOKS (https://mklab.gr/forumdisplay.php?fid=6)
+----- Forum: NEW BOOKS (https://mklab.gr/forumdisplay.php?fid=42)
+------ Forum: FOREIGN (https://mklab.gr/forumdisplay.php?fid=91)
+------- Forum: PURE AND APPLIED MATHS (https://mklab.gr/forumdisplay.php?fid=94)
+-------- Forum: FOUNDATIONS OF MATHS (https://mklab.gr/forumdisplay.php?fid=168)
+-------- Thread: Proofs: A Long-Form Mathematics Textbook [Cummings] (/showthread.php?tid=1699)
Proofs: A Long-Form Mathematics Textbook [Cummings] - mklabgr - 08-20-2026
Proofs: A Long-Form Mathematics Textbook
Author: Jay Cummings
Publication date: January 19, 2021
Publisher: Independently published
Length: 511 pages
ISBN: 979-8595265973
Field: Mathematical proof, logic, foundations / introduction to higher mathematics
Summary
Proofs: A Long-Form Mathematics Textbook is an introduction to the construction and understanding of mathematical proofs, aimed especially at students making the transition from computational mathematics to university-level abstract mathematics. Unlike the conventional textbook pattern of “definition → theorem → proof,” Jay Cummings deliberately uses extensive explanations, motivation, informal commentary and visual illustrations. Many proofs are preceded by scratch work or a proof sketch, showing how a mathematician might discover the argument before presenting the polished proof. The emphasis is therefore not merely on reading proofs but on learning how to invent them yourself.
The central chapters develop the standard toolkit of proof writing: intuitive arguments, direct proofs, sets, mathematical induction, logic, contraposition, proof by contradiction, functions and relations. Cummings pays particular attention to the reasoning behind each technique—for example, how to recognize when a contrapositive might simplify a statement or when contradiction is the natural approach. More than 200 illustrations and a conversational style make the material considerably less formal and intimidating than many traditional introductions to proof.
The book also functions as a gateway to higher mathematics. After the main chapters, Cummings introduces subjects including Ramsey theory, number theory, topology, sequences, real analysis, cardinality, game theory, group theory and applications involving data. Chapters are supplemented by exercises, “pro-tips” about studying and mathematical culture, discussions of unsolved problems, and appendices covering additional proof methods, particularly elegant proofs, and advice on mathematical writing.
Key takeaways
- Proofs are presented as a problem-solving process, not simply as finished formal arguments.
- The book is particularly useful for students encountering abstract mathematics for the first time.
- The inclusion of scratch work is one of its strongest features: it exposes the normally hidden thinking behind a proof.
- It provides an unusually broad preview of areas students will encounter later in a mathematics degree.
- Its style is intentionally conversational and student-friendly rather than terse and encyclopedic.
BOOK