The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

    A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.

    Would you believe that these five pieces can be reassembled in such a fashion so as to create two apples equal in shape and size to the original? Would you believe that you could make something as large as the sun by breaking a pea into a finite number of pieces and putting it back together again? Neither did Leonard Wapner, author of The Pea and the Sun, when he was first introduced to the Banach-Tarski paradox, which asserts exactly such a notion. Written in an engaging style, The Pea and the Sun catalogues the people, events, and mathematics that contributed to the discovery of Banach and Tarski's magical paradox. Wapner makes one of the most interesting problems of advanced mathematics accessible to the non-mathematician.

    Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that mathematics is logic (logicism), the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline.This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy.

    This is done in a way that is not only easy to understand, but is actually fun! Professors and engineers, with high school and college students following closely, comprise the largest percentage of our readers. It is a must-have for anyone interested in music, mathematics, physics, engineering, or complex science. Dr. Yoichiro Nambu, 2008 Nobel Prize Winner in Physics, served as a senior adviser to the English version of Who is Fourier? A Mathematical Adventure.

    It discusses new results, along with applications of probability theory to a variety of problems. The book contains many exercises and is suitable for use as a textbook on graduate-level courses involving data analysis. Aimed at readers already familiar with applied mathematics at an advanced undergraduate level or higher, it is of interest to scientists concerned with inference from incomplete information.

    The complexity of nature's shapes differs in kind, not merely degree, from that of the shapes of ordinary geometry, the geometry of fractal shapes.Now that the field has expanded greatly with many active researchers, Mandelbrot presents the definitive overview of the origins of his ideas and their new applications. The Fractal Geometry of Nature is based on his highly acclaimed earlier work, but has much broader and deeper coverage and more extensive illustrations.

    He also looks at philosophical issues in particular sciences, including the problem of classification in biology, and the nature of space and time in physics. The final chapter touches on the conflicts between science and religion, and explores whether science is ultimately a good thing.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 hundreds of key topics, from philosophy to Freud, quantum theory to Islam.

    Following closely behind is y, or gamma, a constant that arises in many mathematical areas yet maintains a profound sense of mystery. In a tantalizing blend of history and mathematics, Julian Havil takes the reader on a journey through logarithms and the harmonic series, the two defining elements of gamma, toward the first account of gamma's place in mathematics. Introduced by the Swiss mathematician Leonhard Euler (1707-1783), who figures prominently in this book, gamma is defined as the limit of the sum of 1 + 1/2 + 1/3 + . . . Up to 1/n, minus the natural logarithm of n--the numerical value being 0.5772156. . . . But unlike its more celebrated colleagues π and e, the exact nature of gamma remains a mystery--we don't even know if gamma can be expressed as a fraction. Among the numerous topics that arise during this historical odyssey into fundamental mathematical ideas are the Prime Number Theorem and the most important open problem in mathematics today--the Riemann Hypothesis (though no proof of either is offered!). Sure to be popular with not only students and instructors but all math aficionados, Gamma takes us through countries, centuries, lives, and works, unfolding along the way the stories of some remarkable mathematics from some remarkable mathematicians.-- "Notices of the American Mathematical Society"

    Discussing philosophy's ability to clarifyour thoughts, he explains why such clarification depends on the development of philosophical theories, and how those theories can be tested by imaginative thought experiments, and compared against each other by standards similar to those used in the natural and social sciences. He also shows howlogical rigor can be understood as a way of enhancing the explanatory power of philosophical theories.Drawing on the history of philosophy to provide a track record of philosophical thinking's successes and failures, Williams overturns widely held dogmas about the distinctive nature of philosophy in comparison to the sciences, demystifies its methods, and considers the future of the discipline. Fromthought experiments, to deduction, to theories, this little book will cause you to totally rethink what philosophy is.

    It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.

    Harry Gensler engages students with the basics of logic through practical examples and important arguments both in the history of philosophy and from contemporary philosophy. Using simple and manageable methods for testing arguments, students are led step-by-step to master the complexities of logic.The companion LogiCola instructional program and various teaching aids (including a teacher's manual) are available from the book's website: www.routledge.com/textbooks/gensler_l...

    What began more than sixty years ago as a modest proposal that a mathematician and an economist write a short paper together blossomed, in 1944, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of scientific inquiry it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences.This sixtieth anniversary edition includes not only the original text but also an introduction by Harold Kuhn, an afterword by Ariel Rubinstein, and reviews and articles on the book that appeared at the time of its original publication in the New York Times, tthe American Economic Review, and a variety of other publications. Together, these writings provide readers a matchless opportunity to more fully appreciate a work whose influence will yet resound for generations to come.

    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.

    It aims to reach students who have already done an introductory philosophy course.Topics covered include perception and reflection as grounds of knowledge, and the nature, structure, and varieties of knowledge. The character and scope of knowledge in the crucial realms of ethics, science and religion are also considered.Unique features of Epistemology: * Provides a comprehensive survey of basic concepts and major theories* Gives an up-to-date account of important developments in the field* Contains many lucid examples to support ideas* Cites key literature in an annotated bibliography.