Book picks similar to
Categorical Logic and Type Theory by Bart Jacobs
mathematics
logic
aatr-length-3
amaths
A Most Elegant Equation: Euler's Formula and the Beauty of Mathematics
David Stipp - 2017
More than two centuries after Euler's death, it is still regarded as a conceptual diamond of unsurpassed beauty. Called Euler's identity or God's equation, it includes just five numbers but represents an astonishing revelation of hidden connections. It ties together everything from basic arithmetic to compound interest, the circumference of a circle, trigonometry, calculus, and even infinity. In David Stipp's hands, Euler's identity formula becomes a contemplative stroll through the glories of mathematics. The result is an ode to this magical field.
Sciencia: Mathematics, Physics, Chemistry, Biology, and Astronomy for All
Burkard Polster - 2011
Lavishly illustrated with engravings, woodcuts, and original drawings and diagrams, Sciencia will inspire readers of all ages to take an interest in the interconnected knowledge of the modern sciences.Beautifully produced in thirteen different colors of ink, Sciencia is an essential reference and an elegant gift.Wooden Books was founded in 1999 by designer John Martineau near Hay-on-Wye. The aim was to produce a beautiful series of recycled books based on the classical philosophies, arts and sciences. Using the Beatrix Potter formula of text facing picture pages, and old-styles fonts, along with hand-drawn illustrations and 19th century engravings, the books are designed not to date. Small but stuffed with information. Eco friendly and educational. Big ideas in a tiny space. There are over 1,000,000 Wooden Books now in print worldwide and growing.
The Principia: Mathematical Principles of Natural Philosophy
Isaac Newton - 1687
Even after more than three centuries and the revolutions of Einsteinian relativity and quantum mechanics, Newtonian physics continues to account for many of the phenomena of the observed world, and Newtonian celestial dynamics is used to determine the orbits of our space vehicles.This completely new translation, the first in 270 years, is based on the third (1726) edition, the final revised version approved by Newton; it includes extracts from the earlier editions, corrects errors found in earlier versions, and replaces archaic English with contemporary prose and up-to-date mathematical forms. Newton's principles describe acceleration, deceleration, and inertial movement; fluid dynamics; and the motions of the earth, moon, planets, and comets. A great work in itself, the Principia also revolutionized the methods of scientific investigation. It set forth the fundamental three laws of motion and the law of universal gravity, the physical principles that account for the Copernican system of the world as emended by Kepler, thus effectively ending controversy concerning the Copernican planetary system.The illuminating Guide to the Principia by I. Bernard Cohen, along with his and Anne Whitman's translation, will make this preeminent work truly accessible for today's scientists, scholars, and students.
How to read and do proofs
Daniel Solow - 1982
Shows how any proof can be understood as a sequence of techniques. Covers the full range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction. Explains how to identify which techniques are used and how they are applied in the specific problem. Illustrates how to read written proofs with many step-by-step examples. Includes new, expanded appendices related to discrete mathematics, linear algebra, modern algebra and real analysis.
The Moscow Puzzles: 359 Mathematical Recreations
Boris A. Kordemsky - 1954
Since its first appearance in 1956 there have been eight editions as well as translations from the original Russian into Ukrainian, Estonian, Lettish, and Lithuanian. Almost a million copies of the Russian version alone have been sold.Part of the reason for the book's success is its marvelously varied assortment of brainteasers ranging from simple "catch" riddles to difficult problems (none, however, requiring advanced mathematics). Many of the puzzles will be new to Western readers, while some familiar problems have been clothed in new forms. Often the puzzles are presented in the form of charming stories that provide non-Russian readers with valuable insights into contemporary Russian life and customs. In addition, Martin Gardner, former editor of the Mathematical Games Department, Scientific American, has clarified and simplified the book to make it as easy as possible for an English-reading public to understand and enjoy. He has been careful, moreover, to retain nearly all the freshness, warmth, and humor of the original.Lavishly illustrated with over 400 clear diagrams and amusing sketches, this inexpensive edition of the first English translation will offer weeks or even months of stimulating entertainment. It belongs in the library of every puzzlist or lover of recreational mathematics.
Change is the Only Constant: The Wisdom of Calculus in a Madcap World
Ben Orlin - 2019
By spinning 28 mathematical tales, Orlin shows us that calculus is simply another language to express the very things we humans grapple with every day -- love, risk, time, and most importantly, change. Divided into two parts, "Moments" and "Eternities," and drawing on everyone from Sherlock Holmes to Mark Twain to David Foster Wallace, Change is the Only Constant unearths connections between calculus, art, literature, and a beloved dog named Elvis. This is not just math for math's sake; it's math for the sake of becoming a wiser and more thoughtful human.
The Mathematical Tourist: New & Updated Snapshots of Modern Mathematics
Ivars Peterson - 1988
Now the journey continues in a new, updated edition that includes all the latest information on mathematical proofs, fractals, prime numbers, and chaos, as well as new material on* the relationship between mathematical knots and DNA* how computers based on quantum logic can significantly speed up the factoring of large composite numbers* the relationship between four-dimensional geometry and physical theories of the nature of matter* the application of cellular automata models to social questions and the peregrinations of virtual ants* a novel mathematical model of quasicrystals based on decagon-shaped tilesBlazing a trail through rows of austere symbols and dense lines of formulae, Peterson explores the central ideas behind the work of professional mathematicians-- how and where their pieces of the mathematical puzzle fit in, the sources of their ideas, their fountains of inspiration, and the images that carry them from one discovery to another.
The Mathematical Experience
Philip J. Davis - 1980
This is the classic introduction for the educated lay reader to the richly diverse world of mathematics: its history, philosophy, principles, and personalities.
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
Against the Gods: The Remarkable Story of Risk
Peter L. Bernstein - 1996
Peter Bernstein has written a comprehensive history of man's efforts to understand risk and probability, beginning with early gamblers in ancient Greece, continuing through the 17th-century French mathematicians Pascal and Fermat and up to modern chaos theory. Along the way he demonstrates that understanding risk underlies everything from game theory to bridge-building to winemaking.
Statistics Done Wrong: The Woefully Complete Guide
Alex Reinhart - 2013
Politicians and marketers present shoddy evidence for dubious claims all the time. But smart people make mistakes too, and when it comes to statistics, plenty of otherwise great scientists--yes, even those published in peer-reviewed journals--are doing statistics wrong."Statistics Done Wrong" comes to the rescue with cautionary tales of all-too-common statistical fallacies. It'll help you see where and why researchers often go wrong and teach you the best practices for avoiding their mistakes.In this book, you'll learn: - Why "statistically significant" doesn't necessarily imply practical significance- Ideas behind hypothesis testing and regression analysis, and common misinterpretations of those ideas- How and how not to ask questions, design experiments, and work with data- Why many studies have too little data to detect what they're looking for-and, surprisingly, why this means published results are often overestimates- Why false positives are much more common than "significant at the 5% level" would suggestBy walking through colorful examples of statistics gone awry, the book offers approachable lessons on proper methodology, and each chapter ends with pro tips for practicing scientists and statisticians. No matter what your level of experience, "Statistics Done Wrong" will teach you how to be a better analyst, data scientist, or researcher.
Mathematics: A Very Short Introduction
Timothy Gowers - 2002
The most fundamental differences are philosophical, and readers of this book will emerge with a clearer understandingof paradoxical-sounding concepts such as infinity, curved space, and imaginary numbers. The first few chapters are about general aspects of mathematical thought. These are followed by discussions of more specific topics, and the book closes with a chapter answering common sociological questionsabout the mathematical community (such as Is it true that mathematicians burn out at the age of 25?) It is the ideal introduction for anyone who wishes to deepen their understanding of mathematics.About the Series: Combining authority with wit, accessibility, and style, Very Short Introductions offer an introduction to some of life's most interesting topics. Written by experts for the newcomer, they demonstrate the finest contemporary thinking about the central problems and issues in hundredsof key topics, from philosophy to Freud, quantum theory to Islam.
Div, Grad, Curl, and All That: An Informal Text on Vector Calculus
Harry M. Schey - 1973
Since the publication of the First Edition over thirty years ago, Div, Grad, Curl, and All That has been widely renowned for its clear and concise coverage of vector calculus, helping science and engineering students gain a thorough understanding of gradient, curl, and Laplacian operators without required knowledge of advanced mathematics.
Bayes Theorem: A Visual Introduction For Beginners
Dan Morris - 2016
Bayesian statistics is taught in most first-year statistics classes across the nation, but there is one major problem that many students (and others who are interested in the theorem) face. The theorem is not intuitive for most people, and understanding how it works can be a challenge, especially because it is often taught without visual aids. In this guide, we unpack the various components of the theorem and provide a basic overview of how it works - and with illustrations to help. Three scenarios - the flu, breathalyzer tests, and peacekeeping - are used throughout the booklet to teach how problems involving Bayes Theorem can be approached and solved. Over 60 hand-drawn visuals are included throughout to help you work through each problem as you learn by example. The illustrations are simple, hand-drawn, and in black and white. For those interested, we have also included sections typically not found in other beginner guides to Bayes Rule. These include: A short tutorial on how to understand problem scenarios and find P(B), P(A), and P(B|A). For many people, knowing how to approach scenarios and break them apart can be daunting. In this booklet, we provide a quick step-by-step reference on how to confidently understand scenarios.A few examples of how to think like a Bayesian in everyday life. Bayes Rule might seem somewhat abstract, but it can be applied to many areas of life and help you make better decisions. It is a great tool that can help you with critical thinking, problem-solving, and dealing with the gray areas of life. A concise history of Bayes Rule. Bayes Theorem has a fascinating 200+ year history, and we have summed it up for you in this booklet. From its discovery in the 1700’s to its being used to break the German’s Enigma Code during World War 2, its tale is quite phenomenal.Fascinating real-life stories on how Bayes formula is used in everyday life.From search and rescue to spam filtering and driverless cars, Bayes is used in many areas of modern day life. We have summed up 3 examples for you and provided an example of how Bayes could be used.An expanded definitions, notations, and proof section.We have included an expanded definitions and notations sections at the end of the booklet. In this section we define core terms more concretely, and also cover additional terms you might be confused about. A recommended readings section.From The Theory That Would Not Die to a few other books, there are a number of recommendations we have for further reading. Take a look! If you are a visual learner and like to learn by example, this intuitive booklet might be a good fit for you. Bayesian statistics is an incredibly fascinating topic and likely touches your life every single day. It is a very important tool that is used in data analysis throughout a wide-range of industries - so take an easy dive into the theorem for yourself with a visual approach!If you are looking for a short beginners guide packed with visual examples, this booklet is for you.
Understanding Analysis
Stephen Abbott - 2000
The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on questions which give analysis its inherent fascination.