This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than addressing psychological questions, the author deals with more technical questions like how analysis of the shape of the demonstrandum can guide the design of a proof. This technical rather than psychological view of heuristics together with the stress on exploiting formalism effectively are two key features of the book. The book consists of two independently readable parts. One part includes a number of general chapters discussing techniques for clear exposition, the use of formalism, the choice of notations, the choice of what to name and how to name it, and so on. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters.

For seven years, Paul Lockhart’s A Mathematician’s Lament enjoyed a samizdat-style popularity in the mathematics underground, before demand prompted its 2009 publication to even wider applause and debate. An impassioned critique of K–12 mathematics education, it outlined how we shortchange students by introducing them to math the wrong way. Here Lockhart offers the positive side of the math education story by showing us how math should be done. Measurement offers a permanent solution to math phobia by introducing us to mathematics as an artful way of thinking and living. In conversational prose that conveys his passion for the subject, Lockhart makes mathematics accessible without oversimplifying. He makes no more attempt to hide the challenge of mathematics than he does to shield us from its beautiful intensity. Favoring plain English and pictures over jargon and formulas, he succeeds in making complex ideas about the mathematics of shape and motion intuitive and graspable. His elegant discussion of mathematical reasoning and themes in classical geometry offers proof of his conviction that mathematics illuminates art as much as science. Lockhart leads us into a universe where beautiful designs and patterns float through our minds and do surprising, miraculous things. As we turn our thoughts to symmetry, circles, cylinders, and cones, we begin to see that almost anyone can “do the math” in a way that brings emotional and aesthetic rewards. Measurement is an invitation to summon curiosity, courage, and creativity in order to experience firsthand the playful excitement of mathematical work.

Annotation. The Quine-Putnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as other theoretical entities essential to our best scientific theories. Recently, the argument has come under serious scrutiny, with manyinfluential philosophers unconvinced of its cogency. This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

An insightful reflection on the mathematical soul What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers—for the sake of truth, beauty, and practical applications—this book offers an eclectic panorama of the lives and values and hopes and fears of mathematicians in the twenty-first century, assembling material from a startlingly diverse assortment of scholarly, journalistic, and pop culture sources. Drawing on his personal experiences and obsessions as well as the thoughts and opinions of mathematicians from Archimedes and Omar Khayyám to such contemporary giants as Alexander Grothendieck and Robert Langlands, Michael Harris reveals the charisma and romance of mathematics as well as its darker side. In this portrait of mathematics as a community united around a set of common intellectual, ethical, and existential challenges, he touches on a wide variety of questions, such as: Are mathematicians to blame for the 2008 financial crisis? How can we talk about the ideas we were born too soon to understand? And how should you react if you are asked to explain number theory at a dinner party? Disarmingly candid, relentlessly intelligent, and richly entertaining, Mathematics without Apologies takes readers on an unapologetic guided tour of the mathematical life, from the philosophy and sociology of mathematics to its reflections in film and popular music, with detours through the mathematical and mystical traditions of Russia, India, medieval Islam, the Bronx, and beyond.

An instant New York Times Bestseller! “Unreasonably entertaining . . . reveals how geometric thinking can allow for everything from fairer American elections to better pandemic planning.” —The New York Times From the New York Times-bestselling author of How Not to Be Wrong—himself a world-class geometer—a far-ranging exploration of the power of geometry, which turns out to help us think better about practically everything. How should a democracy choose its representatives? How can you stop a pandemic from sweeping the world? How do computers learn to play Go, and why is learning Go so much easier for them than learning to read a sentence? Can ancient Greek proportions predict the stock market? (Sorry, no.) What should your kids learn in school if they really want to learn to think? All these are questions about geometry. For real. If you're like most people, geometry is a sterile and dimly remembered exercise you gladly left behind in the dust of ninth grade, along with your braces and active romantic interest in pop singers. If you recall any of it, it's plodding through a series of miniscule steps only to prove some fact about triangles that was obvious to you in the first place. That's not geometry. Okay, it is geometry, but only a tiny part, which has as much to do with geometry in all its flush modern richness as conjugating a verb has to do with a great novel. Shape reveals the geometry underneath some of the most important scientific, political, and philosophical problems we face. Geometry asks: Where are things? Which things are near each other? How can you get from one thing to another thing? Those are important questions. The word "geometry"comes from the Greek for "measuring the world." If anything, that's an undersell. Geometry doesn't just measure the world—it explains it. Shape shows us how.

This edited volume is an inquiry into the ethics of mathematics education, and to a lesser extent, the ethics of mathematics. The imposition of mathematics for all raises questions of ethics. What are the ethics of teaching school mathematics? What are the costs as well as the benefits? What are the ethical issues raised by the official aims of mathematics teaching, the planned curriculum, the pedagogies employed in school and college mathematics and the assessment systems? These questions are addressed in the book as well as what systems of ethics we might use. The volume ventures into a burgeoning new field. It offers a unique set of investigations, both theoretical and in terms of practices. It announces the ethics of mathematics education as a new subfield of research and includes valuable contributions from many of the best-known researchers in mathematics education; additionally, it is a valuable resource for students, teachers and researchers in the field. This is an enduring and classic source book in the field. From the wisdom of leading scholars to the little heard voices of students, this collection offers the reader many striking new insights into the ethics of mathematics and education.

Philosophy For Life is the definitive introduction to the history of Western thought, but more than that, it is a toolkit for using philosophy in your daily life. As you read, you will develop your own critical and creative thinking, exploring the key ideas in Western Philosophy and the arguments that continue to shape our world. You will discover what philosophy is really about, learn to be a sceptic, meet Plato and Aristotle, explore the concept of mind, question free will, use philosophy to be happy, find out about Marx and materialism, see how philosophy relates to everything from comics to coffee, and ask whether god exists. Philosophy is a life-tool, a set of skills for engaging with any subject, and in Philosphy For Life, you will discover a body of wisdom and a way to develop your own critical and creative thinking. ABOUT THE SERIES People have been learning with Teach Yourself since 1938. With a vast range of practical, how-to guides covering language learning, lifestyle, hobbies, business, psychology and self-help, there's a Teach Yourself book for whatever you want to do. Join more than 60 million people who have reached their goals with Teach Yourself, and never stop learning.