Book picks similar to
The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna
tech-formal
tech-queue
computer-science
hand
Cryptanalysis: A Study of Ciphers and Their Solution
Helen Fouche Gaines - 1939
Nihilist, grille, U. S. Army, key-phrase, multiple-alphabet, Gronsfeld, Porta, Beaufort, periodic ciphers, and more. Simple and advanced methods. 166 specimens to solve — with solutions.
Lost in Math: How Beauty Leads Physics Astray
Sabine Hossenfelder - 2018
Whether pondering black holes or predicting discoveries at CERN, physicists believe the best theories are beautiful, natural, and elegant, and this standard separates popular theories from disposable ones. This is why, Sabine Hossenfelder argues, we have not seen a major breakthrough in the foundations of physics for more than four decades. The belief in beauty has become so dogmatic that it now conflicts with scientific objectivity: observation has been unable to confirm mindboggling theories, like supersymmetry or grand unification, invented by physicists based on aesthetic criteria. Worse, these "too good to not be true" theories are actually untestable and they have left the field in a cul-de-sac. To escape, physicists must rethink their methods. Only by embracing reality as it is can science discover the truth.
How to Create a Mind: The Secret of Human Thought Revealed
Ray Kurzweil - 2012
In How to Create a Mind, Kurzweil presents a provocative exploration of the most important project in human-machine civilization—reverse engineering the brain to understand precisely how it works and using that knowledge to create even more intelligent machines.Kurzweil discusses how the brain functions, how the mind emerges from the brain, and the implications of vastly increasing the powers of our intelligence in addressing the world’s problems. He thoughtfully examines emotional and moral intelligence and the origins of consciousness and envisions the radical possibilities of our merging with the intelligent technology we are creating.Certain to be one of the most widely discussed and debated science books of the year, How to Create a Mind is sure to take its place alongside Kurzweil’s previous classics which include Fantastic Voyage: Live Long Enough to Live Forever and The Age of Spiritual Machines.
Do You QuantumThink?: New Thinking That Will Rock Your World
Dianne Collins - 2011
We're all looking for new ways of thinking that can bring about real solutions to modern problems, from the pursuit of inner serenity to solving world conflicts. In Do You QuantumThink? author Dianne Collins shares her ingenious discovery that reveals a critical missing link to make sense of our changing times. Her discovery provides us with the understanding and methodology to rise above problems of today by laying the foundation for an entirely new way to think.Part science, part philosophy, part spirituality, Do You QuantumThink? draws on a wide spectrum of sources, from cutting edge innovations in the sciences to the insights of the world's greatest spiritual leaders. This book will make you laugh, free you from limiting ideas, and introduce you to the most advanced principles and practical methods for living. Do You QuantumThink? will rock your world in the best of ways as you experience one revelation after another.
A History of Mathematics
Carl B. Boyer - 1968
The material is arranged chronologically beginning with archaic origins and covers Egyptian, Mesopotamian, Greek, Chinese, Indian, Arabic and European contributions done to the nineteenth century and present day. There are revised references and bibliographies and revised and expanded chapters on the nineteeth and twentieth centuries.
Lauren Ipsum
Carlos Bueno - 2011
If the idea of a computer science book without computers upsets you, please close your eyes until you’ve finished reading the rest of this page.The truth is that computer science is not really about the computer. It is just a tool to help you see ideas more clearly. You can see the moon and stars without a telescope, smell the flowers without a fluoroscope, have fun without a funoscope, and be silly sans oscilloscope.You can also play with computer science without... you-know-what. Ideas are the real stuff of computer science. This book is about those ideas, and how to find them.
The Art of Statistics: How to Learn from Data
David Spiegelhalter - 2019
Statistics are everywhere, as integral to science as they are to business, and in the popular media hundreds of times a day. In this age of big data, a basic grasp of statistical literacy is more important than ever if we want to separate the fact from the fiction, the ostentatious embellishments from the raw evidence -- and even more so if we hope to participate in the future, rather than being simple bystanders. In The Art of Statistics, world-renowned statistician David Spiegelhalter shows readers how to derive knowledge from raw data by focusing on the concepts and connections behind the math. Drawing on real world examples to introduce complex issues, he shows us how statistics can help us determine the luckiest passenger on the Titanic, whether a notorious serial killer could have been caught earlier, and if screening for ovarian cancer is beneficial. The Art of Statistics not only shows us how mathematicians have used statistical science to solve these problems -- it teaches us how we too can think like statisticians. We learn how to clarify our questions, assumptions, and expectations when approaching a problem, and -- perhaps even more importantly -- we learn how to responsibly interpret the answers we receive. Combining the incomparable insight of an expert with the playful enthusiasm of an aficionado, The Art of Statistics is the definitive guide to stats that every modern person needs.
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.
The Complete Guide to Absolutely Everything (Abridged): Adventures in Math and Science
Adam Rutherford - 2021
Our senses are not equipped to see the universe as it is, and routinely let us down in that quest—the world appears flat, the stars seem fixed in the heavens. That is why we invented math and science—the ultimate toolkit to explain how the world really works.In this book, mathematician Hannah Fry and geneticist Adam Rutherford investigate everyday mysteries (does your dog love you?) alongside the burning questions of time, space, and the origin of the universe. What will the end of the world look like, and when will it happen? What is time, and where does it come from? Approaching these questions and more with science and math rigorous and playful, Rutherford and Fry celebrate the weirdness of the cosmos, and reveal its secrets along the way.
A Beginner's Guide to Constructing the Universe: The Mathematical Archetypes of Nature, Art, and Science
Michael S. Schneider - 1994
This is a new view of mathematics, not the one we learned at school but a comprehensive guide to the patterns that recur through the universe and underlie human affairs. A Beginner's Guide to Constructing, the Universe shows you: Why cans, pizza, and manhole covers are round.Why one and two weren't considered numbers by the ancient Greeks.Why squares show up so often in goddess art and board games.What property makes the spiral the most widespread shape in nature, from embryos and hair curls to hurricanes and galaxies. How the human body shares the design of a bean plant and the solar system. How a snowflake is like Stonehenge, and a beehive like a calendar. How our ten fingers hold the secrets of both a lobster a cathedral, and much more.
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.
One, Two, Three...Infinity: Facts and Speculations of Science
George Gamow - 1947
. . full of intellectual treats and tricks, of whimsy and deep scientific philosophy. It is highbrow entertainment at its best, a teasing challenge to all who aspire to think about the universe." — New York Herald TribuneOne of the world's foremost nuclear physicists (celebrated for his theory of radioactive decay, among other accomplishments), George Gamow possessed the unique ability of making the world of science accessible to the general reader.He brings that ability to bear in this delightful expedition through the problems, pleasures, and puzzles of modern science. Among the topics scrutinized with the author's celebrated good humor and pedagogical prowess are the macrocosm and the microcosm, theory of numbers, relativity of space and time, entropy, genes, atomic structure, nuclear fission, and the origin of the solar system.In the pages of this book readers grapple with such crucial matters as whether it is possible to bend space, why a rocket shrinks, the "end of the world problem," excursions into the fourth dimension, and a host of other tantalizing topics for the scientifically curious. Brimming with amusing anecdotes and provocative problems, One Two Three . . . Infinity also includes over 120 delightful pen-and-ink illustrations by the author, adding another dimension of good-natured charm to these wide-ranging explorations.Whatever your level of scientific expertise, chances are you'll derive a great deal of pleasure, stimulation, and information from this unusual and imaginative book. It belongs in the library of anyone curious about the wonders of the scientific universe. "In One Two Three . . . Infinity, as in his other books, George Gamow succeeds where others fail because of his remarkable ability to combine technical accuracy, choice of material, dignity of expression, and readability." — Saturday Review of Literature
The Irrationals - A Story of the Numbers You Can′t Count On
Julian Havil - 2012
In The Irrationals , the first popular and comprehensive book on the subject, Julian Havil tells the story of irrational numbers and the mathematicians who have tackled their challenges, from antiquity to the twenty-first century. Along the way, he explains why irrational numbers are surprisingly difficult to define--and why so many questions still surround them. That definition seems so simple: they are numbers that cannot be expressed as a ratio of two integers, or that have decimal expansions that are neither infinite nor recurring. But, as The Irrationals shows, these are the real "complex" numbers, and they have an equally complex and intriguing history, from Euclid's famous proof that the square root of 2 is irrational to Roger Apry's proof of the irrationality of a number called Zeta(3), one of the greatest results of the twentieth century. In between, Havil explains other important results, such as the irrationality of e and pi. He also discusses the distinction between "ordinary" irrationals and transcendentals, as well as the appealing question of whether the decimal expansion of irrationals is "random". Fascinating and illuminating, this is a book for everyone who loves math and the history behind it.
The Sabermetric Revolution: Assessing the Growth of Analytics in Baseball
Benjamin Baumer - 2013
Rocketed to popularity by the 2003 bestseller Moneyball and the film of the same name, the use of sabermetrics to analyze player performance has appeared to be a David to the Goliath of systemically advantaged richer teams that could be toppled only by creative statistical analysis. The story has been so compelling that, over the past decade, team after team has integrated statistical analysis into its front office. But how accurately can crunching numbers quantify a player's ability? Do sabermetrics truly level the playing field for financially disadvantaged teams? How much of the baseball analytic trend is fad and how much fact?The Sabermetric Revolution sets the record straight on the role of analytics in baseball. Former Mets sabermetrician Benjamin Baumer and leading sports economist Andrew Zimbalist correct common misinterpretations and develop new methods to assess the effectiveness of sabermetrics on team performance. Tracing the growth of front office dependence on sabermetrics and the breadth of its use today, they explore how Major League Baseball and the field of sports analytics have changed since the 2002 season. Their conclusion is optimistic, but the authors also caution that sabermetric insights will be more difficult to come by in the future. The Sabermetric Revolution offers more than a fascinating case study of the use of statistics by general managers and front office executives: for fans and fantasy leagues, this book will provide an accessible primer on the real math behind moneyball as well as new insight into the changing business of baseball.
The Formula: How Algorithms Solve all our Problems … and Create More
Luke Dormehl - 2014
What if everything in life could be reduced to a simple formula? What if numbers were able to tell us which partners we were best matched with – not just in terms of attractiveness, but for a long-term committed marriage? Or if they could say which films would be the biggest hits at the box office, and what changes could be made to those films to make them even more successful? Or even who out of us is likely to commit certain crimes, and when? This may sound like the world of science-fiction, but in fact it is just the tip of the iceberg in a world that is increasingly ruled by complex algorithms and neural networks.In The Formula, Luke Dormehl takes you inside the world of numbers, asking how we came to believe in the all-conquering power of algorithms; introducing the mathematicians, artificial intelligence experts and Silicon Valley entrepreneurs who are shaping this brave new world, and ultimately asking how we survive in an era where numbers can sometimes seem to create as many problems as they solve.