Is God a Mathematician? investigates why mathematics is as powerful as it is. From ancient times to the present, scientists and philosophers have marveled at how such a seemingly abstract discipline could so perfectly explain the natural world. More than that—mathematics has often made predictions, for example, about subatomic particles or cosmic phenomena that were unknown at the time, but later were proven to be true. Is mathematics ultimately invented or discovered? If, as Einstein insisted, mathematics is “a product of human thought that is independent of experience,” how can it so accurately describe and even predict the world around us? Physicist and author Mario Livio brilliantly explores mathematical ideas from Pythagoras to the present day as he shows us how intriguing questions and ingenious answers have led to ever deeper insights into our world. This fascinating book will interest anyone curious about the human mind, the scientific world, and the relationship between them.

    Yet unlike Einstein, with whom he formed a warm and abiding friendship, Gödel has long escaped all but the most casual scrutiny of his life.Stephen Budiansky’s Journey to the Edge of Reason is the first biography to fully draw upon Gödel’s voluminous letters and writings—including a never-before-transcribed shorthand diary of his most intimate thoughts—to explore Gödel’s profound intellectual friendships, his moving relationship with his mother, his troubled yet devoted marriage, and the debilitating bouts of paranoia that ultimately took his life. It also offers an intimate portrait of the scientific and intellectual circles in prewar Vienna, a haunting account of Gödel’s and Jewish intellectuals’ flight from Austria and Germany at the start of the Second World War, and a vivid re-creation of the early days of Princeton’s Institute for Advanced Study, where Gödel and Einstein both worked.Eloquent and insightful, Journey to the Edge of Reason is a fully realized portrait of the odd, brilliant, and tormented man who has been called the greatest logician since Aristotle, and illuminates the far-reaching implications of Gödel’s revolutionary ideas for philosophy, mathematics, artificial intelligence, and man’s place in the cosmos.

    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.

    Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.

    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.

    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.

    Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

    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.

    This is the classic introduction for the educated lay reader to the richly diverse world of mathematics: its history, philosophy, principles, and personalities.

    Ian Stewart presents us with a wealth of magical puzzles, each one spun around an amazing tale, including Counting the Cattle of the Sun, The Great Drain Robbery, and Preposterous Piratical Predicaments. Fully illustrated with explanatory diagrams, each tale is told with engaging wit, sure to amuse everyone with an interest in puzzles and mathematics. Along the way, we also meet many curious characters. Containing twenty specially-commissioned cartoons, this book will delight all who are familiar with Stewart's many other books, such as What Shape is a Snowflake? and Flatterland and anyone interested in mathematical problems. In short, these stories are engaging, challenging, and lots of fun!

    Volume 1 looks at the discipline's origins in Babylon and Egypt, the creation of geometry and trigonometry by the Greeks, and the role of mathematics in the medieval and early modern periods. Volume 2 focuses on calculus, the rise of analysis in the 19th century, and the number theories of Dedekind and Dirichlet. The concluding volume covers the revival of projective geometry, the emergence of abstract algebra, the beginnings of topology, and the influence of Godel on recent mathematical study.

    The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on questions which give analysis its inherent fascination.

    

    It discusses new results, along with applications of probability theory to a variety of problems. The book contains many exercises and is suitable for use as a textbook on graduate-level courses involving data analysis. Aimed at readers already familiar with applied mathematics at an advanced undergraduate level or higher, it is of interest to scientists concerned with inference from incomplete information.

    With exceptional clarity, Franz n gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of "Logical Dilemmas: The Life and Work of Kurt G del