How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.

    Michael Guillen, known to millions as the science editor of ABC's Good Morning America, tells the fascinating stories behind five mathematical equations. As a regular contributor to daytime's most popular morning news show and an instructor at Harvard University, Dr. Michael Guillen has earned the respect of millions as a clear and entertaining guide to the exhilarating world of science and mathematics. Now Dr. Guillen unravels the equations that have led to the inventions and events that characterize the modern world, one of which -- Albert Einstein's famous energy equation, E=mc2 -- enabled the creation of the nuclear bomb. Also revealed are the mathematical foundations for the moon landing, airplane travel, the electric generator -- and even life itself. Praised by Publishers Weekly as "a wholly accessible, beautifully written exploration of the potent mathematical imagination," and named a Best Nonfiction Book of 1995, the stories behind The Five Equations That Changed the World, as told by Dr. Guillen, are not only chronicles of science, but also gripping dramas of jealousy, fame, war, and discovery. Dr. Michael Guillen is Instructor of Physics and Mathematics in the Core Curriculum Program at Harvard University.

    In the four main sections of the book, Stein tells the stories of the mathematical thinkers who discerned some of the most fundamental aspects of our universe. From their successes and failures, delusions, and even duels, the trajectories of their innovations—and their impact on society—are traced in this fascinating narrative. Quantum mechanics, space-time, chaos theory and the workings of complex systems, and the impossibility of a "perfect" democracy are all here. Stein's book is both mind-bending and practical, as he explains the best way for a salesman to plan a trip, examines why any thought you could have is imbedded in the number π , and—perhaps most importantly—answers one of the modern world's toughest questions: why the garage can never get your car repaired on time.Friendly, entertaining, and fun, How Math Explains the World is the first book by one of California's most popular math teachers, a veteran of both "math for poets" and Princeton's Institute for Advanced Studies. And it's perfect for any reader wanting to know how math makes both science and the world tick.

    Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

    But from the perspective of mathematics, groupings of ten are arbitrary, and can have serious shortcomings. Twelve would be better for divisibility, and eight is smaller and well suited to repeated halving. Grouping by two, as in binary code, has turned out to have its own remarkable advantages.Paul Lockhart reveals arithmetic not as the rote manipulation of numbers--a practical if mundane branch of knowledge best suited for balancing a checkbook or filling out tax forms--but as a set of ideas that exhibit the fascinating and sometimes surprising behaviors usually reserved for higher branches of mathematics. The essence of arithmetic is the skillful arrangement of numerical information for ease of communication and comparison, an elegant intellectual craft that arises from our desire to count, add to, take away from, divide up, and multiply quantities of important things. Over centuries, humans devised a variety of strategies for representing and using numerical information, from beads and tally marks to adding machines and computers. Lockhart explores the philosophical and aesthetic nature of counting and of different number systems, both Western and non-Western, weighing the pluses and minuses of each.A passionate, entertaining survey of foundational ideas and methods, Arithmetic invites readers to experience the profound and simple beauty of its subject through the eyes of a modern research mathematician.

    a personal confession of its creator and a kind of involuntary and unperceived memoir.". Stewart affirms this maxim in his colorful reinterpretation of the lives and works of 17th-century philosophers Spinoza and Leibniz. In November 1676, the foppish courtier Leibniz, "the ultimate insider... an orthodox Lutheran from conservative Germany," journeyed to The Hague to visit the self-sufficient, freethinking Spinoza, "a double exile... an apostate Jew from licentious Holland." A prodigious polymath, Leibniz understood Spinoza's insight that "science was in the process of rendering the God of revelation obsolete; that it had already undermined the special place of the human individual in nature." Spinoza embraced this new world. Seeing the orthodox God as a "prop for theocratic tyranny," he articulated the basic theory for the modern secular state. Leibniz, on the other hand, spent the rest of his life championing God and theocracy like a defense lawyer defending a client he knows is guilty. He elaborated a metaphysics that was, at bottom, a reaction to Spinoza and collapses into Spinozism, as Stewart deftly shows. For Stewart, Leibniz's reaction to Spinoza and modernity set the tone for "the dominant form of modern philosophy"—a category that includes Kant, Hegel, Bergson, Heidegger and "the whole 'postmodern' project of deconstructing the phallogocentric tradition of western thought." Readers of philosophy may find much to disagree with in these arguments, but Stewart's wit and profluent prose make this book a fascinating read.

    Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of Part II (dealing with unit classes and couples); and Appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).

    Theory and practice in the design of data graphics, 250 illustrations of the best (and a few of the worst) statistical graphics, with detailed analysis of how to display data for precise, effective, quick analysis. Design of the high-resolution displays, small multiples. Editing and improving graphics. The data-ink ratio. Time-series, relational graphics, data maps, multivariate designs. Detection of graphical deception: design variation vs. data variation. Sources of deception. Aesthetics and data graphical displays. This is the second edition of The Visual Display of Quantitative Information. Recently published, this new edition provides excellent color reproductions of the many graphics of William Playfair, adds color to other images, and includes all the changes and corrections accumulated during 17 printings of the first edition.

    According to the author, these trends sought to create a unified conceptual apparatus as a common basis for the whole of human knowledge.Because these new developments in logical thought tended to perfect and sharpen the deductive method, an indispensable tool in many fields for deriving conclusions from accepted assumptions, the author decided to widen the scope of the work. In subsequent editions he revised the book to make it also a text on which to base an elementary college course in logic and the methodology of deductive sciences. It is this revised edition that is reprinted here.Part One deals with elements of logic and the deductive method, including the use of variables, sentential calculus, theory of identity, theory of classes, theory of relations and the deductive method. The Second Part covers applications of logic and methodology in constructing mathematical theories, including laws of order for numbers, laws of addition and subtraction, methodological considerations on the constructed theory, foundations of arithmetic of real numbers, and more. The author has provided numerous exercises to help students assimilate the material, which not only provides a stimulating and thought-provoking introduction to the fundamentals of logical thought, but is the perfect adjunct to courses in logic and the foundation of mathematics.

    Originally published in 1637, it has been characterized as "the greatest single step ever made in the progress of the exact sciences" (John Stuart Mill); as a book which "remade geometry and made modern geometry possible" (Eric Temple Bell). It "revolutionized the entire conception of the object of mathematical science" (J. Hadamard).With this volume Descartes founded modern analytical geometry. Reducing geometry to algebra and analysis and, conversely, showing that analysis may be translated into geometry, it opened the way for modern mathematics. Descartes was the first to classify curves systematically and to demonstrate algebraic solution of geometric curves. His geometric interpretation of negative quantities led to later concepts of continuity and the theory of function. The third book contains important contributions to the theory of equations.This edition contains the entire definitive Smith-Latham translation of Descartes' three books: Problems the Construction of which Requires Only Straight Lines and Circles; On the Nature of Curved Lines; and On the Construction of Solid and Supersolid Problems. Interleaved page by page with the translation is a complete facsimile of the 1637 French text, together with all Descartes' original illustrations; 248 footnotes explain the text and add further bibliography.

    The text begins with basic skills related to personal experience and then carefully progresses to the more sophisticated reasoning skills required for abstract, academic contexts. Thinking Critically introduces students to the cognitive process while teaching them to develop their higher-order thinking and language abilities. A number of distinctive characteristics make the text an effective tool for both instructors and students. Exercises, discussion topics, and writing assignments encourage active participation, stimulating students to critically examine their own and others' thinking.

    A genius who throughout his life solved complex mathematical calculations in his head, and a writer gifted with an inimitable style, Poincaré rose to the challenge of interpreting the philosophy of science to scientists and nonscientists alike. His lucid and welcoming prose made him the Carl Sagan of his time. This volume collects his three most important books: Science and Hypothesis (1903); The Value of Science (1905); and Science and Method (1908).

    It now has 600,000 to a million page hits daily. Every now and then, Munroe would get emails asking him to arbitrate a science debate. 'My friend and I were arguing about what would happen if a bullet got struck by lightning, and we agreed that you should resolve it . . . ' He liked these questions so much that he started up What If. If your cells suddenly lost the power to divide, how long would you survive? How dangerous is it, really, to be in a swimming pool in a thunderstorm? If we hooked turbines to people exercising in gyms, how much power could we produce? What if everyone only had one soulmate?When (if ever) did the sun go down on the British empire? How fast can you hit a speed bump while driving and live?What would happen if the moon went away?In pursuit of answers, Munroe runs computer simulations, pores over stacks of declassified military research memos, solves differential equations, and consults with nuclear reactor operators. His responses are masterpieces of clarity and hilarity, studded with memorable cartoons and infographics. They often predict the complete annihilation of humankind, or at least a really big explosion. Far more than a book for geeks, WHAT IF: Serious Scientific Answers to Absurd Hypothetical Questions explains the laws of science in operation in a way that every intelligent reader will enjoy and feel much the smarter for having read.

    This essay by Copernicus (1473-1543), revolutionized the way we look at the earth's placement in the universe, and paved the way for many great scientists, including Galileo and Isaac Newton, whose theories stemmed from this model. Featuring a biography of Copernicus and an accessible, enlightening introduction, both written by the renowned physicist Stephen Hawking, On the Revolution of Heavenly Spheres provides a fascinating look at the theories which shaped our modern understanding of astronomy and physics.

    The remaining lectures build on that idea, examining the possibility of building a relativistic quantum theory on curved surfaces or flat surfaces.