In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. 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. Marking the 50th anniversary of the original publication of Gödel's Proof , New York University Press is proud to publish this special anniversary edition of one of its bestselling and most frequently translated 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.

Mlodinow, Leonard

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.

When Mr Ruche, a reclusive Parisian bookseller, receives a letter from a long lost friend in the Amazon bequesting him a vast library of mathematical books, he is propelled into a great exploration of the story of maths, from brilliant Greek thinkers, such as Archimedes and Pythagoras, to the modern-day genius Fermat. Meanwhile Max, a deaf boy whose dysfunctional family live with Mr Ruche, finds a voluble parrot in a local fleamarket. He turns out to be a bird who discusses maths with anyone who will listen. So when Mr Ruche learns of his friend's mysterious death in the rainforests of Brazil he decides that with the parrot's help he will use these books to teach Max and his twin brother and sister the mysteries and wonders of numbers and shapes. Charming, fresh, with a narrative which races along, the novel takes the reader on a delightful journey through the history of mathematics.

With his ability to make abstract ideas concrete and approachable, Berlinski tells an engrossing tale and introduces us to one of the greatest of all human endeavours.

An entertaining look at the origins of mathematical symbols While all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know today? In Enlightening Symbols , popular math writer Joseph Mazur explains the fascinating history behind the development of our mathematical notation system. He shows how symbols were used initially, how one symbol replaced another over time, and how written math was conveyed before and after symbols became widely adopted. Traversing mathematical history and the foundations of numerals in different cultures, Mazur looks at how historians have disagreed over the origins of the numerical system for the past two centuries. He follows the transfigurations of algebra from a rhetorical style to a symbolic one, demonstrating that most algebra before the sixteenth century was written in prose or in verse employing the written names of numerals. Mazur also investigates the subconscious and psychological effects that mathematical symbols have had on mathematical thought, moods, meaning, communication, and comprehension. He considers how these symbols influence us (through similarity, association, identity, resemblance, and repeated imagery), how they lead to new ideas by subconscious associations, how they make connections between experience and the unknown, and how they contribute to the communication of basic mathematics. From words to abbreviations to symbols, this book shows how math evolved to the familiar forms we use today.

Nicolas Bourbaki, whose mathematical publications began to appear in the late 1930s and continued to be published through most of the twentieth century, was a direct product as well as a major force behind an important revolution that took place in the early decades of the twentieth century that completely changed Western culture. Pure mathematics, the area of Bourbaki's work, seems on the surface to be an abstract field of human study with no direct connection with the real world. In reality, however, it is closely intertwined with the general culture that surrounds it. Major developments in mathematics have often followed important trends in popular culture; developments in mathematics have acted as harbingers of change in the surrounding human culture. The seeds of change, the beginnings of the revolution that swept the Western world in the early decades of the twentieth century — both in mathematics and in other areas — were sown late in the previous century. This is the story both of Bourbaki and the world that created him in that time. It is the story of an elaborate intellectual joke — because Bourbaki, one of the foremost mathematicians of his day — never existed.

This fascinating exploration of the great discoveries of history's most important mathematicians seeks an answer to the eternal question: Does mathematics hold the key to understanding the mysteries of the physical world?

René Descartes (1596–1650) is one of the towering and central figures in Western philosophy and mathematics. His apothegm “ Cogito, ergo sum ” marked the birth of the mind-body problem, while his creation of so-called Cartesian coordinates have made our physical and intellectual conquest of physical space possible. But Descartes had a mysterious and mystical side, as well. Almost certainly a member of the occult brotherhood of the Rosicrucians, he kept a secret notebook, now lost, most of which was written in code. After Descartes’s death, Gottfried Leibniz, inventor of calculus and one of the greatest mathematicians in history, moved to Paris in search of this notebook—and eventually found it in the possession of Claude Clerselier, a friend of Descartes. Leibniz called on Clerselier and was allowed to copy only a couple of pages—which, though written in code, he amazingly deciphered there on the spot. Leibniz’s hastily scribbled notes are all we have today of Descartes’s notebook, which has disappeared. Why did Descartes keep a secret notebook, and what were its contents? The answers to these questions lead Amir Aczel and the reader on an exciting, swashbuckling journey, and offer a fascinating look at one of the great figures of Western culture.

