Book picks similar to
Subsystems of Second Order Arithmetic by Stephen G. Simpson
math
mathematics
philosophy
logic
Gamma: Exploring Euler's Constant
Julian Havil - 2003
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"
The Frege Reader
Gottlob Frege - 1997
It is intended to provide the essential primary texts for students of logic, metaphysics and philosophy of language.It contains, in particular, Frege's four essays 'Function and Concept', 'On Sinn and Bedeutung', 'On Concept and Object' and 'Thought', and new translations of key parts of the Begriffschrift, Grundlagen and Grundgesetze. Additional selections have also been made from his Collected Papers, Posthumous Writings and Correspondence. The editor's introduction provides an overview of the development and significance of Frege's philosophy, highlighting some of the main issues of interpretation. Footnotes, appendices and other editorial material have been supplied to facilitate understanding of the works of one of the central figures in modern philosophy.
Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation
Mark C. Chu-Carroll - 2013
There is joy and beauty in mathematics, and in more than two dozen essays drawn from his popular “Good Math” blog, you’ll find concepts, proofs, and examples that are often surprising, counterintuitive, or just plain weird.Mark begins his journey with the basics of numbers, with an entertaining trip through the integers and the natural, rational, irrational, and transcendental numbers. The voyage continues with a look at some of the oddest numbers in mathematics, including zero, the golden ratio, imaginary numbers, Roman numerals, and Egyptian and continuing fractions. After a deep dive into modern logic, including an introduction to linear logic and the logic-savvy Prolog language, the trip concludes with a tour of modern set theory and the advances and paradoxes of modern mechanical computing.If your high school or college math courses left you grasping for the inner meaning behind the numbers, Mark’s book will both entertain and enlighten you.
Fearless Symmetry: Exposing the Hidden Patterns of Numbers
Avner Ash - 2006
But sometimes the solutions are not as interesting as the beautiful symmetric patterns that lead to them. Written in a friendly style for a general audience, Fearless Symmetry is the first popular math book to discuss these elegant and mysterious patterns and the ingenious techniques mathematicians use to uncover them.Hidden symmetries were first discovered nearly two hundred years ago by French mathematician �variste Galois. They have been used extensively in the oldest and largest branch of mathematics--number theory--for such diverse applications as acoustics, radar, and codes and ciphers. They have also been employed in the study of Fibonacci numbers and to attack well-known problems such as Fermat's Last Theorem, Pythagorean Triples, and the ever-elusive Riemann Hypothesis. Mathematicians are still devising techniques for teasing out these mysterious patterns, and their uses are limited only by the imagination.The first popular book to address representation theory and reciprocity laws, Fearless Symmetry focuses on how mathematicians solve equations and prove theorems. It discusses rules of math and why they are just as important as those in any games one might play. The book starts with basic properties of integers and permutations and reaches current research in number theory. Along the way, it takes delightful historical and philosophical digressions. Required reading for all math buffs, the book will appeal to anyone curious about popular mathematics and its myriad contributions to everyday life.
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
Rock, Paper, Scissors: Game Theory in Everyday Life
Len Fisher - 2000
Len Fisher turns his attention to the science of cooperation in his lively and thought-provoking book. Fisher shows how the modern science of game theory has helped biologists to understand the evolution of cooperation in nature, and investigates how we might apply those lessons to our own society. In a series of experiments that take him from the polite confines of an English dinner party to crowded supermarkets, congested Indian roads, and the wilds of outback Australia, not to mention baseball strategies and the intricacies of quantum mechanics, Fisher sheds light on the problem of global cooperation. The outcomes are sometimes hilarious, sometimes alarming, but always revealing. A witty romp through a serious science, Rock, Paper, Scissors will both teach and delight anyone interested in what it what it takes to get people to work together.
Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets
David Papineau - 2012
Notions like denumerability, modal scope distinction, Bayesian conditionalization, and logical completeness are usually only elucidated deep within difficultspecialist texts. By offering simple explanations that by-pass much irrelevant and boring detail, Philosophical Devices is able to cover a wealth of material that is normally only available to specialists.The book contains four sections, each of three chapters. The first section is about sets and numbers, starting with the membership relation and ending with the generalized continuum hypothesis. The second is about analyticity, a prioricity, and necessity. The third is about probability, outliningthe difference between objective and subjective probability and exploring aspects of conditionalization and correlation. The fourth deals with metalogic, focusing on the contrast between syntax and semantics, and finishing with a sketch of Godel's theorem.Philosophical Devices will be useful for university students who have got past the foothills of philosophy and are starting to read more widely, but it does not assume any prior expertise. All the issues discussed are intrinsically interesting, and often downright fascinating. It can be read withpleasure and profit by anybody who is curious about the technical infrastructure of contemporary philosophy.
Pathfinder For Nda & Na Entrance Examination National Defence Academy/Naval Academy Conducted By Upsc
Arihant Experts - 2014
Competition Book
Concepts of Modern Mathematics
Ian Stewart - 1975
Based on the abstract, general style of mathematical exposition favored by research mathematicians, its goal was to teach students not just to manipulate numbers and formulas, but to grasp the underlying mathematical concepts. The result, at least at first, was a great deal of confusion among teachers, students, and parents. Since then, the negative aspects of "new math" have been eliminated and its positive elements assimilated into classroom instruction.In this charming volume, a noted English mathematician uses humor and anecdote to illuminate the concepts underlying "new math": groups, sets, subsets, topology, Boolean algebra, and more. According to Professor Stewart, an understanding of these concepts offers the best route to grasping the true nature of mathematics, in particular the power, beauty, and utility of pure mathematics. No advanced mathematical background is needed (a smattering of algebra, geometry, and trigonometry is helpful) to follow the author's lucid and thought-provoking discussions of such topics as functions, symmetry, axiomatics, counting, topology, hyperspace, linear algebra, real analysis, probability, computers, applications of modern mathematics, and much more.By the time readers have finished this book, they'll have a much clearer grasp of how modern mathematicians look at figures, functions, and formulas and how a firm grasp of the ideas underlying "new math" leads toward a genuine comprehension of the nature of mathematics itself.
How to read and do proofs
Daniel Solow - 1982
Shows how any proof can be understood as a sequence of techniques. Covers the full range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction. Explains how to identify which techniques are used and how they are applied in the specific problem. Illustrates how to read written proofs with many step-by-step examples. Includes new, expanded appendices related to discrete mathematics, linear algebra, modern algebra and real analysis.
Mathematics With Applications in Management and Economics/Solutions Manual
Earl K. Bowen - 1987
Quantum Computing Since Democritus
Scott Aaronson - 2013
Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.
Discrete Mathematical Structures with Applications to Computer Science
Jean-Paul Tremblay - 1975