Book picks similar to
Categorical Logic and Type Theory by Bart Jacobs
mathematics
logic
logics
machine-learning
Introduction to Modern Cryptography: Principles and Protocols
Jonathan Katz - 2007
Introduction to Modern Cryptography provides a rigorous yet accessible treatment of modern cryptography, with a focus on formal definitions, precise assumptions, and rigorous proofs.The authors introduce the core principles of modern cryptography, including the modern, computational approach to security that overcomes the limitations of perfect secrecy. An extensive treatment of private-key encryption and message authentication follows. The authors also illustrate design principles for block ciphers, such as the Data Encryption Standard (DES) and the Advanced Encryption Standard (AES), and present provably secure constructions of block ciphers from lower-level primitives. The second half of the book focuses on public-key cryptography, beginning with a self-contained introduction to the number theory needed to understand the RSA, Diffie-Hellman, El Gamal, and other cryptosystems. After exploring public-key encryption and digital signatures, the book concludes with a discussion of the random oracle model and its applications.Serving as a textbook, a reference, or for self-study, Introduction to Modern Cryptography presents the necessary tools to fully understand this fascinating subject.
How Would You Move Mount Fuji? Microsoft's Cult of the Puzzle--How the World's Smartest Companies Select the Most Creative Thinkers
William Poundstone - 2003
For the first time, William Poundstone reveals the toughest questions used at Microsoft and other Fortune 500 companies -- and supplies the answers. He traces the rise and controversial fall of employer-mandated IQ tests, the peculiar obsessions of Bill Gates (who plays jigsaw puzzles as a competitive sport), the sadistic mind games of Wall Street (which reportedly led one job seeker to smash a forty-third-story window), and the bizarre excesses of today's hiring managers (who may start off your interview with a box of Legos or a game of virtual Russian roulette). How Would You Move Mount Fuji? is an indispensable book for anyone in business. Managers seeking the most talented employees will learn to incorporate puzzle interviews in their search for the top candidates. Job seekers will discover how to tackle even the most brain-busting questions, and gain the advantage that could win the job of a lifetime. And anyone who has ever dreamed of going up against the best minds in business may discover that these puzzles are simply a lot of fun. Why are beer cans tapered on the end, anyway?
The Thinker's Guide to How to Read A Paragraph: The Art of Close Reading
Richard Paul - 2006
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.
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.
Hilbert
Constance Bowman Reid - 1970
These noteworthy accounts of the lives of David Hilbert and Richard Courant are closely related: Courant's story is, in many ways, seen as the sequel to the story of Hilbert. Originally published to great acclaim, both books explore the dramatic scientific history expressed in the lives of these two great scientists and described in the lively, nontechnical writing style of Contance Reid.
Footballistics
James Coventry - 2018
The nature of football continually changes, which means its analysis must also keep pace. This book is for students, thinkers, and theorists of the game.'Ted Hopkins - Carlton premiership player, author, and co-founder of Champion Data. Australian Rules football has been described as the most data-rich sport on Earth. Every time and everywhere an AFL side takes to the field, it is shadowed by an army of statisticians and number crunchers. The information they gather has become the sport's new language and currency. ABC journalist James Coventry, author of the acclaimed Time and Space, has joined forces with a group of razor-sharp analysts to decipher the data, and to use it to question some of football's long-held truisms. Do umpires really favour the home side? Has goal kicking accuracy deteriorated? Is Geelong the true master of the draft? Are blonds unfairly favoured in Brownlow medal voting? And are Victorians the most passionate fans? Through a blend of entertaining storytelling and expert analysis, this book will answer more questions about footy than you ever thought to ask. Praise for Time and Space:'Brilliant, masterful' - The Guardian'Arguably one of the most important books yet written on Australian Rules football.' - Inside History'Should find its way into the hands of every coach.' - AFL Record
Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills
Paul J. Nahin - 2006
Dr. Euler's Fabulous Formula shares the fascinating story of this groundbreaking formula--long regarded as the gold standard for mathematical beauty--and shows why it still lies at the heart of complex number theory. This book is the sequel to Paul Nahin's An Imaginary Tale: The Story of I [the square root of -1], which chronicled the events leading up to the discovery of one of mathematics' most elusive numbers, the square root of minus one. Unlike the earlier book, which devoted a significant amount of space to the historical development of complex numbers, Dr. Euler begins with discussions of many sophisticated applications of complex numbers in pure and applied mathematics, and to electronic technology. The topics covered span a huge range, from a never-before-told tale of an encounter between the famous mathematician G. H. Hardy and the physicist Arthur Schuster, to a discussion of the theoretical basis for single-sideband AM radio, to the design of chase-and-escape problems. The book is accessible to any reader with the equivalent of the first two years of college mathematics (calculus and differential equations), and it promises to inspire new applications for years to come. Or as Nahin writes in the book's preface: To mathematicians ten thousand years hence, Euler's formula will still be beautiful and stunning and untarnished by time.
Birth of a Theorem: A Mathematical Adventure
Cédric Villani - 2012
Birth of a Theorem is Villani’s own account of the years leading up to the award. It invites readers inside the mind of a great mathematician as he wrestles with the most important work of his career.But you don’t have to understand nonlinear Landau damping to love Birth of a Theorem. It doesn’t simplify or overexplain; rather, it invites readers into collaboration. Villani’s diaries, emails, and musings enmesh you in the process of discovery. You join him in unproductive lulls and late-night breakthroughs. You’re privy to the dining-hall conversations at the world’s greatest research institutions. Villani shares his favorite songs, his love of manga, and the imaginative stories he tells his children. In mathematics, as in any creative work, it is the thinker’s whole life that propels discovery—and with Birth of a Theorem, Cédric Villani welcomes you into his.
The Hidden Half: How the World Conceals its Secrets
Michael Blastland - 2019
In this entertaining and ingenious book, Blastland reveals how in our quest to make the world more understandable, we lose sight of how unexplainable it often is. The result - from GDP figures to medicine - is that experts know a lot less than they think. Filled with compelling stories from economics, genetics, business, and science, The Hidden Half is a warning that an explanation which works in one arena may not work in another. Entertaining and provocative, it will change how you view the world.
The Equation That Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry
Mario Livio - 2005
Yet the mathematical language of symmetry-known as group theory-did not emerge from the study of symmetry at all, but from an equation that couldn't be solved. For thousands of years mathematicians solved progressively more difficult algebraic equations, until they encountered the quintic equation, which resisted solution for three centuries. Working independently, two great prodigies ultimately proved that the quintic cannot be solved by a simple formula. These geniuses, a Norwegian named Niels Henrik Abel and a romantic Frenchman named Évariste Galois, both died tragically young. Their incredible labor, however, produced the origins of group theory. The first extensive, popular account of the mathematics of symmetry and order, The Equation That Couldn't Be Solved is told not through abstract formulas but in a beautifully written and dramatic account of the lives and work of some of the greatest and most intriguing mathematicians in history.
The Essential John Nash
John F. Nash - 2001
Since then, Sylvia Nasar's celebrated biography A Beautiful Mind, the basis of a new major motion picture, has revealed the man. The Essential John Nash reveals his work--in his own words. This book presents, for the first time, the full range of Nash's diverse contributions not only to game theory, for which he received the Nobel, but to pure mathematics--from Riemannian geometry and partial differential equations--in which he commands even greater acclaim among academics. Included are nine of Nash's most influential papers, most of them written over the decade beginning in 1949.From 1959 until his astonishing remission three decades later, the man behind the concepts "Nash equilibrium" and "Nash bargaining"--concepts that today pervade not only economics but nuclear strategy and contract talks in major league sports--had lived in the shadow of a condition diagnosed as paranoid schizophrenia. In the introduction to this book, Nasar recounts how Nash had, by the age of thirty, gone from being a wunderkind at Princeton and a rising mathematical star at MIT to the depths of mental illness.In his preface, Harold Kuhn offers personal insights on his longtime friend and colleague; and in introductions to several of Nash's papers, he provides scholarly context. In an afterword, Nash describes his current work, and he discusses an error in one of his papers. A photo essay chronicles Nash's career from his student days in Princeton to the present. Also included are Nash's Nobel citation and autobiography.The Essential John Nash makes it plain why one of Nash's colleagues termed his style of intellectual inquiry as "like lightning striking." All those inspired by Nash's dazzling ideas will welcome this unprecedented opportunity to trace these ideas back to the exceptional mind they came from.
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.
Schaum's Outline of Discrete Mathematics (Schaum's Outline Series)
Seymour Lipschutz - 2009
More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all the essential course information in an easy-to-follow, topic-by-topic format. You also get hundreds of examples, solved problems, and practice exercises to test your skills. This Schaum's Outline gives you: Practice problems with full explanations that reinforce knowledge Coverage of the most up-to-date developments in your course field In-depth review of practices and applications Fully compatible with your classroom text, Schaum's highlights all the important facts you need to know. Use Schaum's to shorten your study time-and get your best test scores! Schaum's Outlines-Problem Solved.
Deep Thinking: Where Machine Intelligence Ends and Human Creativity Begins
Garry Kasparov - 2017
It was the dawn of a new era in artificial intelligence: a machine capable of beating the reigning human champion at this most cerebral game. That moment was more than a century in the making, and in this breakthrough book, Kasparov reveals his astonishing side of the story for the first time. He describes how it felt to strategize against an implacable, untiring opponent with the whole world watching, and recounts the history of machine intelligence through the microcosm of chess, considered by generations of scientific pioneers to be a key to unlocking the secrets of human and machine cognition. Kasparov uses his unrivaled experience to look into the future of intelligent machines and sees it bright with possibility. As many critics decry artificial intelligence as a menace, particularly to human jobs, Kasparov shows how humanity can rise to new heights with the help of our most extraordinary creations, rather than fear them. Deep Thinking is a tightly argued case for technological progress, from the man who stood at its precipice with his own career at stake.