Traces the development of mathematics from its beginnings in Babylonia and ancient Egypt to the work of Riemann and Godel in modern times.

A "skillful and literate" ( New York Times Book Review ) biography of the persecuted genius who helped create the modern computer. To solve one of the great mathematical problems of his day, Alan Turing proposed an imaginary computer. Then, attempting to break a Nazi code during World War II, he successfully designed and built one, thus ensuring the Allied victory. Turing became a champion of artificial intelligence, but his work was cut short. As an openly gay man at a time when homosexuality was illegal in England, he was convicted and forced to undergo a humiliating "treatment" that may have led to his suicide. With a novelist's sensitivity, David Leavitt portrays Turing in all his humanity?his eccentricities, his brilliance, his fatal candor?and elegantly explains his work and its implications.

The son of a prominent Japanese mathematician who came to the United States after World War II, Ken Ono was raised on a diet of high expectations and little praise. Rebelling against his pressure-cooker of a life, Ken determined to drop out of high school to follow his own path. To obtain his father's approval, he invoked the biography of the famous Indian mathematical prodigy Srinivasa Ramanujan, whom his father revered, who had twice flunked out of college because of his single-minded devotion to mathematics. Ono describes his rocky path through college and graduate school, interweaving Ramanujan's story with his own and telling how at key moments, he was inspired by Ramanujan and guided by mentors who encouraged him to pursue his interest in exploring Ramanujan's mathematical legacy. Picking up where others left off, beginning with the great English mathematician G.H. Hardy, who brought Ramanujan to Cambridge in 1914, Ono has devoted his mathematical career to understanding how in his short life, Ramanujan was able to discover so many deep mathematical truths, which Ramanujan believed had been sent to him as visions from a Hindu goddess. And it was Ramanujan who was ultimately the source of reconciliation between Ono and his parents. Ono's search for Ramanujan ranges over three continents and crosses paths with mathematicians whose lives span the globe and the entire twentieth century and beyond. Along the way, Ken made many fascinating discoveries. The most important and surprising one of all was his own humanity

To most graph theorists there are two outstanding landmarks in the history of their subject. One is Euler's solution of the Konigsberg Bridges Problem, dated 1736, and the other is the appearance of Denes Konig's textbook in 1936. "From Konigsberg to Konig's book" sings the poetess, "So runs the graphic tale . . . " [10]. There were earlier books that took note of graph theory. Veb len's Analysis Situs, published in 1931, is about general combinato rial topology. But its first two chapters, on "Linear graphs" and "Two-Dimensional Complexes," are almost exclusively concerned with the territory still explored by graph theorists. Rouse Ball's Mathematical Recreations and Essays told, usually without proofs, of the major graph-theoretical advances ofthe nineteenth century, of the Five Colour Theorem, of Petersen's Theorem on I-factors, and of Cayley's enumerations of trees. It was Rouse Ball's book that kindled my own graph-theoretical enthusiasm. The graph-theoretical papers of Hassler Whitney, published in 1931-1933, would have made an excellent textbook in English had they been collected and published as such. But the honour of presenting Graph Theory to the mathe matical world as a subject in its own right, with its own textbook, belongs to Denes Konig. Low was the prestige of Graph Theory in the Dirty Thirties. It is still remembered, with resentment now shading into amuse ment, how one mathematician scorned it as "The slums of Topol ogy.""

