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.

Elements of the Theory of Computation


Harry R. Lewis - 1981
    The authors are well-known for their clear presentation that makes the material accessible to a a broad audience and requires no special previous mathematical experience. KEY TOPICS: In this new edition, the authors incorporate a somewhat more informal, friendly writing style to present both classical and contemporary theories of computation. Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book. Each section is followed by problems.

Mathematical Elements for Computer Graphics


David F. Rogers - 1976
    It presents in a unified manner an introduction to the mathematical theory underlying computer graphic applications. It covers topics of keen interest to students in engineering and computer science: transformations, projections, 2-D and 3-D curve definition schemes, and surface definitions. It also includes techniques, such as B-splines, which are incorporated as part of the software in advanced engineering workstations. A basic knowledge of vector and matrix algebra and calculus is required.

An Introduction to Mathematics


Alfred North Whitehead - 1958
    This distinguished little book is a brisk introduction to a series of mathematical concepts, a history of their development, and a concise summary of how today's reader may use them.

The Story of Mathematics


Anne Rooney - 2008
    Topics include the development of counting and numbers systems, the emergence of zero, cultures that don’t have numbers, algebra, solid geometry, symmetry and beauty, perspective, riddles and problems, calculus, mathematical logic, friction force and displacement, subatomic particles, and the expansion of the universe. Great mathematical thinkers covered include Napier, Liu Hui, Aryabhata, Galileo, Newton, Russell, Einstein, Riemann, Euclid, Carl Friedrich Gauss, Charles Babbage, Montmort, Wittgenstein, and many more. The book is beautifully illustrated throughout in full color.

Games and Decisions: Introduction and Critical Survey


R. Duncan Luce - 1957
    Clear, comprehensive coverage of utility theory, 2-person zero-sum games, 2-person non-zero-sum games, n-person games, individual and group decision-making, more. Bibliography.

The Cartoon Guide to Statistics


Larry Gonick - 1993
    Never again will you order the Poisson Distribution in a French restaurant!This updated version features all new material.

Adam Spencer's Big Book of Numbers: Everything you wanted to know about the numbers 1 to 100


Adam Spencer - 2014
    Whether you love numbers, want to love numbers, or just love to laugh and learn about the wonderful world in which we live, this book is for you.For 15 years Adam Spencer has been entertaining us. On triple j and ABC radio and television, he’s established himself as Australia’s funniest and most famous mathematician. And now, by popular demand, we have his Big Book of Numbers, a fascinating journey from 1 to 100.Praise for Adam Spencer’s Big Book of Numbers‘If you find this book boring, you should be in a clinic.’ John Cleese‘Funny yet with hidden depths, like its author. A brilliant introduction to the world of numbers.’ Brian Cox‘Even the page numbers will start to look fascinating once you’ve read this book!’ Amanda Keller‘This book will bring out the inner geek in anyone who knows how to count to 100.’ Brian Schmidt, Winner, 2011 Nobel Prize in Physics

On Formally Undecidable Propositions of Principia Mathematica and Related Systems


Kurt Gödel - 1992
    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.

Complex Variables and Applications


James Ward Brown - 1960
    It uses examples and exercise sets, with clear explanations of problem-solving techniqes and material on the further theory of functions.

Geometry, Relativity and the Fourth Dimension


Rudolf Rucker - 1977
    A remarkable pictorial discussion of the curved space-time we call home, it achieves even greater impact through the use of 141 excellent illustrations. This is the first sustained visual account of many important topics in relativity theory that up till now have only been treated separately.Finding a perfect analogy in the situation of the geometrical characters in Flatland, Professor Rucker continues the adventures of the two-dimensional world visited by a three-dimensional being to explain our three-dimensional world in terms of the fourth dimension. Following this adventure into the fourth dimension, the author discusses non-Euclidean geometry, curved space, time as a higher dimension, special relativity, time travel, and the shape of space-time. The mathematics is sound throughout, but the casual reader may skip those few sections that seem too purely mathematical and still follow the line of argument. Readable and interesting in itself, the annotated bibliography is a valuable guide to further study.Professor Rucker teaches mathematics at the State University of New York in Geneseo. Students and laymen will find his discussion to be unusually stimulating. Experienced mathematicians and physicists will find a great deal of original material here and many unexpected novelties. Annotated bibliography. 44 problems.

Applied Statistics and Probability for Engineers [With Free Access to Online Student Resources]


Douglas C. Montgomery - 1994
    The text shows you how to use statistical methods to design and develop new products, and new manufacturing systems and processes. You'll gain a better understanding of how these methods are used in everyday work, and get a taste of practical engineering experience through real-world, engineering-based examples and exercises. Now revised, this Fourth Edition of "Applied Statistics and Probability for Engineers" features many new homework exercises, including a greater variation of problems and more computer problems.

Discrete Mathematical Structures with Applications to Computer Science


Jean-Paul Tremblay - 1975
    

A Short Account of the History of Mathematics


W.W. Rouse Ball - 1900
    From the early Greek influences to the Middle Ages and the Renaissance to the end of the 19th century, trace the fascinating foundation of mathematics as it developed through the ages. Aristotle, Galileo, Kepler, Newton: you know the names. Now here's what they really did, and the effect their discoveries had on our culture, all explained in a way the layperson can understand. Begin with the basis of arithmetic (Plato and the introduction of geometry), and discover why the use of Arabic numerals was critical to the development of both commerce and science. The development of calculus made space travel a reality, while the abacus prefigured the computer. The greats examined in depth include Leonardo da Vinci, a brilliant mathematician as well as artist; Pascal, who laid out the theory of probabilities; and Fermat, whose intriguing theory has only recently been solved.

Computational Complexity


Sanjeev Arora - 2007
    Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set.