But a dispute over its discovery sowed the seeds of discontent between two of the greatest scientific giants of all time - Sir Isaac Newton and Gottfried Wilhelm Leibniz." "Today Newton and Leibniz are generally considered the twin independent inventors of calculus. They are both credited with giving mathematics its greatest push forward since the time of the Greeks. Had they known each other under different circumstances, they might have been friends. But in their own lifetimes, the joint glory of calculus was not enough for either and each declared war against the other, openly and in secret." This long and bitter dispute has been swept under the carpet by historians - perhaps because it reveals Newton and Leibniz in their worst light - but The Calculus Wars tells the full story in narrative form for the first time. This history ultimately exposes how these twin mathematical giants were brilliant, proud, at times mad, and in the end completely human.

    His illuminating explanation is addressed to the person who wants to understand the place of mathematics in modern civilization but who has been intimidated by its supposed difficulty. Mathematics is the language of size, shape, and order—a language Hogben shows one can both master and enjoy.

    Pure Mathematics 1 corresponds to unit P1. It covers quadratics, functions, coordinate geometry, circular measure, trigonometry, vectors, series, differentiation and integration.

    Based on the abstract, general style of mathematical exposition favored by research mathematicians, its goal was to teach students not just to manipulate numbers and formulas, but to grasp the underlying mathematical concepts. The result, at least at first, was a great deal of confusion among teachers, students, and parents. Since then, the negative aspects of "new math" have been eliminated and its positive elements assimilated into classroom instruction.In this charming volume, a noted English mathematician uses humor and anecdote to illuminate the concepts underlying "new math": groups, sets, subsets, topology, Boolean algebra, and more. According to Professor Stewart, an understanding of these concepts offers the best route to grasping the true nature of mathematics, in particular the power, beauty, and utility of pure mathematics. No advanced mathematical background is needed (a smattering of algebra, geometry, and trigonometry is helpful) to follow the author's lucid and thought-provoking discussions of such topics as functions, symmetry, axiomatics, counting, topology, hyperspace, linear algebra, real analysis, probability, computers, applications of modern mathematics, and much more.By the time readers have finished this book, they'll have a much clearer grasp of how modern mathematicians look at figures, functions, and formulas and how a firm grasp of the ideas underlying "new math" leads toward a genuine comprehension of the nature of mathematics itself.

    Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.

    Far from the thankless, pointless exercises they are often thought to be, mathematics and logic are indispensable guides to ridding ourselves of dominant opinions and making possible an access to truths, or to a human experience of the utmost value. That is why mathematics may well be the shortest path to the true life, which, when it exists, is characterized by an incomparable happiness.

    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.

    This is the classic introduction for the educated lay reader to the richly diverse world of mathematics: its history, philosophy, principles, and personalities.

    

    His apothegm "Cogito, ergo sum" marked the birth of the mind-body problem, while his creation of so-called Cartesian coordinates have made our physical and intellectual conquest of physical space possible.But Descartes had a mysterious and mystical side, as well. Almost certainly a member of the occult brotherhood of the Rosicrucians, he kept a secret notebook, now lost, most of which was written in code. After Descartes's death, Gottfried Leibniz, inventor of calculus and one of the greatest mathematicians in history, moved to Paris in search of this notebook--and eventually found it in the possession of Claude Clerselier, a friend of Descartes. Leibniz called on Clerselier and was allowed to copy only a couple of pages--which, though written in code, he amazingly deciphered there on the spot. Leibniz's hastily scribbled notes are all we have today of Descartes's notebook, which has disappeared.Why did Descartes keep a secret notebook, and what were its contents? The answers to these questions lead Amir Aczel and the reader on an exciting, swashbuckling journey, and offer a fascinating look at one of the great figures of Western culture.

    Imagine that you face three doors, behind one of which is a prize. You choose one but do not open it. The host--call him Monty Hall--opens a different door, alwayschoosing one he knows to be empty. Left with two doors, will you do better by sticking with your first choice, or by switching to the other remaining door? In this light-hearted yet ultimately serious book, Jason Rosenhouse explores the history of this fascinating puzzle. Using a minimum ofmathematics (and none at all for much of the book), he shows how the problem has fascinated philosophers, psychologists, and many others, and examines the many variations that have appeared over the years. As Rosenhouse demonstrates, the Monty Hall Problem illuminates fundamental mathematical issuesand has abiding philosophical implications. Perhaps most important, he writes, the problem opens a window on our cognitive difficulties in reasoning about uncertainty.

    Augustine equate nothingness with the Devil? What tortuous means did 17th-century scientists employ in their attempts to create a vacuum? And why do contemporary quantum physicists believe that the void is actually seething with subatomic activity? You’ll find the answers in this dizzyingly erudite and elegantly explained book by the English cosmologist John D. Barrow.Ranging through mathematics, theology, philosophy, literature, particle physics, and cosmology, The Book of Nothing explores the enduring hold that vacuity has exercised on the human imagination. Combining high-wire speculation with a wealth of reference that takes in Freddy Mercury and Shakespeare alongside Isaac Newton, Albert Einstein, and Stephen Hawking, the result is a fascinating excursion to the vanishing point of our knowledge.

    But was he right? Can the quantum theory of fields and Einstein's general theory of relativity, the two most accurate and successful theories in all of physics, be united in a single quantum theory of gravity? Can quantum and cosmos ever be combined? On this issue, two of the world's most famous physicists--Stephen Hawking ("A Brief History of Time") and Roger Penrose ("The Emperor's New Mind" and "Shadows of the Mind")--disagree. Here they explain their positions in a work based on six lectures with a final debate, all originally presented at the Isaac Newton Institute for Mathematical Sciences at the University of Cambridge.How could quantum gravity, a theory that could explain the earlier moments of the big bang and the physics of the enigmatic objects known as black holes, be constructed? Why does our patch of the universe look just as Einstein predicted, with no hint of quantum effects in sight? What strange quantum processes can cause black holes to evaporate, and what happens to all the information that they swallow? Why does time go forward, not backward?In this book, the two opponents touch on all these questions. Penrose, like Einstein, refuses to believe that quantum mechanics is a final theory. Hawking thinks otherwise, and argues that general relativity simply cannot account for how the universe began. Only a quantum theory of gravity, coupled with the no-boundary hypothesis, can ever hope to explain adequately what little we can observe about our universe. Penrose, playing the realist to Hawking's positivist, thinks that the universe is unbounded and will expand forever. The universe can be understood, he argues, in terms of the geometry of light cones, the compression and distortion of spacetime, and by the use of twistor theory. With the final debate, the reader will come to realize how much Hawking and Penrose diverge in their opinions of the ultimate quest to combine quantum mechanics and relativity, and how differently they have tried to comprehend the incomprehensible.

    From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material. 'A lively and stimulating book' Philosophy

    This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, -The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory.- Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer.In the paper, -On Computable Numbers, with an Application to the Entscheidungsproblem, - Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.