The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

    Today, unfortunately, the traditional place of mathematics in education is in grave danger. The teaching and learning of mathematics has degenerated into the realm of rote memorization, the outcome of which leads to satisfactory formal ability but does not lead to real understanding or to greater intellectual independence. This new edition of Richard Courant's and Herbert Robbins's classic work seeks to address this problem. Its goal is to put the meaning back into mathematics.Written for beginners and scholars, for students and teachers, for philosophers and engineers, What is Mathematics? Second Edition is a sparkling collection of mathematical gems that offers an entertaining and accessible portrait of the mathematical world. Covering everything from natural numbers and the number system to geometrical constructions and projective geometry, from topology and calculus to matters of principle and the Continuum Hypothesis, this fascinating survey allows readers to delve into mathematics as an organic whole rather than an empty drill in problem solving. With chapters largely independent of one another and sections that lead upward from basic to more advanced discussions, readers can easily pick and choose areas of particular interest without impairing their understanding of subsequent parts.Brought up to date with a new chapter by Ian Stewart, What is Mathematics? Second Edition offers new insights into recent mathematical developments and describes proofs of the Four-Color Theorem and Fermat's Last Theorem, problems that were still open when Courant and Robbins wrote this masterpiece, but ones that have since been solved.Formal mathematics is like spelling and grammar - a matter of the correct application of local rules. Meaningful mathematics is like journalism - it tells an interesting story. But unlike some journalism, the story has to be true. The best mathematics is like literature - it brings a story to life before your eyes and involves you in it, intellectually and emotionally. What is Mathematics is like a fine piece of literature - it opens a window onto the world of mathematics for anyone interested to view.

    40 illustrations throughout.

    A fellow Canadian, a master of creative sociology, a writer who supplied a defining term, Coupland is the ideal chronicler of the uncanny prophet whose vision of the global village—now known as the Internet—has come to pass in the 21st century.

    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.

    It’s time we stand face-to-digital-face with the true powers and limitations of the algorithms that already automate important decisions in healthcare, transportation, crime, and commerce. Hello World is indispensable preparation for the moral quandaries of a world run by code, and with the unfailingly entertaining Hannah Fry as our guide, we’ll be discussing these issues long after the last page is turned.

    In the past, discoveries often had to wait for the rise of the next generation to see questions in a new light and let go of old truisms. Today, in a world that is defined by a rapid rate of change, staying on the cutting edge has as much to do with shedding outdated notions as adopting new ones. In this spirit, John Brockman, publisher of the online salon Edge.org ("the world's smartest website"—The Guardian), asked 175 of the world's most influential scientists, economists, artists, and philosophers: What scientific idea is ready for retirement?Jared Diamond explores the diverse ways that new ideas emerge * Nassim Nicholas Taleb takes down the standard deviation * Richard Thaler and novelist Ian McEwan reveal the usefulness of "bad" ideas * Steven Pinker dismantles the working theory of human behavior * Richard Dawkins renounces essentialism * Sherry Turkle reevaluates our expectations of artificial intelligence * Physicist Andrei Linde suggests that our universe and its laws may not be as unique as we think * Martin Rees explains why scientific understanding is a limitless goal * Alan Guth rethinks the origins of the universe * Sam Harris argues that our definition of science is too narrow * Nobel Prize winner Frank Wilczek disputes the division between mind and matter * Lawrence Krauss challenges the notion that the laws of physics were preordained * plus contributions from Daniel Goleman, Mihaly Csikszentmihalyi, Nicholas Carr, Rebecca Newberger Goldstein, Matt Ridley, Stewart Brand, Sean Carroll, Daniel C. Dennett, Helen Fisher, Douglas Rushkoff, Lee Smolin, Kevin Kelly, Freeman Dyson, and others.

    Birth of a Theorem is Villani’s own account of the years leading up to the award. It invites readers inside the mind of a great mathematician as he wrestles with the most important work of his career.But you don’t have to understand nonlinear Landau damping to love Birth of a Theorem. It doesn’t simplify or overexplain; rather, it invites readers into collaboration. Villani’s diaries, emails, and musings enmesh you in the process of discovery. You join him in unproductive lulls and late-night breakthroughs. You’re privy to the dining-hall conversations at the world’s greatest research institutions. Villani shares his favorite songs, his love of manga, and the imaginative stories he tells his children. In mathematics, as in any creative work, it is the thinker’s whole life that propels discovery—and with Birth of a Theorem, Cédric Villani welcomes you into his.

    It’s no coincidence that geniuses not only dare to dream of the impossible for their work, but do the same for their lives. They’re audacious enough to think that they’re not just ordinary players. Few stories better illustrate this better than the life of the father of the modern world, a man of legendary imaginative power and wonder: Nikola Tesla.In this book, you’ll be taken on a whirlwind journey through Tesla’s life and work, and not only learn about the successes and mistakes of one of history’s greatest inventors, but also how to look at the world in a different, more imaginative way.Read this book now and learn lessons from Nikola Tesla on why imagination is so vital to awakening your inner genius, and insights into the real “secret” to creativity, as explained by people like Jobs, Picasso, Dali, and Twain.

    That’s a mistake, Tim Harford says in The Data Detective. We shouldn’t be suspicious of statistics—we need to understand what they mean and how they can improve our lives: they are, at heart, human behavior seen through the prism of numbers and are often “the only way of grasping much of what is going on around us.” If we can toss aside our fears and learn to approach them clearly—understanding how our own preconceptions lead us astray—statistics can point to ways we can live better and work smarter.As “perhaps the best popular economics writer in the world” (New Statesman), Tim Harford is an expert at taking complicated ideas and untangling them for millions of readers. In The Data Detective, he uses new research in science and psychology to set out ten strategies for using statistics to erase our biases and replace them with new ideas that use virtues like patience, curiosity, and good sense to better understand ourselves and the world. As a result, The Data Detective is a big-idea book about statistics and human behavior that is fresh, unexpected, and insightful.

    A prize of one million dollars was offered to anyone who could unravel it, but Perelman declined the winnings, and in doing so inspired journalist Masha Gessen to tell his story. Drawing on interviews with Perelman’s teachers, classmates, coaches, teammates, and colleagues in Russia and the United States—and informed by her own background as a math whiz raised in Russia—Gessen uncovered a mind of unrivaled computational power, one that enabled Perelman to pursue mathematical concepts to their logical (sometimes distant) end. But she also discovered that this very strength turned out to be Perelman's undoing and the reason for his withdrawal, first from the world of mathematics and then, increasingly, from the world in general.

    Gardner's illuminating autobiography is a candid self-portrait by the man evolutionary theorist Stephen Jay Gould called our single brightest beacon for the defense of rationality and good science against mysticism and anti-intellectualism.Gardner takes readers from his childhood in Oklahoma to his varied and wide-ranging professional pursuits. He shares colorful anecdotes about the many fascinating people he met and mentored, and voices strong opinions on the subjects that matter to him most, from his love of mathematics to his uncompromising stance against pseudoscience. For Gardner, our mathematically structured universe is undiluted hocus-pocus--a marvelous enigma, in other words.Undiluted Hocus-Pocus offers a rare, intimate look at Gardner's life and work, and the experiences that shaped both.

    This is such a book. Max Born is a Nobel Laureate (1955) and one of the world's great physicists: in this book he analyzes and interprets the theory of Einsteinian relativity. The result is undoubtedly the most lucid and insightful of all the books that have been written to explain the revolutionary theory that marked the end of the classical and the beginning of the modern era of physics.The author follows a quasi-historical method of presentation. The book begins with a review of the classical physics, covering such topics as origins of space and time measurements, geometric axioms, Ptolemaic and Copernican astronomy, concepts of equilibrium and force, laws of motion, inertia, mass, momentum and energy, Newtonian world system (absolute space and absolute time, gravitation, celestial mechanics, centrifugal forces, and absolute space), laws of optics (the corpuscular and undulatory theories, speed of light, wave theory, Doppler effect, convection of light by matter), electrodynamics (including magnetic induction, electromagnetic theory of light, electromagnetic ether, electromagnetic laws of moving bodies, electromagnetic mass, and the contraction hypothesis). Born then takes up his exposition of Einstein's special and general theories of relativity, discussing the concept of simultaneity, kinematics, Einstein's mechanics and dynamics, relativity of arbitrary motions, the principle of equivalence, the geometry of curved surfaces, and the space-time continuum, among other topics. Born then points out some predictions of the theory of relativity and its implications for cosmology, and indicates what is being sought in the unified field theory.This account steers a middle course between vague popularizations and complex scientific presentations. This is a careful discussion of principles stated in thoroughly acceptable scientific form, yet in a manner that makes it possible for the reader who has no scientific training to understand it. Only high school algebra has been used in explaining the nature of classical physics and relativity, and simple experiments and diagrams are used to illustrate each step. The layman and the beginning student in physics will find this an immensely valuable and usable introduction to relativity. This Dover 1962 edition was greatly revised and enlarged by Dr. Born.

    Rare Book

    Bell, a leading figure in mathematics in America for half a century. Men of Mathematics accessibly explains the major mathematics, from the geometry of the Greeks through Newton's calculus and on to the laws of probability, symbolic logic, and the fourth dimension. In addition, the book goes beyond pure mathematics to present a series of engrossing biographies of the great mathematicians -- an extraordinary number of whom lived bizarre or unusual lives. Finally, Men of Mathematics is also a history of ideas, tracing the majestic development of mathematical thought from ancient times to the twentieth century. This enduring work's clear, often humorous way of dealing with complex ideas makes it an ideal book for the non-mathematician.