Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.

    A lecture class taught by Wittgenstein, however, hardly resembled a lecture. He sat on a chair in the middle of the room, with some of the class sitting in chairs, some on the floor. He never used notes. He paused frequently, sometimes for several minutes, while he puzzled out a problem. He often asked his listeners questions and reacted to their replies. Many meetings were largely conversation. These lectures were attended by, among others, D. A. T. Gasking, J. N. Findlay, Stephen Toulmin, Alan Turing, G. H. von Wright, R. G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies. Notes taken by these last four are the basis for the thirty-one lectures in this book. The lectures covered such topics as the nature of mathematics, the distinctions between mathematical and everyday languages, the truth of mathematical propositions, consistency and contradiction in formal systems, the logicism of Frege and Russell, Platonism, identity, negation, and necessary truth. The mathematical examples used are nearly always elementary.

    Having just completed his masterpiece, The General Theory of Relativity—which provided a brand-new theory of gravity and promised a new perspective on the cosmos as a whole—he set out at once to share his excitement with as wide a public as possible in this popular and accessible book.Here published for the first time as a Penguin Classic, this edition of Relativity features a new introduction by bestselling science author Nigel Calder.

    Covering number theory, algebra, analysis, Euclidean geometry, and analytic geometry, Solving Mathematical Problems includes numerous exercises and model solutions throughout. Assuming only a basic level of mathematics, the text is ideal for students of 14 years and above in pure mathematics.

    More than two centuries after Euler's death, it is still regarded as a conceptual diamond of unsurpassed beauty. Called Euler's identity or God's equation, it includes just five numbers but represents an astonishing revelation of hidden connections. It ties together everything from basic arithmetic to compound interest, the circumference of a circle, trigonometry, calculus, and even infinity. In David Stipp's hands, Euler's identity formula becomes a contemplative stroll through the glories of mathematics. The result is an ode to this magical field.

    Just about everyone has at least heard of Albert Einstein's formulation of 1905, which came into the world as something of an afterthought. But far fewer can explain his insightful linkage of energy to mass. David Bodanis offers an easily grasped gloss on the equation. Mass, he writes, "is simply the ultimate type of condensed or concentrated energy," whereas energy "is what billows out as an alternate form of mass under the right circumstances." Just what those circumstances are occupies much of Bodanis's book, which pays homage to Einstein and, just as important, to predecessors such as Maxwell, Faraday, and Lavoisier, who are not as well known as Einstein today. Balancing writerly energy and scholarly weight, Bodanis offers a primer in modern physics and cosmology, explaining that the universe today is an expression of mass that will, in some vastly distant future, one day slide back to the energy side of the equation, replacing the "dominion of matter" with "a great stillness"--a vision that is at once lovely and profoundly frightening. Without sliding into easy psychobiography, Bodanis explores other circumstances as well; namely, Einstein's background and character, which combined with a sterling intelligence to afford him an idiosyncratic view of the way things work--a view that would change the world. --Gregory McNamee

    In studying number theory from such a perspective, mathematics majors are spared repetition and provided with new insights, while other students benefit from the consequent simplicity of the proofs for many theorems.Among the topics covered in this accessible, carefully designed introduction are multiplicativity-divisibility, including the fundamental theorem of arithmetic, combinatorial and computational number theory, congruences, arithmetic functions, primitive roots and prime numbers. Later chapters offer lucid treatments of quadratic congruences, additivity (including partition theory) and geometric number theory.Of particular importance in this text is the author's emphasis on the value of numerical examples in number theory and the role of computers in obtaining such examples. Exercises provide opportunities for constructing numerical tables with or without a computer. Students can then derive conjectures from such numerical tables, after which relevant theorems will seem natural and well-motivated..

    Yet Euler's formula is so simple it can be explained to a child. Euler's Gem tells the illuminating story of this indispensable mathematical idea.From ancient Greek geometry to today's cutting-edge research, Euler's Gem celebrates the discovery of Euler's beloved polyhedron formula and its far-reaching impact on topology, the study of shapes. In 1750, Euler observed that any polyhedron composed of V vertices, E edges, and F faces satisfies the equation V-E+F=2. David Richeson tells how the Greeks missed the formula entirely; how Descartes almost discovered it but fell short; how nineteenth-century mathematicians widened the formula's scope in ways that Euler never envisioned by adapting it for use with doughnut shapes, smooth surfaces, and higher dimensional shapes; and how twentieth-century mathematicians discovered that every shape has its own Euler's formula. Using wonderful examples and numerous illustrations, Richeson presents the formula's many elegant and unexpected applications, such as showing why there is always some windless spot on earth, how to measure the acreage of a tree farm by counting trees, and how many crayons are needed to color any map.Filled with a who's who of brilliant mathematicians who questioned, refined, and contributed to a remarkable theorem's development, Euler's Gem will fascinate every mathematics enthusiast.

    The most fundamental differences are philosophical, and readers of this book will emerge with a clearer understandingof paradoxical-sounding concepts such as infinity, curved space, and imaginary numbers. The first few chapters are about general aspects of mathematical thought. These are followed by discussions of more specific topics, and the book closes with a chapter answering common sociological questionsabout the mathematical community (such as Is it true that mathematicians burn out at the age of 25?) It is the ideal introduction for anyone who wishes to deepen their understanding of mathematics.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 hundredsof key topics, from philosophy to Freud, quantum theory to Islam.

    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.

    With an accessible and lively writing style, it introduces modern techniques to what can often be a formal and intimidating subject. Readers are led from the physics of flat spacetime (special relativity), through the intricacies of differential geometry and Einstein's equations, and on to exciting applications such as black holes, gravitational radiation, and cosmology.

    It reveals the attraction that has drawn leading mathematicians and amateurs alike to number theory over the course of history.

    The text offers a flexible organization, enabling instructors to adapt the book to their particular courses. The book is both complete and careful, and it continues to maintain its emphasis on algorithms and applications. Excellent exercise sets allow students to perfect skills as they practice. This new edition continues to feature numerous computer science applications-making this the ideal text for preparing students for advanced study.

    C. Fields, and Woody Allen."Jokes, paradoxes, riddles, and the art of non-sequitur are revealed with great perception and insight in this illuminating account of the relationship between humor and mathematics."—Joseph Williams, New York Times"'Leave your mind alone,' said a Thurber cartoon, and a really complete and convincing analysis of what humour is might spoil all jokes forever. This book avoids that danger. What it does. . .is describe broadly several kinds of mathematical theory and apply them to throw sidelights on how many kinds of jokes work."—New Scientist"Many scholars nowadays write seriously about the ludicrous. Some merely manage to be dull. A few—like Paulos—are brilliant in an odd endeavor."—Los Angeles Times Book Review

    "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems."