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.

    W. R. Dedekind. The first presents Dedekind's theory of the irrational number-the Dedekind cut idea-perhaps the most famous of several such theories created in the 19th century to give a precise meaning to irrational numbers, which had been used on an intuitive basis since Greek times. This paper provided a purely arithmetic and perfectly rigorous foundation for the irrational numbers and thereby a rigorous meaning of continuity in analysis.The second essay is an attempt to give a logical basis for transfinite numbers and properties of the natural numbers. It examines the notion of natural numbers, the distinction between finite and transfinite (infinite) whole numbers, and the logical validity of the type of proof called mathematical or complete induction.The contents of these essays belong to the foundations of mathematics and will be welcomed by those who are prepared to look into the somewhat subtle meanings of the elements of our number system. As a major work of an important mathematician, the book deserves a place in the personal library of every practicing mathematician and every teacher and historian of mathematics. Authorized translations by "Vooster " V. Beman.

    Breaking down the symbols themselves, they pose a series of questions: What is energy? What is mass? What has the speed of light got to do with energy and mass? In answering these questions, they take us to the site of one of the largest scientific experiments ever conducted. Lying beneath the city of Geneva, straddling the Franco-Swiss boarder, is a 27 km particle accelerator, known as the Large Hadron Collider. Using this gigantic machine—which can recreate conditions in the early Universe fractions of a second after the Big Bang—Cox and Forshaw will describe the current theory behind the origin of mass.Alongside questions of energy and mass, they will consider the third, and perhaps, most intriguing element of the equation: 'c' - or the speed of light. Why is it that the speed of light is the exchange rate? Answering this question is at the heart of the investigation as the authors demonstrate how, in order to truly understand why E=mc2, we first must understand why we must move forward in time and not backwards and how objects in our 3-dimensional world actually move in 4-dimensional space-time. In other words, how the very fabric of our world is constructed. A collaboration between two of the youngest professors in the UK, Why Does E=mc2? promises to be one of the most exciting and accessible explanations of the theory of relativity in recent years.

    A modern classic by an accomplished mathematician and best-selling author has been updated to encompass and explain the recent headline-making advances in the field in non-technical terms.

    Dozens of examples in innumeracy show us how it affects not only personal economics and travel plans, but explains mis-chosen mates, inappropriate drug-testing, and the allure of pseudo-science.

    We often overlook the historical link between mathematics and technological advances, says Stewart—but this connection is integral to any complete understanding of human history.Equations are modeled on the patterns we find in the world around us, says Stewart, and it is through equations that we are able to make sense of, and in turn influence, our world. Stewart locates the origins of each equation he presents—from Pythagoras's Theorem to Newton's Law of Gravity to Einstein's Theory of Relativity—within a particular historical moment, elucidating the development of mathematical and philosophical thought necessary for each equation's discovery. None of these equations emerged in a vacuum, Stewart shows; each drew, in some way, on past equations and the thinking of the day. In turn, all of these equations paved the way for major developments in mathematics, science, philosophy, and technology. Without logarithms (invented in the early 17th century by John Napier and improved by Henry Briggs), scientists would not have been able to calculate the movement of the planets, and mathematicians would not have been able to develop fractal geometry. The Wave Equation is one of the most important equations in physics, and is crucial for engineers studying the vibrations in vehicles and the response of buildings to earthquakes. And the equation at the heart of Information Theory, devised by Claude Shannon, is the basis of digital communication today.An approachable and informative guide to the equations upon which nearly every aspect of scientific and mathematical understanding depends, In Pursuit of the Unknown is also a reminder that equations have profoundly influenced our thinking and continue to make possible many of the advances that we take for granted.

    However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel, Escher, Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.

    The era covered by this book, 1950 to 1990, was surely one of the golden ages of science as well as the American university.Cherished myths are debunked along the way as Gian-Carlo Rota takes pleasure in portraying, warts and all, some of the great scientific personalities of the period Stanislav Ulam (who, together with Edward Teller, signed the patent application for the hydrogen bomb), Solomon Lefschetz (Chairman in the 50s of the Princeton mathematics department), William Feller (one of the founders of modern probability theory), Jack Schwartz (one of the founders of computer science), and many others.Rota is not afraid of controversy. Some readers may even consider these essays indiscreet. After the publication of the essay "The Pernicious Influence of Mathematics upon Philosophy" (reprinted six times in five languages) the author was blacklisted in analytical philosophy circles. Indiscrete Thoughts should become an instant classic and the subject of debate for decades to come."Read Indiscrete Thoughts for its account of the way we were and what we have become; for its sensible advice and its exuberant rhetoric."--The Mathematical Intelligencer"Learned, thought-provoking, politically incorrect, delighting in paradox, and likely to offend but everywhere readable and entertaining."--The American Mathematical Monthly"It is about mathematicians, the way they think, and the world in which the live. It is 260 pages of Rota calling it like he sees it... Readers are bound to find his observations amusing if not insightful. Gian-Carlo Rota has written the sort of book that few mathematicians could write. What will appeal immediately to anyone with an interest in research mathematics are the stories he tells about the practice of modern mathematics."--MAA Reviews"

    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.

    With the stroke of a pen the Jesuit fathers banned the doctrine of infinitesimals, announcing that it could never be taught or even mentioned. The concept was deemed dangerous and subversive, a threat to the belief that the world was an orderly place, governed by a strict and unchanging set of rules. If infinitesimals were ever accepted, the Jesuits feared, the entire world would be plunged into chaos.In Infinitesimal, the award-winning historian Amir Alexander exposes the deep-seated reasons behind the rulings of the Jesuits and shows how the doctrine persisted, becoming the foundation of calculus and much of modern mathematics and technology. Indeed, not everyone agreed with the Jesuits. Philosophers, scientists, and mathematicians across Europe embraced infinitesimals as the key to scientific progress, freedom of thought, and a more tolerant society. As Alexander reveals, it wasn't long before the two camps set off on a war that pitted Europe's forces of hierarchy and order against those of pluralism and change.The story takes us from the bloody battlefields of Europe's religious wars and the English Civil War and into the lives of the greatest mathematicians and philosophers of the day, including Galileo and Isaac Newton, Cardinal Bellarmine and Thomas Hobbes, and Christopher Clavius and John Wallis. In Italy, the defeat of the infinitely small signaled an end to that land's reign as the cultural heart of Europe, and in England, the triumph of infinitesimals helped launch the island nation on a course that would make it the world's first modern state.From the imperial cities of Germany to the green hills of Surrey, from the papal palace in Rome to the halls of the Royal Society of London, Alexander demonstrates how a disagreement over a mathematical concept became a contest over the heavens and the earth. The legitimacy of popes and kings, as well as our beliefs in human liberty and progressive science, were at stake-the soul of the modern world hinged on the infinitesimal.

    Hardy, in the years before World War I. Through their eyes the reader is taken on a journey through numbers theory. Ramanujan would regularly telescope 12 steps of logic into two - the effect is said to be like Dr Watson in the train of some argument by Sherlock Holmes. The language of symbols and infinitely large (and small) regions of mathematics should be rendered with clarity for the general reader.

    In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Godel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.

    Now, in an exciting, fast-paced historical narrative ranging across two centuries, Mark Ronan takes us on an exhilarating tour of this final mathematical quest. Ronan describes how the quest to understand symmetry really began with the tragic young genius Evariste Galois, who died at the age of 20 in a duel. Galois, who spent the night before he died frantically scribbling his unpublished discoveries, used symmetry to understand algebraic equations, and he discovered that there were building blocks or atoms of symmetry. Most of these building blocks fit into a table, rather like the periodic table of elements, but mathematicians have found 26 exceptions. The biggest of these was dubbed the Monster--a giant snowflake in 196,884 dimensions. Ronan, who personally knows the individuals now working on this problem, reveals how the Monster was only dimly seen at first. As more and more mathematicians became involved, the Monster became clearer, and it was found to be not monstrous but a beautiful form that pointed out deep connections between symmetry, string theory, and the very fabric and form of the universe. This story of discovery involves extraordinary characters, and Mark Ronan brings these people to life, vividly recreating the growing excitement of what became the biggest joint project ever in the field of mathematics. Vibrantly written, Symmetry and the Monster is a must-read for all fans of popular science--and especially readers of such books as Fermat's Last Theorem.

    This work represents the views of a mathematician on the analogies between computing machines and the living human brain.

    Reveals mathematics' great power as an alternative language for understanding things and explores such concepts as logic as a computing tool, digital versus analog processes and communication as information transmission.