Book picks similar to
Godel's Incompleteness Theorems by Raymond M. Smullyan
mathematics
logic
science
math
Meta Math!: The Quest for Omega
Gregory Chaitin - 2005
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.
The Art of Problem Solving, Volume 1: The Basics
Sandor Lehoczky - 2006
The Art of Problem Solving, Volume 1, is the classic problem solving textbook used by many successful MATHCOUNTS programs, and have been an important building block for students who, like the authors, performed well enough on the American Mathematics Contest series to qualify for the Math Olympiad Summer Program which trains students for the United States International Math Olympiad team.Volume 1 is appropriate for students just beginning in math contests. MATHCOUNTS and novice high school students particularly have found it invaluable. Although the Art of Problem Solving is widely used by students preparing for mathematics competitions, the book is not just a collection of tricks. The emphasis on learning and understanding methods rather than memorizing formulas enables students to solve large classes of problems beyond those presented in the book.Speaking of problems, the Art of Problem Solving, Volume 1, contains over 500 examples and exercises culled from such contests as MATHCOUNTS, the Mandelbrot Competition, the AMC tests, and ARML. Full solutions (not just answers!) are available for all the problems in the solution manual.
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.
Understanding Symbolic Logic
Virginia Klenk - 1983
Each chapter, or unit, is divided into easily comprehended small "bites" that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics. For individuals interested in the formal study of logic.
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller - 2009
The framework of probabilistic graphical models, presented in this book, provides a general approach for this task. The approach is model-based, allowing interpretable models to be constructed and then manipulated by reasoning algorithms. These models can also be learned automatically from data, allowing the approach to be used in cases where manually constructing a model is difficult or even impossible. Because uncertainty is an inescapable aspect of most real-world applications, the book focuses on probabilistic models, which make the uncertainty explicit and provide models that are more faithful to reality.Probabilistic Graphical Models discusses a variety of models, spanning Bayesian networks, undirected Markov networks, discrete and continuous models, and extensions to deal with dynamical systems and relational data. For each class of models, the text describes the three fundamental cornerstones: representation, inference, and learning, presenting both basic concepts and advanced techniques. Finally, the book considers the use of the proposed framework for causal reasoning and decision making under uncertainty. The main text in each chapter provides the detailed technical development of the key ideas. Most chapters also include boxes with additional material: skill boxes, which describe techniques; case study boxes, which discuss empirical cases related to the approach described in the text, including applications in computer vision, robotics, natural language understanding, and computational biology; and concept boxes, which present significant concepts drawn from the material in the chapter. Instructors (and readers) can group chapters in various combinations, from core topics to more technically advanced material, to suit their particular needs.
Birth of a Theorem: A Mathematical Adventure
Cédric Villani - 2012
Birth of a Theorem is Villani’s own account of the years leading up to the award. It invites readers inside the mind of a great mathematician as he wrestles with the most important work of his career.But you don’t have to understand nonlinear Landau damping to love Birth of a Theorem. It doesn’t simplify or overexplain; rather, it invites readers into collaboration. Villani’s diaries, emails, and musings enmesh you in the process of discovery. You join him in unproductive lulls and late-night breakthroughs. You’re privy to the dining-hall conversations at the world’s greatest research institutions. Villani shares his favorite songs, his love of manga, and the imaginative stories he tells his children. In mathematics, as in any creative work, it is the thinker’s whole life that propels discovery—and with Birth of a Theorem, Cédric Villani welcomes you into his.
The Art of Problem Solving Vol. 2: And Beyond
Sandor Leholzky - 2003
The Art of Problem Solving, Volume 2, is the classic problem solving textbook used by many successful high school math teams and enrichment programs and have been an important building block for students who, like the authors, performed well enough on the American Mathematics Contest series to qualify for the Math Olympiad Summer Program which trains students for the United States International Math Olympiad team.Volume 2 is appropriate for students who have mastered the problem solving fundamentals presented in Volume 1 and are ready for a greater challenge. Although the Art of Problem Solving is widely used by students preparing for mathematics competitions, the book is not just a collection of tricks. The emphasis on learning and understanding methods rather than memorizing formulas enables students to solve large classes of problems beyond those presented in the book.Speaking of problems, the Art of Problem Solving, Volume 2, contains over 500 examples and exercises culled from such contests as the Mandelbrot Competition, the AMC tests, and ARML. Full solutions (not just answers!) are available for all the problems in the solution manual.
Naked Statistics: Stripping the Dread from the Data
Charles Wheelan - 2012
How can we catch schools that cheat on standardized tests? How does Netflix know which movies you’ll like? What is causing the rising incidence of autism? As best-selling author Charles Wheelan shows us in Naked Statistics, the right data and a few well-chosen statistical tools can help us answer these questions and more.For those who slept through Stats 101, this book is a lifesaver. Wheelan strips away the arcane and technical details and focuses on the underlying intuition that drives statistical analysis. He clarifies key concepts such as inference, correlation, and regression analysis, reveals how biased or careless parties can manipulate or misrepresent data, and shows us how brilliant and creative researchers are exploiting the valuable data from natural experiments to tackle thorny questions.And in Wheelan’s trademark style, there’s not a dull page in sight. You’ll encounter clever Schlitz Beer marketers leveraging basic probability, an International Sausage Festival illuminating the tenets of the central limit theorem, and a head-scratching choice from the famous game show Let’s Make a Deal—and you’ll come away with insights each time. With the wit, accessibility, and sheer fun that turned Naked Economics into a bestseller, Wheelan defies the odds yet again by bringing another essential, formerly unglamorous discipline to life.
50 Mathematical Ideas You Really Need to Know
Tony Crilly - 2007
Who invented zero? Why are there 60 seconds in a minute? Can a butterfly's wings really cause a storm on the far side of the world? In 50 concise essays, Professor Tony Crilly explains the mathematical concepts that allow use to understand and shape the world around us.
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
Eugene Paul Wigner - 1959
In the paper, Wigner observed that the mathematical structure of a physical theory often points the way to further advances in that theory and even to empirical predictions.
Men of Mathematics
Eric Temple Bell - 1937
Bell, a leading figure in mathematics in America for half a century. Men of Mathematics accessibly explains the major mathematics, from the geometry of the Greeks through Newton's calculus and on to the laws of probability, symbolic logic, and the fourth dimension. In addition, the book goes beyond pure mathematics to present a series of engrossing biographies of the great mathematicians -- an extraordinary number of whom lived bizarre or unusual lives. Finally, Men of Mathematics is also a history of ideas, tracing the majestic development of mathematical thought from ancient times to the twentieth century. This enduring work's clear, often humorous way of dealing with complex ideas makes it an ideal book for the non-mathematician.
How Long Is a Piece of String?: More Hidden Mathematics of Everyday Life
Rob Eastaway - 2002
Discover the astonishing 37% rule for blind dates, the avoidance tactics of the gentleman's urinal, and some extraordinary scams that have been devised to get rich quick. Also included are the origins of the seven-day week and the seven-note scale, an explanation of why underdogs win, clever techniques for detecting fraud, and the reason why epidemics sweep across a nation and disappear just as quickly. Whatever your mathematical ability, this fun, thought-provoking book will illuminate the ways in which math underlies so much in our everyday lives.
The Man Who Knew Infinity: A Life of the Genius Ramanujan
Robert Kanigel - 1991
Hardy, in the years before World War I. Through their eyes the reader is taken on a journey through numbers theory. Ramanujan would regularly telescope 12 steps of logic into two - the effect is said to be like Dr Watson in the train of some argument by Sherlock Holmes. The language of symbols and infinitely large (and small) regions of mathematics should be rendered with clarity for the general reader.
The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions
Shing-Tung Yau - 2010
According to theorists, the missing six are curled up in bizarre structures known as Calabi-Yau manifolds. In The Shape of Inner Space, Shing-Tung Yau, the man who mathematically proved that these manifolds exist, argues that not only is geometry fundamental to string theory, it is also fundamental to the very nature of our universe.Time and again, where Yau has gone, physics has followed. Now for the first time, readers will follow Yau’s penetrating thinking on where we’ve been, and where mathematics will take us next. A fascinating exploration of a world we are only just beginning to grasp, The Shape of Inner Space will change the way we consider the universe on both its grandest and smallest scales.
Methods of Logic
Willard Van Orman Quine - 1950
Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate-functor logic and the affinities between higher set theory and the elementary logic of terms, W. V. Quine's new edition will serve admirably for both classroom and independent use.