Book picks similar to
An Introduction to Gödel's Theorems by Peter Smith
mathematics
philosophy
logic
math
Introductory Linear Algebra: An Applied First Course
Bernard Kolman - 1988
Calculus is not a prerequisite, although examples and exercises using very basic calculus are included (labeled Calculus Required.) The most technology-friendly text on the market, Introductory Linear Algebra is also the most flexible. By omitting certain sections, instructors can cover the essentials of linear algebra (including eigenvalues and eigenvectors), to show how the computer is used, and to introduce applications of linear algebra in a one-semester course.
A First Course in Abstract Algebra
John B. Fraleigh - 1967
Focused on groups, rings and fields, this text gives students a firm foundation for more specialized work by emphasizing an understanding of the nature of algebraic structures. KEY TOPICS: Sets and Relations; GROUPS AND SUBGROUPS; Introduction and Examples; Binary Operations; Isomorphic Binary Structures; Groups; Subgroups; Cyclic Groups; Generators and Cayley Digraphs; PERMUTATIONS, COSETS, AND DIRECT PRODUCTS; Groups of Permutations; Orbits, Cycles, and the Alternating Groups; Cosets and the Theorem of Lagrange; Direct Products and Finitely Generated Abelian Groups; Plane Isometries; HOMOMORPHISMS AND FACTOR GROUPS; Homomorphisms; Factor Groups; Factor-Group Computations and Simple Groups; Group Action on a Set; Applications of G-Sets to Counting; RINGS AND FIELDS; Rings and Fields; Integral Domains; Fermat's and Euler's Theorems; The Field of Quotients of an Integral Domain; Rings of Polynomials; Factorization of Polynomials over a Field; Noncommutative Examples; Ordered Rings and Fields; IDEALS AND FACTOR RINGS; Homomorphisms and Factor Rings; Prime and Maximal Ideas; Gr�bner Bases for Ideals; EXTENSION FIELDS; Introduction to Extension Fields; Vector Spaces; Algebraic Extensions; Geometric Constructions; Finite Fields; ADVANCED GROUP THEORY; Isomorphism Theorems; Series of Groups; Sylow Theorems; Applications of the Sylow Theory; Free Abelian Groups; Free Groups; Group Presentations; GROUPS IN TOPOLOGY; Simplicial Complexes and Homology Groups; Computations of Homology Groups; More Homology Computations and Applications; Homological Algebra; Factorization; Unique Factorization Domains; Euclidean Domains; Gaussian Integers and Multiplicative Norms; AUTOMORPHISMS AND GALOIS THEORY; Automorphisms of Fields; The Isomorphism Extension Theorem; Splitting Fields; Separable Extensions; Totally Inseparable Extensions; Galois Theory; Illustrations of Galois Theory; Cyclotomic Extensions; Insolvability of the Quintic; Matrix Algebra MARKET: For all readers interested in abstract algebra.
General Relativity
Robert M. Wald - 1984
The book includes full discussions of many problems of current interest which are not treated in any extant book, and all these matters are considered with perception and understanding."—S. Chandrasekhar "A tour de force: lucid, straightforward, mathematically rigorous, exacting in the analysis of the theory in its physical aspect."—L. P. Hughston, Times Higher Education Supplement"Truly excellent. . . . A sophisticated text of manageable size that will probably be read by every student of relativity, astrophysics, and field theory for years to come."—James W. York, Physics Today
A Madman Dreams of Turing Machines
Janna Levin - 2006
“They are both brilliantly original and outsiders,” the narrator tells us. “They are both besotted with mathematics. But for all their devotion, mathematics is indifferent, unaltered by any of their dramas . . . Against indifference, I want to tell their stories.” Which she does in a haunting, incantatory voice, the two lives unfolding in parallel narratives that overlap in the magnitude of each man’s achievement and demise: Gödel, delusional and paranoid, would starve himself to death; Turing, arrested for homosexual activities, would be driven to suicide. And they meet as well in the narrator’s mind, where facts are interwoven with her desire and determination to find meaning in the maze of their stories: two men devoted to truth of the highest abstract nature, yet unable to grasp the mundane truths of their own lives.A unique amalgam of luminous imagination and richly evoked historic character and event—A Madman Dreams of Turing Machines is a story about the pursuit of truth and its effect on the lives of two men. A story of genius and madness, incredible yet true.
Beyond Infinity: An Expedition to the Outer Limits of Mathematics
Eugenia Cheng - 2017
Along the way she considers how to use a chessboard to plan a worldwide dinner party, how to make a chicken-sandwich sandwich, and how to create infinite cookies from a finite ball of dough. Beyond Infinity shows how this little symbol holds the biggest idea of all.
"Beyond Infinity is a spirited and friendly guide--appealingly down to earth about math that's extremely far out." --Jordan Ellenberg, author of How Not to Be Wrong
"Dr. Cheng . . . has a knack for brushing aside conventions and edicts, like so many pie crumbs from a cutting board."
--Natalie Angier, New York Times
Artificial Intelligence: A Modern Approach
Stuart Russell - 1994
The long-anticipated revision of this best-selling text offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. *NEW-Nontechnical learning material-Accompanies each part of the book. *NEW-The Internet as a sample application for intelligent systems-Added in several places including logical agents, planning, and natural language. *NEW-Increased coverage of material - Includes expanded coverage of: default reasoning and truth maintenance systems, including multi-agent/distributed AI and game theory; probabilistic approaches to learning including EM; more detailed descriptions of probabilistic inference algorithms. *NEW-Updated and expanded exercises-75% of the exercises are revised, with 100 new exercises. *NEW-On-line Java software. *Makes it easy for students to do projects on the web using intelligent agents. *A unified, agent-based approach to AI-Organizes the material around the task of building intelligent agents. *Comprehensive, up-to-date coverage-Includes a unified view of the field organized around the rational decision making pa
Fundamentals of Physics: Mechanics, Relativity, and Thermodynamics
Ramamurti Shankar - 2014
Shankar, a well-known physicist and contagiously enthusiastic educator, was among the first to offer a course through the innovative Open Yale Course program. His popular online video lectures on introductory physics have been viewed over a million times. In this concise and self-contained book based on his online Yale course, Shankar explains the fundamental concepts of physics from Galileo’s and Newton’s discoveries to the twentieth-century’s revolutionary ideas on relativity and quantum mechanics. The book begins at the simplest level, develops the basics, and reinforces fundamentals, ensuring a solid foundation in the principles and methods of physics. It provides an ideal introduction for college-level students of physics, chemistry, and engineering, for motivated AP Physics students, and for general readers interested in advances in the sciences. Instructor resources--including problem sets and sample examinations--and more information about Professor Shankar's course are available at http://oyc.yale.edu/physics/phys-200.
A Concise Introduction to Logic [with CD-ROM]
Patrick J. Hurley - 1972
Inside: Logic Resource CD-ROM
The Logic Book
Merrie Bergmann - 1980
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.
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.
How Not to Be Wrong: The Power of Mathematical Thinking
Jordan Ellenberg - 2014
In How Not to Be Wrong, Jordan Ellenberg shows us how terribly limiting this view is: Math isn’t confined to abstract incidents that never occur in real life, but rather touches everything we do—the whole world is shot through with it.Math allows us to see the hidden structures underneath the messy and chaotic surface of our world. It’s a science of not being wrong, hammered out by centuries of hard work and argument. Armed with the tools of mathematics, we can see through to the true meaning of information we take for granted: How early should you get to the airport? What does “public opinion” really represent? Why do tall parents have shorter children? Who really won Florida in 2000? And how likely are you, really, to develop cancer?How Not to Be Wrong presents the surprising revelations behind all of these questions and many more, using the mathematician’s method of analyzing life and exposing the hard-won insights of the academic community to the layman—minus the jargon. Ellenberg chases mathematical threads through a vast range of time and space, from the everyday to the cosmic, encountering, among other things, baseball, Reaganomics, daring lottery schemes, Voltaire, the replicability crisis in psychology, Italian Renaissance painting, artificial languages, the development of non-Euclidean geometry, the coming obesity apocalypse, Antonin Scalia’s views on crime and punishment, the psychology of slime molds, what Facebook can and can’t figure out about you, and the existence of God.Ellenberg pulls from history as well as from the latest theoretical developments to provide those not trained in math with the knowledge they need. Math, as Ellenberg says, is “an atomic-powered prosthesis that you attach to your common sense, vastly multiplying its reach and strength.” With the tools of mathematics in hand, you can understand the world in a deeper, more meaningful way. How Not to Be Wrong will show you how.
Our Mathematical Universe: My Quest for the Ultimate Nature of Reality
Max Tegmark - 2012
Our Big Bang, our distant future, parallel worlds, the sub-atomic and intergalactic - none of them are what they seem. But there is a way to understand this immense strangeness - mathematics. Seeking an answer to the fundamental puzzle of why our universe seems so mathematical, Tegmark proposes a radical idea: that our physical world not only is described by mathematics, but that it is mathematics. This may offer answers to our deepest questions: How large is reality? What is everything made of? Why is our universe the way it is?Table of ContentsPreface 1 What Is Reality? Not What It Seems • What’s the Ultimate Question? • The Journey Begins Part One: Zooming Out 2 Our Place in Space Cosmic Questions • How Big Is Space? • The Size of Earth • Distance to the Moon • Distance to the Sun and the Planets • Distance to the Stars • Distance to the Galaxies • What Is Space? 3 Our Place in TimeWhere Did Our Solar System Come From? • Where Did theGalaxies Come From? • Where Did the Mysterious MicrowavesCome From? • Where Did the Atoms Come From? 4 Our Universe by NumbersWanted: Precision Cosmology • Precision Microwave-Background Fluctuations • Precision Galaxy Clustering • The Ultimate Map of Our Universe • Where Did Our Big Bang Come From? 5 Our Cosmic Origins What’s Wrong with Our Big Bang? • How Inflation Works • The Gift That Keeps on Giving • Eternal Inflation 6 Welcome to the Multiverse The Level I Multiverse • The Level II Multiverse • Multiverse Halftime Roundup Part Two: Zooming In 7 Cosmic Legos Atomic Legos • Nuclear Legos • Particle-Physics Legos • Mathematical Legos • Photon Legos • Above the Law? • Quanta and Rainbows • Making Waves • Quantum Weirdness • The Collapse of Consensus • The Weirdness Can’t Be Confined • Quantum Confusion 8 The Level III Multiverse The Level III Multiverse • The Illusion of Randomness • Quantum Censorship • The Joys of Getting Scooped • Why Your Brain Isn’t a Quantum Computer • Subject, Object and Environment • Quantum Suicide • Quantum Immortality? • Multiverses Unified • Shifting Views: Many Worlds or Many Words? Part Three: Stepping Back 9 Internal Reality, External Reality and Consensus Reality External Reality and Internal Reality • The Truth, the Whole Truth and Nothing but the Truth • Consensus Reality • Physics: Linking External to Consensus Reality 10 Physical Reality and Mathematical Reality Math, Math Everywhere! • The Mathematical Universe Hypothesis • What Is a Mathematical Structure? 11 Is Time an Illusion? How Can Physical Reality Be Mathematical? • What Are You? • Where Are You? (And What Do You Perceive?) • When Are You? 12 The Level IV Multiverse Why I Believe in the Level IV Multiverse • Exploring the Level IV Multiverse: What’s Out There? • Implications of the Level IV Multiverse • Are We Living in a Simulation? • Relation Between the MUH, the Level IV Multiverse and Other Hypotheses •Testing the Level IV Multiverse 13 Life, Our Universe and Everything How Big Is Our Physical Reality? • The Future of Physics • The Future of Our Universe—How Will It End? • The Future of Life •The Future of You—Are You Insignificant? Acknowledgments Suggestions for Further Reading Index
Journey to the Edge of Reason: The Life of Kurt Gödel
Stephen Budiansky - 2021
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.
Fun Inc.: Why games are the 21st Century's most serious business
Tom Chatfield - 2010
Fun Inc. dispels these misconceptions, revealing that 40 per cent of all video game players are women, that most of the bestselling console games of all time involve no real-world violence at all, and how World of Warcraft's online community of over 12 million players is changing our understanding of what it means to be sociable in the modern world.But understanding games means a lot more than simply challenging stereotypes. Find out why the South Korean government will invest $200 billion into its video games industry over the next 4 years and how games are used to train the US Military, to model global pandemics and to campaign against human rights abuses in Africa.Game worlds are creating a new science of mass engagement that is starting to transform our understanding of economics, business and communications. Whether you like video games or loathe them, Fun Inc. will show you that you cannot ignore them.
Turbulent Mirror: An Illustrated Guide to Chaos Theory and the Science of Wholeness
John P. Briggs - 1989
But now, with the aid of high-speed computers, scientists have been able to penetrate a reality that is changing the way we perceive the universe. Their findings -- the basis for chaos theory -- represent one of the most exciting scientific pursuits of our time.No better introduction to this find could be found than John Briggs and F. David Peat's Turbulent Mirror. Together, they explore the many faces of chaos and reveal how its law direct most of the processes of everyday life and how it appears that everything in the universe is interconnected -- discovering an "emerging science of wholeness."Turbulent Mirror introduces us to the scientists involved in study this endlessly strange field; to the theories that are turning our perception of the world on its head; and to the discoveries in mathematics, biology, and physics that are heralding a revolution more profound than the one responsible for producing the atomic bomb. With practical applications ranging from the control of traffic flow and the development of artifical intelligence to the treatment of heart attacks and schizophrenia, chaos promises to be an increasingly rewarding area of inquiry -- of interest to everyone.