Gödel's Theorem: An Incomplete Guide to Its Use and Abuse


Torkel Franzén - 2005
    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

Q.E.D.: Beauty in Mathematical Proof


Burkard Polster - 2004
    presents some of the most famous mathematical proofs in a charming book that will appeal to nonmathematicians and math experts alike. Grasp in an instant why Pythagoras's theorem must be correct. Follow the ancient Chinese proof of the volume formula for the frustrating frustum, and Archimedes' method for finding the volume of a sphere. Discover the secrets of pi and why, contrary to popular belief, squaring the circle really is possible. Study the subtle art of mathematical domino tumbling, and find out how slicing cones helped save a city and put a man on the moon.

75 Worksheets for Daily Math Practice: Addition, Subtraction, Multiplication, Division: Maths Workbook


Kapoo Stem - 2014
    There is one worksheet for each type of math problem including different digits with operations of addition, subtraction, multiplication and division. These varying level of mathematical ability activities help in improving adding, subtracting, multiplying and dividing operation skills of the student by frequent practicing of the worksheets provided.There is nothing more effective than a pencil and paper for practicing some math skills. These math worksheets are ideal for teachers, parents, students, and home schoolers. The companion ebook allows you to take print outs of these worksheets instantly or you can save them for later use. The learner can significantly improve math knowledge by developing a simple habit to daily practice the math drills.Tutors and homeschoolers use the maths worksheets to test and measure the child's mastery of basic math skills. These math drill sheets can save you precious planning time when homeschooling as you can use these work sheets to give extra practice of essential math skills. Parents use these mathematics worksheets for their kids homework practice too.Designed for after school study and self study, it is used by homeschooler, special needs and gifted kids to add to the learning experience in positive ways. You can also use the worksheets during the summer to get your children ready for the upcoming school term. It helps your child excel in school as well as in building good study habits. If a workbook or mathematic textbook is not allowing for much basic practise, these sheets give you the flexibility to follow the practice that your student needs for an education curriculum.These worksheets are not designed to be grade specific for students, rather depend on how much practice they've had at the skill in the past and how the curriculum in your school is organized. Kids work at their own level and their own pace through these activities. The learner can practice one worksheet a day, two worksheets a day, one every alternate day, one per week, two per week or can follow any consistent pattern. Make best use of your judgement.

Quantum Computing Since Democritus


Scott Aaronson - 2013
    Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible to readers with scientific backgrounds, as well as students and researchers working in physics, computer science, mathematics and philosophy.

Introducing Mathematics: A Graphic Guide


Ziauddin Sardar - 1995
    It affects us all. We depend on it in our daily lives, and yet many of the tools of mathematics, such as geometry, algebra and trigonometry, are descended from ancient or non-Western civilizations.Introducing Mathematics traces the story of mathematics from the ancient world to modern times, describing the great discoveries and providing an accessible introduction to such topics as number-systems, geometry and algebra, the calculus, the theory of the infinite, statistical reasoning and chaos theory. It shows how the history of mathematics has seen progress and paradox go hand in hand - and how this is still happening today.

Introduction to Real Analysis


Robert G. Bartle - 1982
    Therefore, this book provides the fundamental concepts and techniques of real analysis for readers in all of these areas. It helps one develop the ability to think deductively, analyze mathematical situations and extend ideas to a new context. Like the first two editions, this edition maintains the same spirit and user-friendly approach with some streamlined arguments, a few new examples, rearranged topics, and a new chapter on the Generalized Riemann Integral.

Nine Algorithms That Changed the Future: The Ingenious Ideas That Drive Today's Computers


John MacCormick - 2012
    A simple web search picks out a handful of relevant needles from the world's biggest haystack: the billions of pages on the World Wide Web. Uploading a photo to Facebook transmits millions of pieces of information over numerous error-prone network links, yet somehow a perfect copy of the photo arrives intact. Without even knowing it, we use public-key cryptography to transmit secret information like credit card numbers; and we use digital signatures to verify the identity of the websites we visit. How do our computers perform these tasks with such ease? This is the first book to answer that question in language anyone can understand, revealing the extraordinary ideas that power our PCs, laptops, and smartphones. Using vivid examples, John MacCormick explains the fundamental "tricks" behind nine types of computer algorithms, including artificial intelligence (where we learn about the "nearest neighbor trick" and "twenty questions trick"), Google's famous PageRank algorithm (which uses the "random surfer trick"), data compression, error correction, and much more. These revolutionary algorithms have changed our world: this book unlocks their secrets, and lays bare the incredible ideas that our computers use every day.

