Information Theory, Inference and Learning Algorithms


David J.C. MacKay - 2002
    These topics lie at the heart of many exciting areas of contemporary science and engineering - communication, signal processing, data mining, machine learning, pattern recognition, computational neuroscience, bioinformatics, and cryptography. This textbook introduces theory in tandem with applications. Information theory is taught alongside practical communication systems, such as arithmetic coding for data compression and sparse-graph codes for error-correction. A toolbox of inference techniques, including message-passing algorithms, Monte Carlo methods, and variational approximations, are developed alongside applications of these tools to clustering, convolutional codes, independent component analysis, and neural networks. The final part of the book describes the state of the art in error-correcting codes, including low-density parity-check codes, turbo codes, and digital fountain codes -- the twenty-first century standards for satellite communications, disk drives, and data broadcast. Richly illustrated, filled with worked examples and over 400 exercises, some with detailed solutions, David MacKay's groundbreaking book is ideal for self-learning and for undergraduate or graduate courses. Interludes on crosswords, evolution, and sex provide entertainment along the way. In sum, this is a textbook on information, communication, and coding for a new generation of students, and an unparalleled entry point into these subjects for professionals in areas as diverse as computational biology, financial engineering, and machine learning.

We Have No Idea: A Guide to the Unknown Universe


Jorge Cham - 2017
    While they're at it, they helpfully demystify many complicated things we do know about, from quarks and neutrinos to gravitational waves and exploding black holes. With equal doses of humor and delight, they invite us to see the universe as a vast expanse of mostly uncharted territory that's still ours to explore.This entertaining illustrated science primer is the perfect book for anyone who's curious about all the big questions physicists are still trying to answer.

Language, Proof and Logic: Text and CD


Jon Barwise - 1999
    The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

The Computer and the Brain


John von Neumann - 1958
    This work represents the views of a mathematician on the analogies between computing machines and the living human brain.

What on Earth Happened?... In Brief: The Planet, Life & People from the Big Bang to the Present Day


Christopher Lloyd - 2009
    In this thrill-ride across millennia and continents, the complete history of the planet comes to life: from the Earth's fiery birth to its near-obliteration in the Triassic period, and from the first signs of human life to the tentative future of a world with a burgeoning population and a global warming crisis. Covering a wide range of topics including astrophysics, zoology, and sociology, and complete with maps and illustrations, What on Earth Happened? In Brief is the endlessly entertaining story of the planet, life, and people.

Godel: A Life Of Logic, The Mind, And Mathematics


John L. Casti - 2000
    His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Equally legendary were Gö's eccentricities, his close friendship with Albert Einstein, and his paranoid fear of germs that eventually led to his death from self-starvation. Now, in the first popular biography of this strange and brilliant thinker, John Casti and Werner DePauli bring the legend to life. After describing his childhood in the Moravian capital of Brno, the authors trace the arc of Gö's remarkable career, from the famed Vienna Circle, where philosophers and scientists debated notions of truth, to the Institute for Advanced Study in Princeton, New Jersey, where he lived and worked until his death in 1978. In the process, they shed light on Gö's contributions to mathematics, philosophy, computer science, artificial intelligence -- even cosmology -- in an entertaining and accessible way.

Philosophy of Physics: Space and Time


Tim Maudlin - 2012
    Maudlin explains special relativity using a geometrical approach, emphasizing intrinsic space-time structure rather than coordinate systems or reference frames. He gives readers enough detail about special relativity to solve concrete physical problems while presenting general relativity in a more qualitative way, with an informative discussion of the geometrization of gravity, the bending of light, and black holes. Additional topics include the Twins Paradox, the physical aspects of the Lorentz-FitzGerald contraction, the constancy of the speed of light, time travel, the direction of time, and more.Introduces nonphysicists to the philosophical foundations of space-time theoryProvides a broad historical overview, from Aristotle to EinsteinExplains special relativity geometrically, emphasizing the intrinsic structure of space-timeCovers the Twins Paradox, Galilean relativity, time travel, and moreRequires only basic algebra and no formal knowledge of physicsTim Maudlin is professor of philosophy at New York University. His books include The Metaphysics within Physics and Quantum Non-Locality and Relativity.

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.

The Theory That Would Not Die: How Bayes' Rule Cracked the Enigma Code, Hunted Down Russian Submarines, and Emerged Triumphant from Two Centuries of Controversy


Sharon Bertsch McGrayne - 2011
    To its adherents, it is an elegant statement about learning from experience. To its opponents, it is subjectivity run amok.In the first-ever account of Bayes' rule for general readers, Sharon Bertsch McGrayne explores this controversial theorem and the human obsessions surrounding it. She traces its discovery by an amateur mathematician in the 1740s through its development into roughly its modern form by French scientist Pierre Simon Laplace. She reveals why respected statisticians rendered it professionally taboo for 150 years—at the same time that practitioners relied on it to solve crises involving great uncertainty and scanty information (Alan Turing's role in breaking Germany's Enigma code during World War II), and explains how the advent of off-the-shelf computer technology in the 1980s proved to be a game-changer. Today, Bayes' rule is used everywhere from DNA de-coding to Homeland Security.Drawing on primary source material and interviews with statisticians and other scientists, The Theory That Would Not Die is the riveting account of how a seemingly simple theorem ignited one of the greatest controversies of all time.

