Book picks similar to
A Tour Through Mathematical Logic by Robert S. Wolf
mathematics
math
mathematical-logic
logic
The Signal and the Noise: Why So Many Predictions Fail—But Some Don't
Nate Silver - 2012
He solidified his standing as the nation's foremost political forecaster with his near perfect prediction of the 2012 election. Silver is the founder and editor in chief of FiveThirtyEight.com. Drawing on his own groundbreaking work, Silver examines the world of prediction, investigating how we can distinguish a true signal from a universe of noisy data. Most predictions fail, often at great cost to society, because most of us have a poor understanding of probability and uncertainty. Both experts and laypeople mistake more confident predictions for more accurate ones. But overconfidence is often the reason for failure. If our appreciation of uncertainty improves, our predictions can get better too. This is the "prediction paradox": The more humility we have about our ability to make predictions, the more successful we can be in planning for the future.In keeping with his own aim to seek truth from data, Silver visits the most successful forecasters in a range of areas, from hurricanes to baseball, from the poker table to the stock market, from Capitol Hill to the NBA. He explains and evaluates how these forecasters think and what bonds they share. What lies behind their success? Are they good-or just lucky? What patterns have they unraveled? And are their forecasts really right? He explores unanticipated commonalities and exposes unexpected juxtapositions. And sometimes, it is not so much how good a prediction is in an absolute sense that matters but how good it is relative to the competition. In other cases, prediction is still a very rudimentary-and dangerous-science.Silver observes that the most accurate forecasters tend to have a superior command of probability, and they tend to be both humble and hardworking. They distinguish the predictable from the unpredictable, and they notice a thousand little details that lead them closer to the truth. Because of their appreciation of probability, they can distinguish the signal from the noise.
Alan Turing: The Enigma
Andrew Hodges - 1983
His breaking of the German U-boat Enigma cipher in World War II ensured Allied-American control of the Atlantic. But Turing's vision went far beyond the desperate wartime struggle. Already in the 1930s he had defined the concept of the universal machine, which underpins the computer revolution. In 1945 he was a pioneer of electronic computer design. But Turing's true goal was the scientific understanding of the mind, brought out in the drama and wit of the famous "Turing test" for machine intelligence and in his prophecy for the twenty-first century.Drawn in to the cockpit of world events and the forefront of technological innovation, Alan Turing was also an innocent and unpretentious gay man trying to live in a society that criminalized him. In 1952 he revealed his homosexuality and was forced to participate in a humiliating treatment program, and was ever after regarded as a security risk. His suicide in 1954 remains one of the many enigmas in an astonishing life story.
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
Eugene Paul Wigner - 1959
In the paper, Wigner observed that the mathematical structure of a physical theory often points the way to further advances in that theory and even to empirical predictions.
M.C. Escher: Visions of Symmetry
Doris Schattschneider - 1990
It deals with one powerful obsession that preoccupied Escher: what he called "the regular division of the plane," the puzzlelike interlocking of birds, fish, lizards, and other natural forms in continuous patterns. Schattschneider asks, "How did he do it?" She answers the question by analyzing Escher's notebooks." Visions of Symmetry includes many of Escher's masterworks, as well as hundreds of lesser-known examples of his work. This new edition also features a foreward and an illustrated epilogue that reveals new information about Escher's inspiration and shows how his ideas of symmetry have influenced mathematicians, computer scientists, and contemporary artists.
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
For the Love of Prague: The True Love Story of the Only Free American in Prague During 30 Years of Communism
Gene Deitch - 1997
No reporter, who flew in, contacted a few dissidents, and flew out again, could ever match his experience, insight, or personal adventures. His book, For The Love Of Prague, is part love story, part history, part a record of national lunacy, and part terror. It is all true, with real names, real people, and real incidents. The New York Times, in a two-thirds page illustrated story, hailed it as a spicy, funny memoir!
About the Author:
Gene Deitch is an Oscar-winning animation film director and scenarist. He is a voting member of the Motion Picture Academy of Arts and Scientists. In the early 1950s he was Creative Director of UPA s New York studio, where among his many gold-medal winning films were the famous Bert & Harry Piels beer commercials. His TV commercials were the first ever shown at the New York Museum of Modern Art. In 1956 CBS purchased the Terrytoons animation studio and named Gene Deitch as its Creative Director. Under his supervision and direction, the studio produced 18 CinemaScope cartoons per year for 20th Century-Fox, and won its very first Oscar nomination. He personally created and directed the Tom Terrific series for the CBS nationwide Captain Kangaroo show. Tom Terrific, with Mighty Manfred the Wonder Dog, was the very first animated serial for network television. In 1958 he set up his own studio, Gene Deitch Associates, inc., in New York.
Nostalgia: Going Home in a Homeless World
Anthony M. Esolen - 2018
It is an ache for the homecoming. The Greeks called it nostalgia. Post-modern man, homeless almost by definition, cannot understand nostalgia. If he is a progressive, dreaming of a utopia to come, he dismisses it contemptuously, eager to bury a past he despises. If he is a reactionary, he sentimentalizes it, dreaming of a lost golden age. In this profound reflection, Anthony Esolen explores the true meaning of nostalgia and its place in the human heart. Drawing on the great works of Western literature from the Odyssey to Flannery O'Connor, he traces the development of this fundamental longing from the pagan's desire for his earthly home, which most famously inspired Odysseys' heroic return to Ithaca, to its transformation under Christianity. The doctrine of the fall of man forestalls sentimental traditionalism by insisting that there has been no Eden since Eden. And the revelation of heaven as our true and final home, directing man's longing to the next world, paradoxically strengthens and ennobles the pilgrim's devotion to his home in this world. In our own day, Christian nostalgia stands in frank opposition to the secular usurpation of this longing. Looking for a city that does not exist, the progressive treats original sin, which afflicts everyone, as mere political error, which afflicts only his opponents. To him, history is a long tale of misery with nothing to teach us. Despising his fathers, he lives in a world without piety. Only the future, which no one can know, is real to him. It is an idol that justifies all manner of evil and folly. Nostalgia rightly understood is not an invitation to repeat the sins of the past or to repudiate what experience and reflection have taught us, but to hear the call of sanity and sweetness again. Perhaps we will shake our heads as if awaking from a bad and feverish dream and, coming to ourselves, resolve, like the Prodigal, to "arise and go to my father's house."
"Surely You're Joking, Mr. Feynman!": Adventures of a Curious Character
Richard P. Feynman - 1985
Here he recounts in his inimitable voice his experience trading ideas on atomic physics with Einstein and Bohr and ideas on gambling with Nick the Greek; cracking the uncrackable safes guarding the most deeply held nuclear secrets; accompanying a ballet on his bongo drums; painting a naked female toreador. In short, here is Feynman's life in all its eccentric—a combustible mixture of high intelligence, unlimited curiosity, and raging chutzpah.
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life Plus the Secrets of Enigma
Alan Turing - 2004
In 1935, aged 22, he developed the mathematical theory upon which all subsequent stored-program digital computers are modeled.At the outbreak of hostilities with Germany in September 1939, he joined the Government Codebreaking team at Bletchley Park, Buckinghamshire and played a crucial role in deciphering Engima, the code used by the German armed forces to protect their radio communications. Turing's work on the versionof Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as Fish, which were used by the German High Command for the encryption of signals during the latter part of the war. His contribution helped toshorten the war in Europe by an estimated two years.After the war, his theoretical work led to the development of Britain's first computers at the National Physical Laboratory and the Royal Society Computing Machine Laboratory at Manchester University.Turing was also a founding father of modern cognitive science, theorizing that the cortex at birth is an unorganized machine which through training becomes organized into a universal machine or something like it. He went on to develop the use of computers to model biological growth, launchingthe discipline now referred to as Artificial Life.The papers in this book are the key works for understanding Turing's phenomenal contribution across all these fields. The collection includes Turing's declassified wartime Treatise on the Enigma; letters from Turing to Churchill and to codebreakers; lectures, papers, and broadcasts which opened upthe concept of AI and its implications; and the paper which formed the genesis of the investigation of Artifical Life.
A History of π
Petr Beckmann - 1970
Petr Beckmann holds up this mirror, giving the background of the times when pi made progress -- and also when it did not, because science was being stifled by militarism or religious fanaticism.
Things to Make and Do in the Fourth Dimension
Matt Parker - 2014
This book can be cut, drawn in, folded into shapes and will even take you to the fourth dimension. So join stand-up mathematician Matt Parker on a journey through narcissistic numbers, optimal dating algorithms, at least two different kinds of infinity and more.
Not Even Wrong: The Failure of String Theory and the Search for Unity in Physical Law
Peter Woit - 2006
In Peter Woit's view, superstring theory is just such an idea. In Not Even Wrong , he shows that what many physicists call superstring "theory" is not a theory at all. It makes no predictions, even wrong ones, and this very lack of falsifiability is what has allowed the subject to survive and flourish. Not Even Wrong explains why the mathematical conditions for progress in physics are entirely absent from superstring theory today and shows that judgments about scientific statements, which should be based on the logical consistency of argument and experimental evidence, are instead based on the eminence of those claiming to know the truth. In the face of many books from enthusiasts for string theory, this book presents the other side of the story.
Perfect Rigor: A Genius and the Mathematical Breakthrough of the Century
Masha Gessen - 2009
A prize of one million dollars was offered to anyone who could unravel it, but Perelman declined the winnings, and in doing so inspired journalist Masha Gessen to tell his story. Drawing on interviews with Perelman’s teachers, classmates, coaches, teammates, and colleagues in Russia and the United States—and informed by her own background as a math whiz raised in Russia—Gessen uncovered a mind of unrivaled computational power, one that enabled Perelman to pursue mathematical concepts to their logical (sometimes distant) end. But she also discovered that this very strength turned out to be Perelman's undoing and the reason for his withdrawal, first from the world of mathematics and then, increasingly, from the world in general.
Understanding Symbolic Logic
Virginia Klenk - 1983
Each chapter, or unit, is divided into easily comprehended small "bites" that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics. For individuals interested in the formal study of logic.
A Course in Game Theory
Martin J. Osborne - 1994
The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises. Solution ManualTable of Contents, Errata, and more...