In this book, Sanjoy Mahajan shows us that the way to master complexity is through insight rather than precision. Precision can overwhelm us with information, whereas insight connects seemingly disparate pieces of information into a simple picture. Unlike computers, humans depend on insight. Based on the author’s fifteen years of teaching at MIT, Cambridge University, and Olin College, The Art of Insight in Science and Engineering shows us how to build insight and find understanding, giving readers tools to help them solve any problem in science and engineering.

Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

In the natural science of ancient Greece, music formed the meeting place between numbers and perception; for the next two millennia, Pesic tells us in Music and the Making of Modern Science, “liberal education” connected music with arithmetic, geometry, and astronomy within a fourfold study, the quadrivium. Peter Pesic argues provocatively that music has had a formative effect on the development of modern science—that music has been not just a charming accompaniment to thought but a conceptual force in its own right.

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

Physics is naturally expressed in mathematical language. Students new to the subject must simultaneously learn an idiomatic mathematical language and the content that is expressed in that language. It is as if they were asked to read Les Misérables while struggling with French grammar. This book offers an innovative way to learn the differential geometry needed as a foundation for a deep understanding of general relativity or quantum field theory as taught at the college level.

Have you ever wondered how your GPS can find the fastest way to your destination, selecting one route from seemingly countless possibilities in mere seconds? How your credit card account number is protected when you make a purchase over the Internet? The answer is algorithms. And how do these mathematical formulations translate themselves into your GPS, your laptop, or your smart phone? This book offers an engagingly written guide to the basics of computer algorithms.

In this groundbreaking study, first published in 1983 and unavailable for over a decade, Linda Dalrymple Henderson demonstrates that two concepts of space beyond immediate perception—the curved spaces of non-Euclidean geometry and, most important, a higher, fourth dimension of space—were central to the development of modern art. The possibility of a spatial fourth dimension suggested that our world might be merely a shadow or section of a higher dimensional existence.

The classical view of concepts in psychology was challenged in the 1970s when experimental evidence showed that concept categories are graded and thus cannot be represented adequately by classical sets. The possibility of using fuzzy set theory and fuzzy logic for representing and dealing with concepts was recognized initially but then virtually abandoned in the early 1980s. In this volume, leading researchers—both psychologists working on concepts and mathematicians working on fuzzy logic—reassess the usefulness of fuzzy logic for the psychology of concepts.

Historians of mathematics have devoted considerable attention to Isaac Newton’s work on algebra, series, fluxions, quadratures, and geometry. In Isaac Newton on Mathematical Certainty and Method, Niccolò Guicciardini examines a critical aspect of Newton’s work that has not been tightly connected to Newton’s actual practice: his philosophy of mathematics.

Volume 2 of Musimathics continues the story of music engineering begun in Volume 1, focusing on the digital and computational domain. Loy goes deeper into the mathematics of music and sound, beginning with digital audio, sampling, and binary numbers, as well as complex numbers and how they simplify representation of musical signals. Chapters cover the Fourier transform, convolution, filtering, resonance, the wave equation, acoustical systems, sound synthesis, the short-time Fourier transform, and the wavelet transform.