Einstein's Dice and Schrödinger's Cat: How Two Great Minds Battled Quantum Randomness to Create a Unified Theory of Physics


Paul Halpern - 2015
    Einstein famously quipped that God does not play dice with the universe, and Schrödinger is equally well known for his thought experiment about the cat in the box who ends up “spread out” in a probabilistic state, neither wholly alive nor wholly dead. Both of these famous images arose from these two men’s dissatisfaction with quantum weirdness and with their assertion that underneath it all, there must be some essentially deterministic world. Even though it was Einstein’s own theories that made quantum mechanics possible, both he and Schrödinger could not bear the idea that the universe was, at its most fundamental level, random.As the Second World War raged, both men struggled to produce a theory that would describe in full the universe’s ultimate design, first as collaborators, then as competitors. They both ultimately failed in their search for a Grand Unified Theory—not only because quantum mechanics is true, but because Einstein and Schrödinger were also missing a key component: of the four forces we recognize today (gravity, electromagnetism, the weak force, and the strong force), only gravity and electromagnetism were known at the time.Despite their failures, though, much of modern physics remains focused on the search for a Grand Unified Theory. As Halpern explains, the recent discovery of the Higgs Boson makes the Standard Model—the closest thing we have to a unified theory—nearly complete. And while Einstein and Schrödinger tried and failed to explain everything in the cosmos through pure geometry, the development of string theory has, in its own quantum way, brought this idea back into vogue. As in so many things, even when he was wrong, Einstein couldn’t help but be right.

This Will Make You Smarter: New Scientific Concepts to Improve Your Thinking


John Brockman - 2012
    Their visionary answers flow from the frontiers of psychology, philosophy, economics, physics, sociology, and more. Surprising and enlightening, these insights will revolutionize the way you think about yourself and the world.Contributors include:Daniel Kahneman on the “focusing illusion”Jonah Lehrer on controlling attentionRichard Dawkins on experimentationAubrey De Grey on conquering our fear of the unknownMartin Seligman on the ingredients of well-beingNicholas Carr on managing “cognitive load”Steven Pinker on win-win negotiatingDaniel Goleman on understanding our connection to the natural worldMatt Ridley on tapping collective intelligenceLisa Randall on effective theorizingBrian Eno on “ecological vision”J. Craig Venter on the multiple possible origins of life  Helen Fisher on temperamentSam Harris on the flow of thoughtLawrence Krauss on living with uncertainty

Conceptual Mathematics: A First Introduction to Categories


F. William Lawvere - 1997
    Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

What Is This Thing Called Science?


Alan F. Chalmers - 1976
    Of particular importance is the examination of Bayesianism and the new experimentalism, as well as new chapters on the nature of scientific laws and recent trends in the realism versus anti-realism debate."Crisp, lucid and studded with telling examples… As a handy guide to recent alarums and excursions (in the philosophy of science) I find this book vigorous, gallant and useful."New Scientist

Symmetry


Hermann Weyl - 1952
    Hermann Weyl explores the concept of symmetry beginning with the idea that it represents a harmony of proportions, and gradually departs to examine its more abstract varieties and manifestations--as bilateral, translatory, rotational, ornamental, and crystallographic. Weyl investigates the general abstract mathematical idea underlying all these special forms, using a wealth of illustrations as support. Symmetry is a work of seminal relevance that explores the great variety of applications and importance of symmetry.

We Are All Stardust: Leading Scientists Talk About Their Work, Their Lives, and the Mysteries of Our Existence


Stefan KleinWalter Ziegänsberger - 2010
    How does Jane Goodall’s relationship with her dog Rusty inform her thinking about our relationship to other species? Which time and place would Jared Diamond most prefer to live in, in light of his work on the role of chance in history? What does driving a sports car have to do with Steven Weinberg’s quest for the “theory of everything”? Physicist and journalist Stefan Klein’s intimate conversations with nineteen of the world’s best-known scientists (including three Nobel Laureates) let us listen in as they talk about their paradigm-changing work—and how it is deeply rooted in their daily lives. • Cosmologist Martin Rees on the beginning and end of the world • Evolutionary biologist Richard Dawkins on egoism and selflessness • Neuroscientist V. S. Ramachandran on consciousness • Molecular biologist Elizabeth Blackburn on aging • Philosopher Peter Singer on morality • Physician and social scientist Nicholas Christakis on human relationships • Biochemist Craig Venter on the human genome • Chemist and poet Roald Hoffmann on beauty