"Bestselling popular science author Amir Aczel selects the most fascinating individuals and stories in the history of mathematics, presenting a colorful narrative that explores the quirky personalities behind some of the most profound, enduring theorems. Through such mathematical geniuses as Archimedes, Leonardo of Pisa (a.k.a. Fibonacci), Tartaglia ("the stutterer"), Descartes, Gottfried Leibniz, Carl Gauss, Joseph Fourier (Napoleon's mathematician), Evariste Galois, Georg Cantor, Ramanujan, and "Nicholas Bourbaki," we gather little known details about the alliances and rivalries that profoundly impacted the development of what the scheming doctor-turned-mathematician Geronimo Girolamo called "The Great Art." This story of mathematics is not your dry "college textbook" account; tales of duels, battlefield heroism, flamboyant arrogance, pranks, secret societies, imprisonment, feuds, theft, and even some fatal errors of judgment fill these pages (clearly, genius doesn't guarantee street smarts). Ultimately, readers will come away from this book entertained, with a newfound appreciation of the tenacity, complexity, eccentricity, and brilliance of the mathematical genius"--

Explains the history and tenets of mathematics including the relationship of mathematics to the other sciences.

"Combinators have inspired ideas about computation ever since they were first invented in 1920, and in this innovative book, Stephen Wolfram provides a modern view of combinators and their significance. Informed by his work on the computational universe of possible programs and on computational language design, Wolfram explains new and existing ideas about combinators with unique clarity and stunning visualizations, as well as provides insights on their historical connections and the curious story of Moses Schönfinkel, inventor of combinators. Though invented well before Turing machines, combinators have often been viewed as an inaccessibly abstract approach to computation. This book brings them to life as never before in a thought-provoking and broadly accessible exposition of interest across mathematics and computer science, as well as to those concerned with the foundations of formal and computational thinking, and with the history of ideas"--

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. 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.

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. 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.

"From the time of Pythagoras, we have been tempted to treat numbers as the ultimate or only truth. This book tells the history of that habit of thought. But more, it argues that the logic of counting sacrifices much of what makes us human, and that we have a responsibility to match the objects of our attention to the forms of knowledge that do them justice. Humans have extended the insights and methods of number and mathematics to more and more aspects of the world, even to their gods and their religions.Today those powers are greater than ever, as computation is applied to virtually every aspect of human activity.But the rules of mathematics do not strictly apply to many things-from elementary particles to people-in the world.By subjecting such things to the laws of logic and mathematics, we gain some kinds of knowledge, but we also lose others. How do our choices about what parts of the world to subject to the logics of mathematics affect how we live and how we die?This question is rarely asked, but it is urgent, because the sciences built upon those laws now govern so much of our knowledge, from physics to psychology.Number and Knowledge sets out to ask it. In chapters proceeding chronologically from Ancient Greek philosophy and the rise of monotheistic religions to the emergence of modern physics and economics, the book traces how ideals, practices, and habits of thought formed over millennia have turned number into the foundation-stone of human claims to knowledge and certainty.But the book is also a philosophical and poetic exhortation to take responsibility for that history, for the knowledge it has produced, and for the many aspects of the world and of humanity that it ignores or endangers.To understand what can be counted and what can't is to embrace the ethics of purposeful knowing"--

The acclaimed author of A Tour of the Calculus and The Infinite Ascent offers an enlightening and enthralling tour of the basics of mathematics, and reveals a world of fascination in fundamental mathematical ideas. One, Two, Three is David Berlinski’s captivating exploration of the foundation of mathematics, its fundamental ideas, and why they matter. By unraveling the complex answers to these most elementary questions—What is a number? How do addition, subtraction, and other functions actually work? What are geometry and logic?—Berlinski reveals the intricacy behind their seemingly simple exteriors. Peppered with enlightening historical anecdotes and asides on some of history’s most fascinating mathematicians, One, Two, Three, revels in the beauty of numbers as Berlinski shows us how and why these often slippery concepts are as essential to the field of mathematics as to who we are.