Book picks similar to
New Waves in Philosophy of Mathematics by Otávio Bueno
philosophy-of-mathematics
live-long-and-prosper
logic
math
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel - 1992
Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.
An Investigation of the Laws of Thought
George Boole - 1854
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated algebraically.
Symmetry: A Journey into the Patterns of Nature
Marcus du Sautoy - 2007
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.
The Compleat Strategyst: Being a Primer on the Theory of Games of Strategy
J.D. Williams - 1965
D. Williams wrote this entertaining, witty introduction for the nonscientist, game theory was still a somewhat mysterious subject familiar to very few scientists beyond those researchers, like himself, working for the military. Now, over thirty years after its original publication as a Rand Corporation research study, his light-hearted though thoroughly effective primer is the recognized classic introduction to an increasingly applicable discipline. Used by amateurs, professionals, and students throughout the world in the classroom, on the job, and for personal amusement, the book has been through ten printings, and has been translated into at least five languages (including Russian and Japanese).Revised, updated, and available for the first time in an inexpensive paperback edition, The Compleat Strategyst is a highly entertaining text essential for anyone interested in this provocative and engaging area of modern mathematics. In fully illustrated chapters complete with everyday examples and word problems, Williams offers readers a working understanding of the possible methods for selecting strategies in a variety of situations, simple to complex. With just a basic understanding of arithmetic, anyone can grasp all necessary aspects of two-, three-, four-, and larger strategy games with two or more sets of inimical interests and a limitless array of zero-sum payoffs.As research and study continues not only in this new discipline but in the related areas of statistics, probability and behavioral science, understanding of games, decision making, and the development of strategies will be increasingly important. In the areas of economics, sociology, politics, and the military, game theory is sure to have an even wider impact. For students and amateurs fascinated by game theory's implications there is no better, immediately applicable, or more entertaining introduction to the subject than this engaging text by the late J. D. Williams, Professor of Mathematics at Princeton University and a member of the Research Council of The Rand Corporation.
Discrete Mathematics and Its Applications
Kenneth H. Rosen - 2000
These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced problem-solving skills through modeling. Its intent is to demonstrate the relevance and practicality of discrete mathematics to all students. The Fifth Edition includes a more thorough and linear presentation of logic, proof types and proof writing, and mathematical reasoning. This enhanced coverage will provide students with a solid understanding of the material as it relates to their immediate field of study and other relevant subjects. The inclusion of applications and examples to key topics has been significantly addressed to add clarity to every subject. True to the Fourth Edition, the text-specific web site supplements the subject matter in meaningful ways, offering additional material for students and instructors. Discrete math is an active subject with new discoveries made every year. The continual growth and updates to the web site reflect the active nature of the topics being discussed. The book is appropriate for a one- or two-term introductory discrete mathematics course to be taken by students in a wide variety of majors, including computer science, mathematics, and engineering. College Algebra is the only explicit prerequisite.
Gödel, Escher, Bach
Agnes F. Vandome - 2010
C. Escher and composer Johann Sebastian Bach, discussing common themes in their work and lives. At a deeper level, the book is a detailed and subtle exposition of concepts fundamental to mathematics, symmetry, and intelligence. Through illustration and analysis, the book discusses how self-reference and formal rules allow systems to acquire meaning despite being made of "meaningless" elements. It also discusses what it means to communicate, how knowledge can be represented and stored, the methods and limitations of symbolic representation, and even the fundamental notion of "meaning" itself. In response to confusion over the book's theme, Hofstadter has emphasized that GEB is not about mathematics, art, and music but rather about how cognition and thinking emerge from well-hidden neurological mechanisms.
Thomas' Calculus, Early Transcendentals, Media Upgrade
George B. Thomas Jr. - 2002
This book offers a full range of exercises, a precise and conceptual presentation, and a new media package designed specifically to meet the needs of today's readers. The exercises gradually increase in difficulty, helping readers learn to generalize and apply the concepts. The refined table of contents introduces the exponential, logarithmic, and trigonometric functions in Chapter 7 of the text.KEY TOPICS Functions, Limits and Continuity, Differentiation, Applications of Derivatives, Integration, Applications of Definite Integrals, Integrals and Transcendental Functions, Techniques of Integration, Further Applications of Integration, Conic Sections and Polar Coordinates, Infinite Sequences and Series, Vectors and the Geometry of Space, Vector-Valued Functions and Motion in Space, Partial Derivatives, Multiple Integrals, Integration in Vector Fields.MARKET For all readers interested in Calculus.
Computability and Logic
George S. Boolos - 1980
Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
Everything and More: A Compact History of Infinity
David Foster Wallace - 2003
Now he brings his considerable talents to the history of one of math's most enduring puzzles: the seemingly paradoxical nature of infinity.Is infinity a valid mathematical property or a meaningless abstraction? The nineteenth-century mathematical genius Georg Cantor's answer to this question not only surprised him but also shook the very foundations upon which math had been built. Cantor's counterintuitive discovery of a progression of larger and larger infinities created controversy in his time and may have hastened his mental breakdown, but it also helped lead to the development of set theory, analytic philosophy, and even computer technology.Smart, challenging, and thoroughly rewarding, Wallace's tour de force brings immediate and high-profile recognition to the bizarre and fascinating world of higher mathematics.
Language, Truth, and Logic
A.J. Ayer - 1936
Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth & probability, critique of ethics & theology, self & the common world etc.IntroductionThe elimination of metaphysicsThe function of philosophy The nature of philosophical analysisThe a priori Truth & probabilityCritique of ethics & theologyThe self & the common worldSolutions of outstanding philosophical disputesIndex
Introduction to the Theory of Computation
Michael Sipser - 1996
Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.
The World Treasury of Physics, Astronomy & Mathematics from Albert Einstein to Stephen W. Hawking & from Annie Dillard to John Updike
Timothy Ferris - 1991
Each expresses a perspective on the Sciences.