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.

    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.

    A remarkable pictorial discussion of the curved space-time we call home, it achieves even greater impact through the use of 141 excellent illustrations. This is the first sustained visual account of many important topics in relativity theory that up till now have only been treated separately.Finding a perfect analogy in the situation of the geometrical characters in Flatland, Professor Rucker continues the adventures of the two-dimensional world visited by a three-dimensional being to explain our three-dimensional world in terms of the fourth dimension. Following this adventure into the fourth dimension, the author discusses non-Euclidean geometry, curved space, time as a higher dimension, special relativity, time travel, and the shape of space-time. The mathematics is sound throughout, but the casual reader may skip those few sections that seem too purely mathematical and still follow the line of argument. Readable and interesting in itself, the annotated bibliography is a valuable guide to further study.Professor Rucker teaches mathematics at the State University of New York in Geneseo. Students and laymen will find his discussion to be unusually stimulating. Experienced mathematicians and physicists will find a great deal of original material here and many unexpected novelties. Annotated bibliography. 44 problems.

    Our eyes and minds are drawn to symmetrical objects, from the pyramid to the pentagon. Of fundamental significance to the way we interpret the world, this unique, pervasive phenomenon indicates a dynamic relationship between objects. In chemistry and physics, the concept of symmetry explains the structure of crystals or the theory of fundamental particles; in evolutionary biology, the natural world exploits symmetry in the fight for survival; and symmetry—and the breaking of it—is central to ideas in art, architecture, and music.Combining a rich historical narrative with his own personal journey as a mathematician, Marcus du Sautoy takes a unique look into the mathematical mind as he explores deep conjectures about symmetry and brings us face-to-face with the oddball mathematicians, both past and present, who have battled to understand symmetry's elusive qualities. He explores what is perhaps the most exciting discovery to date—the summit of mathematicians' mastery in the field—the Monster, a huge snowflake that exists in 196,883-dimensional space with more symmetries than there are atoms in the sun.What is it like to solve an ancient mathematical problem in a flash of inspiration? What is it like to be shown, ten minutes later, that you've made a mistake? What is it like to see the world in mathematical terms, and what can that tell us about life itself? In Symmetry, Marcus du Sautoy investigates these questions and shows mathematical novices what it feels like to grapple with some of the most complex ideas the human mind can comprehend.

    Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

    His aim is to present calculus as the first real encounter with mathematics: it is the place to learn how logical reasoning combined with fundamental concepts can be developed into a rigorous mathematical theory rather than a bunch of tools and techniques learned by rote. Since analysis is a subject students traditionally find difficult to grasp, Spivak provides leisurely explanations, a profusion of examples, a wide range of exercises and plenty of illustrations in an easy-going approach that enlightens difficult concepts and rewards effort. Calculus will continue to be regarded as a modern classic, ideal for honours students and mathematics majors, who seek an alternative to doorstop textbooks on calculus, and the more formidable introductions to real analysis.

    Yet despite logic's widely acknowledged importance, it remains an unbroken seal for many, due to its heavy use of jargon and mathematical symbolism.This book follows the historical development of logic, explains the symbols and methods involved and explores the philosophical issues surrounding the topic in an easy-to-follow and friendly manner. It will take you through the influence of logic on scientific method and the various sciences from physics to psychology, and will show you why computers and digital technology are just another case of logic in action.

    I also hope that it will serve as a useful reference too for the many workers engaged in one type of solid state research activity or another, who may be without formal training in the subject.

    Includes many examples and figures. GENERAL TOPOLOGY. Set Theory and Logic. Topological Spaces and Continuous Functions. Connectedness and Compactness. Countability and Separation Axioms. The Tychonoff Theorem. Metrization Theorems and paracompactness. Complete Metric Spaces and Function Spaces. Baire Spaces and Dimension Theory. ALGEBRAIC TOPOLOGY. The Fundamental Group. Separation Theorems. The Seifert-van Kampen Theorem. Classification of Surfaces. Classification of Covering Spaces. Applications to Group Theory. For anyone needing a basic, thorough, introduction to general and algebraic topology and its applications.

    Pagels [Jan 01, 1984]

     "Provocative, original, and unsettling." -- The New York Review of Books "An excellent writer, a creative thinker." -- Nature

    This was the first calculus text to use computer-generated graphics, to include exercises involving the use of computers and graphing calculators, to be available in an interactive CD-ROM format, to be offered as a complete, online calculus course, and to offer a two-semester Calculus I with Precalculus text. Every edition of the series has made the mastery of traditional calculus skills a priority, while embracing the best features of new technology and, when appropriate, calculus reform ideas. Now, the Eighth Edition is the first calculus program to offer algorithmic homework and testing created in Maple so that answers can be evaluated with complete mathematical accuracy.Two primary objectives guided the authors in writing this book: to develop precise, readable materials for students that clearly define and demonstrate concepts and rules of calculus and to design comprehensive teaching resources for instructors that employ proven pedagogical techniques and saves the instructor time. The Eighth Edition continues to provide an evolving range of conceptual, technological, and creative tools that enable instructors to teach the way they want to teach and students to learn they way they learn best. The explanations, theorems, and definitions have been thoroughly and critically reviewed. Additionally, the exercise sets have been carefully and extensively examined to ensure they cover all calculus topics appropriately. Questions involving skills, writing, critical thinking, problem-solving, applications, and real-data applications are included throughout the text. Exercises are presented in a variety of question formats, including matching, free response, true/false, modeling, and fill-in the blank. The Eduspace online resources have been integrated into a comprehensive learning system that combines numerous dynamic calculus resources with online homework and testing materials. Eduspace with eSolutions combines all the features of Eduspace with an electronic version of the textbook exercises and the complete solutions to the odd-numbered text exercises, providing students with a convenient and comprehensive way to do homework and view the course materials. The Integrated Learning System addresses the changing needs of today's instructors and students. Recognizing that the calculus course is presented in a variety of teaching and learning environments, the program resources are available in print, CD-ROM, and online formats. SMARTHINKING online tutoring brings students real-time, online tutorial support when they need it most.

    This introductory text is suitable for use in a course on the subject or for self-study, featuring broad coverage and a readable exposition, with many examples and exercises. The four main chapters present the basics: fundamental group and covering spaces, homology and cohomology, higher homotopy groups, and homotopy theory generally. The author emphasizes the geometric aspects of the subject, which helps students gain intuition. A unique feature is the inclusion of many optional topics not usually part of a first course due to time constraints: Bockstein and transfer homomorphisms, direct and inverse limits, H-spaces and Hopf algebras, the Brown representability theorem, the James reduced product, the Dold-Thom theorem, and Steenrod squares and powers.

    His investigations shed light on what we can ultimately know about the universe and the very nature of life. In an infectious and enthusiastic narrative, Chaitin delineates the specific intellectual and intuitive steps he took toward the discovery. He takes us to the very frontiers of scientific thinking, and helps us to appreciate the art—and the sheer beauty—in the science of math.

    Aimed at undergraduate students in mathematics, physics, and engineering, the book's intuitive explanations, lack ofadvanced prerequisites, and consciously user-friendly prose style will help students to master the subject more readily than was previously possible. The key to this is the book's use of new geometric arguments in place of the standard calculational ones. These geometric arguments are communicatedwith the aid of hundreds of diagrams of a standard seldom encountered in mathematical works. A new approach to a classical topic, this work will be of interest to students in mathematics, physics, and engineering, as well as to professionals in these fields.