Michael L. O'Leary – författare

Guides readers through the development of geometry and basic proof writing using a historical approach to the topic In an effort to fully appreciate the logic and structure of geometric proofs, Revolutions of Geometry places proofs into the context of geometry's history, helping readers to understand that proof writing is crucial to the job of a mathematician. Written for students and educators of mathematics alike, the book guides readers through the rich history and influential works, from ancient times to the present, behind the development of geometry. As a result, readers are successfully equipped with the necessary logic to develop a full understanding of geometric theorems.Following a presentation of the geometry of ancient Egypt, Babylon, and China, the author addresses mathematical philosophy and logic within the context of works by Thales, Plato, and Aristotle. Next, the mathematics of the classical Greeks is discussed, incorporating the teachings of Pythagoras and his followers along with an overview of lower-level geometry using Euclid's Elements. Subsequent chapters explore the work of Archimedes, Viete's revolutionary contributions to algebra, Descartes' merging of algebra and geometry to solve the Pappus problem, and Desargues' development of projective geometry. The author also supplies an excursion into non-Euclidean geometry, including the three hypotheses of Saccheri and Lambert and the near simultaneous discoveries of Lobachevski and Bolyai. Finally, modern geometry is addressed within the study of manifolds and elliptic geometry inspired by Riemann's work, Poncelet's return to projective geometry, and Klein's use of group theory to characterize different geometries.The book promotes the belief that in order to learn how to write proofs, one needs to read finished proofs, studying both their logic and grammar. Each chapter features a concise introduction to the presented topic, and chapter sections conclude with exercises that are designed to reinforce the material and provide readers with ample practice in writing proofs. In addition, the overall presentation of topics in the book is in chronological order, helping readers appreciate the relevance of geometry within the historical development of mathematics.Well organized and clearly written, Revolutions of Geometry is a valuable book for courses on modern geometry and the history of mathematics at the upper-undergraduate level. It is also a valuable reference for educators in the field of mathematics.

Based on the premise that in order to write proofs, one needs to read finished proofs as well as study both their logic and grammar, Revolutions in Geometry depicts how to write basic proofs in various fields of geometry. This accessible text for junior and senior undergraduates explains the general development of geometry throughout time, discusses the involvement of its major contributors, and places the proofs into the context of geometry's history to illustrate how crucial proof writing is to the job of a mathematician.

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofsHighlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.The book begins with propositional logic, including two-column proofs and truth table applications, followed by first-order logic, which provides the structure for writing mathematical proofs. Set theory is then introduced and serves as the basis for defining relations, functions, numbers, mathematical induction, ordinals, and cardinals. The book concludes with a primer on basic model theory with applications to abstract algebra. A First Course in Mathematical Logic and Set Theory also includes: Section exercises designed to show the interactions between topics and reinforce the presented ideas and conceptsNumerous examples that illustrate theorems and employ basic concepts such as Euclid’s lemma, the Fibonacci sequence, and unique factorizationCoverage of important theorems including the well-ordering theorem, completeness theorem, compactness theorem, as well as the theorems of Löwenheim–Skolem, Burali-Forti, Hartogs, Cantor–Schröder–Bernstein, and KönigAn excellent textbook for students studying the foundations of mathematics and mathematical proofs, A First Course in Mathematical Logic and Set Theory is also appropriate for readers preparing for careers in mathematics education or computer science. In addition, the book is ideal for introductory courses on mathematical logic and/or set theory and appropriate for upper-undergraduate transition courses with rigorous mathematical reasoning involving algebra, number theory, or analysis.

A text for a junior and senior level courses in modern geometry and/or history of mathematics for mathematics majors as well as secondary education students (this book meets the state geometry standards for California, Florida, Illinois, New York, and Texas).  A prerequisite for this book includes completion of the introductory calculus sequence.  While there is minimal calculus content in the book, the study of proofs does become rather involved. •Highlights from the history of geometry are intertwined with explanations on how to read and write proofs. •This is the first book to present the works of Euclid and Hilbert in addition to other geometers in chronological order, all in an effort to show how the subject matter developed over time. •Hints and both partial and complete solutions are included at the end of the book as an aid for selected exercises. •This book develops ideas with careful attention to logic and follows the development of the field through time. •An Instructor's Solutions Manual is available upon request.