It Must Be Beautiful: Great Equations of Modern Science


Graham Farmelo - 2002
    Contributors include Steven Weinberg, Peter Galison, John Maynard Smith, and Frank Wilczek.

Topology


James R. Munkres - 1975
    Includes many examples and figures. GENERAL TOPOLOGY. Set Theory and Logic. Topological Spaces and Continuous Functions. Connectedness and Compactness. Countability and Separation Axioms. The Tychonoff Theorem. Metrization Theorems and paracompactness. Complete Metric Spaces and Function Spaces. Baire Spaces and Dimension Theory. ALGEBRAIC TOPOLOGY. The Fundamental Group. Separation Theorems. The Seifert-van Kampen Theorem. Classification of Surfaces. Classification of Covering Spaces. Applications to Group Theory. For anyone needing a basic, thorough, introduction to general and algebraic topology and its applications.

Calculus


Michael Spivak - 1967
    His aim is to present calculus as the first real encounter with mathematics: it is the place to learn how logical reasoning combined with fundamental concepts can be developed into a rigorous mathematical theory rather than a bunch of tools and techniques learned by rote. Since analysis is a subject students traditionally find difficult to grasp, Spivak provides leisurely explanations, a profusion of examples, a wide range of exercises and plenty of illustrations in an easy-going approach that enlightens difficult concepts and rewards effort. Calculus will continue to be regarded as a modern classic, ideal for honours students and mathematics majors, who seek an alternative to doorstop textbooks on calculus, and the more formidable introductions to real analysis.

The Fabric of Reality: The Science of Parallel Universes--and Its Implications


David Deutsch - 1996
    Taken literally, it implies that there are many universes “parallel” to the one we see around us. This multiplicity of universes, according to Deutsch, turns out to be the key to achieving a new worldview, one which synthesizes the theories of evolution, computation, and knowledge with quantum physics. Considered jointly, these four strands of explanation reveal a unified fabric of reality that is both objective and comprehensible, the subject of this daring, challenging book. The Fabric of Reality explains and connects many topics at the leading edge of current research and thinking, such as quantum computers (which work by effectively collaborating with their counterparts in other universes), the physics of time travel, the comprehensibility of nature and the physical limits of virtual reality, the significance of human life, and the ultimate fate of the universe. Here, for scientist and layperson alike, for philosopher, science-fiction reader, biologist, and computer expert, is a startlingly complete and rational synthesis of disciplines, and a new, optimistic message about existence.

Mathematical Analysis


Tom M. Apostol - 1957
    It provides a transition from elementary calculus to advanced courses in real and complex function theory and introduces the reader to some of the abstract thinking that pervades modern analysis.

Algebraic Topology


Allen Hatcher - 2001
    This introductory text is suitable for use in a course on the subject or for self-study, featuring broad coverage and a readable exposition, with many examples and exercises. The four main chapters present the basics: fundamental group and covering spaces, homology and cohomology, higher homotopy groups, and homotopy theory generally. The author emphasizes the geometric aspects of the subject, which helps students gain intuition. A unique feature is the inclusion of many optional topics not usually part of a first course due to time constraints: Bockstein and transfer homomorphisms, direct and inverse limits, H-spaces and Hopf algebras, the Brown representability theorem, the James reduced product, the Dold-Thom theorem, and Steenrod squares and powers.

Mathematical Analysis


S.C. Malik - 1992
    This book discusses real sequences and series, continuity, functions of several variables, elementary and implicit functions, Riemann and Riemann-Stieltjes integrals, and Lebesgue integrals.

The Universal History of Numbers: From Prehistory to the Invention of the Computer


Georges Ifrah - 1981
    A riveting history of counting and calculating, from the time of the cave dwellers to the twentieth century, this fascinating volume brings numbers to thrilling life, explaining their development in human terms, the intriguing situations that made them necessary, and the brilliant achievements in human thought that they made possible. It takes us through the numbers story from Europe to China, via ancient Greece and Rome, Mesopotamia, Latin America, India, and the Arabic countries. Exploring the many ways civilizations developed and changed their mathematical systems, Ifrah imparts a unique insight into the nature of human thought–and into how our understanding of numbers and the ways they shape our lives have changed and grown over thousands of years.