Lewis Carroll's Symbolic Logic


Lewis Carroll - 1896
    Lewis Carroll’s Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox / edited, with annotations and an introd., by William Warren Bartley, III.

Incompleteness: The Proof and Paradox of Kurt Gödel


Rebecca Goldstein - 2005
    "A gem…An unforgettable account of one of the great moments in the history of human thought." —Steven PinkerProbing the life and work of Kurt Gödel, Incompleteness indelibly portrays the tortured genius whose vision rocked the stability of mathematical reasoning—and brought him to the edge of madness.

The Man Who Knew Too Much: Alan Turing and the Invention of the Computer


David Leavitt - 2006
    Then, attempting to break a Nazi code during World War II, he successfully designed and built one, thus ensuring the Allied victory. Turing became a champion of artificial intelligence, but his work was cut short. As an openly gay man at a time when homosexuality was illegal in England, he was convicted and forced to undergo a humiliating "treatment" that may have led to his suicide.With a novelist's sensitivity, David Leavitt portrays Turing in all his humanity—his eccentricities, his brilliance, his fatal candor—and elegantly explains his work and its implications.

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.

Paradox: The Nine Greatest Enigmas in Physics


Jim Al-Khalili - 2012
    A fun and fascinating look at great scientific paradoxes.   Throughout history, scientists have come up with theories and ideas that just don't seem to make sense.  These we call paradoxes.  The paradoxes Al-Khalili offers are drawn chiefly from physics and astronomy and represent those that have stumped some of the finest minds.  For example, how can a cat be both dead and alive at the same time?  Why will Achilles never beat a tortoise in a race, no matter how fast he runs?  And how can a person be ten years older than his twin?   With elegant explanations that bring the reader inside the mind of those who've developed them, Al-Khalili helps us to see that, in fact, paradoxes can be solved if seen from the right angle.  Just as surely as Al-Khalili narrates the enduring fascination of these classic paradoxes, he reveals their underlying logic.  In doing so, he brings to life a select group of the most exciting concepts in human knowledge.  Paradox is mind-expanding fun.

The Unimaginable Mathematics of Borges' Library of Babel


William Goldbloom Bloch - 2008
    Now, in The Unimaginable Mathematics of Borges' Library of Babel, William Goldbloom Bloch takes readers on a fascinating tour of the mathematical ideas hiddenwithin one of the classic works of modern literature.Written in the vein of Douglas R. Hofstadter's Pulitzer Prize-winning G�del, Escher, Bach, this original and imaginative book sheds light on one of Borges' most complex, richly layered works. Bloch begins each chapter with a mathematical idea--combinatorics, topology, geometry, informationtheory--followed by examples and illustrations that put flesh on the theoretical bones. In this way, he provides many fascinating insights into Borges' Library. He explains, for instance, a straightforward way to calculate how many books are in the Library--an easily notated but literallyunimaginable number--and also shows that, if each book were the size of a grain of sand, the entire universe could only hold a fraction of the books in the Library. Indeed, if each book were the size of a proton, our universe would still not be big enough to hold anywhere near all the books.Given Borges' well-known affection for mathematics, this exploration of the story through the eyes of a humanistic mathematician makes a unique and important contribution to the body of Borgesian criticism. Bloch not only illuminates one of the great short stories of modern literature but alsoexposes the reader--including those more inclined to the literary world--to many intriguing and entrancing mathematical ideas.

Structure and Interpretation of Computer Programs


Harold Abelson - 1984
    This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

Surreal Numbers


Donald Ervin Knuth - 1974
    This title is intended for those who might enjoy an engaging dialogue on abstract mathematical ideas, and those who might wish to experience how new mathematics is created.

In Praise of Mathematics


Alain Badiou - 2015
    Far from the thankless, pointless exercises they are often thought to be, mathematics and logic are indispensable guides to ridding ourselves of dominant opinions and making possible an access to truths, or to a human experience of the utmost value. That is why mathematics may well be the shortest path to the true life, which, when it exists, is characterized by an incomparable happiness.

Catch Your Breath: The Secret Life of a Sleepless Anaesthetist


Ed Patrick - 2021
    “They’re just fantastic! Then I remembered, Ed you’re an anesthesiologist…f*cking hell! I can’t believe that…”.  I like to think I’m an inspiration to all budding doctors that anything is achievable.Ed is a sleepless anesthesiologist. His shifts involve snatching five-minute lunch breaks in the staff bathrooms, navigating emergencies and living with the all too terrifying sense of responsibility. And that was before Coronavirus arrived, which quickly turned his job into a nightmare queue of struggling with ill-fitting PPE, balancing staff shortages and intubating Covid-19 patients who can’t breathe on their own.Hilariously funny and moving, Catch Your Breath follows Ed’s journey from bewildered medical student in Aberdeen to unflinching anesthesiologist on the NHS frontline. It offers a unique insight into life on the hospital wards during the pandemic, while also sharing the hope that we will all get through this.

The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics


Clifford A. Pickover - 2009
    Beginning millions of years ago with ancient “ant odometers” and moving through time to our modern-day quest for new dimensions, it covers 250 milestones in mathematical history. Among the numerous delights readers will learn about as they dip into this inviting anthology: cicada-generated prime numbers, magic squares from centuries ago, the discovery of pi and calculus, and the butterfly effect. Each topic gets a lavishly illustrated spread with stunning color art, along with formulas and concepts, fascinating facts about scientists’ lives, and real-world applications of the theorems.

Introduction to Algorithms


Thomas H. Cormen - 1989
    Each chapter is relatively self-contained and can be used as a unit of study. The algorithms are described in English and in a pseudocode designed to be readable by anyone who has done a little programming. The explanations have been kept elementary without sacrificing depth of coverage or mathematical rigor.

Cryptography: A Very Short Introduction


Fred C. Piper - 2002
    It explains what algorithms do, how they are used, the risks associated with using them, and why governments should be concerned. Important areas arehighlighted, such as Stream Ciphers, block ciphers, public key algorithms, digital signatures, and applications such as e-commerce. This book highlights the explosive impact of cryptography on modern society, with, for example, the evolution of the internet and the introduction of more sophisticatedbanking methods.

Why Information Grows: The Evolution of Order, from Atoms to Economies


Cesar A. Hidalgo - 2015
    He believes that we should investigate what makes some countries more capable than others. Complex products—from films to robots, apps to automobiles—are a physical distillation of an economy’s knowledge, a measurable embodiment of its education, infrastructure, and capability. Economic wealth accrues when applications of this knowledge turn ideas into tangible products; the more complex its products, the more economic growth a country will experience.A radical new interpretation of global economics, Why Information Grows overturns traditional assumptions about the development of economies and the origins of wealth and takes a crucial step toward making economics less the dismal science and more the insightful one.

Multiple View Geometry in Computer Vision


Richard Hartley - 2000
    This book covers relevant geometric principles and how to represent objects algebraically so they can be computed and applied. Recent major developments in the theory and practice of scene reconstruction are described in detail in a unified framework. Richard Hartley and Andrew Zisserman provide comprehensive background material and explain how to apply the methods and implement the algorithms. First Edition HB (2000): 0-521-62304-9