Book picks similar to
Principles Of Mathematical Logic by David Hilbert
logic
philosophy
math
science
Abstract Algebra
I.N. Herstein - 1986
Providing a concise introduction to abstract algebra, this work unfolds some of the fundamental systems with the aim of reaching applicable, significant results.
Entertaining Mathematical Puzzles
Martin Gardner - 1986
Puzzlists need only an elementary knowledge of math and a will to resist looking up the answer before trying to solve a problem.Written in a light and witty style, Entertaining Mathematical Puzzles is a mixture of old and new riddles, grouped into sections that cover a variety of mathematical topics: money, speed, plane and solid geometry, probability, topology, tricky puzzles, and more. The probability section, for example, points out that everything we do, everything that happens around us, obeys the laws of probability; geometry puzzles test our ability to think pictorially and often, in more than one dimension; while topology, among the "youngest and rowdiest branches of modern geometry," offers a glimpse into a strange dimension where properties remain unchanged, no matter how a figure is twisted, stretched, or compressed.Clear and concise comments at the beginning of each section explain the nature and importance of the math needed to solve each puzzle. A carefully explained solution follows each problem. In many cases, all that is needed to solve a puzzle is the ability to think logically and clearly, to be "on the alert for surprising, off-beat angles...that strange hidden factor that everyone else had overlooked."Fully illustrated, this engaging collection will appeal to parents and children, amateur mathematicians, scientists, and students alike, and may, as the author writes, make the reader "want to study the subject in earnest" and explains "some of the inviting paths that wind away from the problems into lusher areas of the mathematical jungle." 65 black-and-white illustrations.
Incompleteness: The Proof and Paradox of Kurt Gödel
Rebecca Goldstein - 2005
"A gem…An unforgettable account of one of the great moments in the history of human thought." —Steven PinkerProbing the life and work of Kurt Gödel, Incompleteness indelibly portrays the tortured genius whose vision rocked the stability of mathematical reasoning—and brought him to the edge of madness.
Mathematical Analysis
Tom M. Apostol - 1957
It provides a transition from elementary calculus to advanced courses in real and complex function theory and introduces the reader to some of the abstract thinking that pervades modern analysis.
Proofs from the Book, 3e
Martin Aigner - 1998
Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. Some of the proofs are classics, but many are new and brilliant proofs of classical results. ...Aigner and Ziegler... write: ..". all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999..". the style is clear and entertaining, the level is close to elementary ... and the proofs are brilliant. ..." LMS Newsletter, January 1999This third edition offers two new chapters, on partition identities, and on card shuffling. Three proofs of Euler's most famous infinite series appear in a separate chapter. There is also a number of other improvements, such as an exciting new way to "enumerate the rationals."
Bayes' Rule: A Tutorial Introduction to Bayesian Analysis
James V. Stone - 2013
Discovered by an 18th century mathematician and preacher, Bayes' rule is a cornerstone of modern probability theory. In this richly illustrated book, intuitive visual representations of real-world examples are used to show how Bayes' rule is actually a form of commonsense reasoning. The tutorial style of writing, combined with a comprehensive glossary, makes this an ideal primer for novices who wish to gain an intuitive understanding of Bayesian analysis. As an aid to understanding, online computer code (in MatLab, Python and R) reproduces key numerical results and diagrams.Stone's book is renowned for its visually engaging style of presentation, which stems from teaching Bayes' rule to psychology students for over 10 years as a university lecturer.
Logic: A Very Short Introduction
Graham Priest - 2000
In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy.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.
Essays on the Theory of Numbers
Richard Dedekind - 1901
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.
Conned Again, Watson: Cautionary Tales Of Logic, Math, And Probability
Colin Bruce - 2000
In these cautionary tales of greedy gamblers, reckless businessmen, and ruthless con men, Sherlock Holmes uses his deep understanding of probability, statistics, decision theory, and game theory to solve crimes and protect the innocent. But it's not just the characters in these well-crafted stories that are deceived by statistics or fall prey to gambling fallacies. We all suffer from the results of poor decisions. In this illuminating collection, Bruce entertains while teaching us to avoid similar blunders. From "The Execution of Andrews" to "The Case of the Gambling Nobleman," there has never been a more exciting way to learn when to take a calculated risk-and how to spot a scam.
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.
Discrete Mathematical Structures
Bernard Kolman - 1995
It covers areas such as fundamentals, logic, counting, relations and digraphs, trees, topics in graph theory, languages and finite-state machines, and groups and coding.
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos - 1976
Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.
Challenge And Thrill Of Pre College Mathematics
V. Krishnamurthy - 2009
It can urge the reader to explore new methodologies to have maximum fun with numbers, and opt for a higher course in mathematics. The book was specifically designed to help the student community, and develop a strong affinity towards problem solving.the book offers many complicated, and interesting challenges for the user, keeping them engaged throughout. A large number of solved problems are also included in challenge and thrill of pre-college mathematics, to give readers an insight into the subject. The book can be an eye-opener for school students of class 7 and above. The materials given in the book are powerful enough to help them develop a strong interest for the subject. The concepts are explained in a simple and comprehensive manner, providing them with a good understanding of mathematical fundamentals.what makes the book distinct is its detailed sections on geometry, that can improve the reasoning skills of students. There are also detailed accounts on algebra and trigonometry, enhancing the competitive ability of the users. The topics such as combinatorics, number theory, and probability are also explained in detail, in the book. Each chapter was designed with the intention of motivating students to appreciate the excitement that mathematical problems can provide. Published in 2003 by new age international publishers, the book is available in paperback. Key features: the book includes a collection of more than 300 solved numerical problems, compiled from various national, as well as international mathematical olympiads.it is widely recommended by students and teachers, alike as an essential preparatory book for those writing competitive examinations.
In Pursuit of the Traveling Salesman: Mathematics at the Limits of Computation
William J. Cook - 2011
In this book, William Cook takes readers on a mathematical excursion, picking up the salesman's trail in the 1800s when Irish mathematician W. R. Hamilton first defined the problem, and venturing to the furthest limits of today's state-of-the-art attempts to solve it. He also explores its many important applications, from genome sequencing and designing computer processors to arranging music and hunting for planets.In Pursuit of the Traveling Salesman travels to the very threshold of our understanding about the nature of complexity, and challenges you yourself to discover the solution to this captivating mathematical problem.
A Course in Game Theory
Martin J. Osborne - 1994
The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises. Solution ManualTable of Contents, Errata, and more...