Book picks similar to
After Godel: Platonism and Rationalism in Mathematics and Logic by Richard Tieszen
mathematics
history
philosophy-of-maths
philosophy
Drowned by Corn (Kindle Single)
Erika Hayasaki - 2014
But something went terribly wrong. By day's end, some would be alive. Others would not. A close-knit community would be devastated, forced to endure. This gripping true story centers on what happened to one courageous and flawed young man who survived, and how his life quickly spiraled out of control in the next two years. It is a story about love, unbreakable friendship, and "king" corn. “There are some forty-five thousand items in the average American supermarket and more than a quarter of them now contain corn,” writes Michael Pollan in The Omnivore’s Dilemma. But as international dependence on the highly subsidized crop for cattle feed, corn syrup and ethanol has surged—so have deaths by corn. Based on three years of reporting and interviews with the people involved and thousands of pages of court documents, transcripts, police reports, journalist Erika Hayasaki brings to life (in narrative nonfiction-style) this world of people who risk and sometimes lose their lives for this powerful commodity. Hayasaki, a former national correspondent for the Los Angeles Times, is the author of The Death Class: A True Story About Life (Simon & Schuster 2014), as well as the Kindle Single, Dead or Alive (2012). She is an assistant professor in the Literary Journalism Program at the University of California, Irvine, and a regular contributor to Newsweek and The Atlantic. *Cover design by Kristen RadtkePraise for DROWNED BY CORN:THE CHICAGO TRIBUNE: "The descriptions of the accident are chilling: a blow-by-blow account of the grain pulling the young men under and the dramatic rescue of Will, who survived after being buried past his chest. The piece follows Will as his grief sends him into a downward spiral. "Drowned by Corn" is a gripping narrative of tenderness and horror, friendship and loss." — Megan KirbySAN FRANCISCO CHRONICLE: "Erika Hayasaki’s suspenseful account of the deaths of Paco and Wyatt and the harrowing rescue of Will is the stuff of nightmares. But what elevates this fine work of investigative journalism is her portrayal of Will in the aftermath: his survival guilt, his struggle with alcohol and drugs, his strained relationships and his eventual discovery of a way to endure his and his town’s unspeakable losses." — Porter Shreve
Automate This: How Algorithms Came to Rule Our World
Christopher Steiner - 2012
It used to be that to diagnose an illness, interpret legal documents, analyze foreign policy, or write a newspaper article you needed a human being with specific skills—and maybe an advanced degree or two. These days, high-level tasks are increasingly being handled by algorithms that can do precise work not only with speed but also with nuance. These “bots” started with human programming and logic, but now their reach extends beyond what their creators ever expected. In this fascinating, frightening book, Christopher Steiner tells the story of how algorithms took over—and shows why the “bot revolution” is about to spill into every aspect of our lives, often silently, without our knowledge. The May 2010 “Flash Crash” exposed Wall Street’s reliance on trading bots to the tune of a 998-point market drop and $1 trillion in vanished market value. But that was just the beginning. In Automate This, we meet bots that are driving cars, penning haiku, and writing music mistaken for Bach’s. They listen in on our customer service calls and figure out what Iran would do in the event of a nuclear standoff. There are algorithms that can pick out the most cohesive crew of astronauts for a space mission or identify the next Jeremy Lin. Some can even ingest statistics from baseball games and spit out pitch-perfect sports journalism indistinguishable from that produced by humans. The interaction of man and machine can make our lives easier. But what will the world look like when algorithms control our hospitals, our roads, our culture, and our national security? What happens to businesses when we automate judgment and eliminate human instinct? And what role will be left for doctors, lawyers, writers, truck drivers, and many others? Who knows—maybe there’s a bot learning to do your job this minute.
A Most Elegant Equation: Euler's Formula and the Beauty of Mathematics
David Stipp - 2017
More than two centuries after Euler's death, it is still regarded as a conceptual diamond of unsurpassed beauty. Called Euler's identity or God's equation, it includes just five numbers but represents an astonishing revelation of hidden connections. It ties together everything from basic arithmetic to compound interest, the circumference of a circle, trigonometry, calculus, and even infinity. In David Stipp's hands, Euler's identity formula becomes a contemplative stroll through the glories of mathematics. The result is an ode to this magical field.
Euclid's Elements
Euclid
Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.
The Creativity Code: How AI Is Learning to Write, Paint and Think
Marcus du Sautoy - 2019
They can navigate more data than a doctor or lawyer and act with greater precision. For many years we’ve taken solace in the notion that they can’t create. But now that algorithms can learn and adapt, does the future of creativity belong to machines, too?It is hard to imagine a better guide to the bewildering world of artificial intelligence than Marcus du Sautoy, a celebrated Oxford mathematician whose work on symmetry in the ninth dimension has taken him to the vertiginous edge of mathematical understanding. In The Creativity Code he considers what machine learning means for the future of creativity. The Pollockizer can produce drip paintings in the style of Jackson Pollock, Botnik spins off fanciful (if improbable) scenes inspired by J. K. Rowling, and the music-composing algorithm Emmy managed to fool a panel of Bach experts. But do these programs just mimic, or do they have what it takes to create? Du Sautoy argues that to answer this question, we need to understand how the algorithms that drive them work―and this brings him back to his own subject of mathematics, with its puzzles, constraints, and enticing possibilities.While most recent books on AI focus on the future of work, The Creativity Code moves us to the forefront of creative new technologies and offers a more positive and unexpected vision of our future cohabitation with machines. It challenges us to reconsider what it means to be human―and to crack the creativity code.
Book of Proof
Richard Hammack - 2009
It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.
Calling Bullshit: The Art of Skepticism in a Data-Driven World
Carl T. Bergstrom - 2020
Now, two science professors give us the tools to dismantle misinformation and think clearly in a world of fake news and bad data.It's increasingly difficult to know what's true. Misinformation, disinformation, and fake news abound. Our media environment has become hyperpartisan. Science is conducted by press release. Startup culture elevates bullshit to high art. We are fairly well equipped to spot the sort of old-school bullshit that is based in fancy rhetoric and weasel words, but most of us don't feel qualified to challenge the avalanche of new-school bullshit presented in the language of math, science, or statistics. In Calling Bullshit, Professors Carl Bergstrom and Jevin West give us a set of powerful tools to cut through the most intimidating data.You don't need a lot of technical expertise to call out problems with data. Are the numbers or results too good or too dramatic to be true? Is the claim comparing like with like? Is it confirming your personal bias? Drawing on a deep well of expertise in statistics and computational biology, Bergstrom and West exuberantly unpack examples of selection bias and muddled data visualization, distinguish between correlation and causation, and examine the susceptibility of science to modern bullshit.We have always needed people who call bullshit when necessary, whether within a circle of friends, a community of scholars, or the citizenry of a nation. Now that bullshit has evolved, we need to relearn the art of skepticism.
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.
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.
How to Prove It: A Structured Approach
Daniel J. Velleman - 1994
The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5
The Origin of the Name of God and his True Identity - Synopsis and Translation of the Phoenician, Ugaritic, Canaanite, Sumerian, Akkadian, and Assyrian Tablets
Jean-Maximillien De La Croix de Lafayette - 2014
Fuzzy Thinking: The New Science of Fuzzy Logic
Bart Kosko - 1993
An authoritative introduction to "fuzzy logic" brings readers up to speed on the "smart" products and computers that will change all of our lives in the future.
Everything and More: A Compact History of Infinity
David Foster Wallace - 2003
Now he brings his considerable talents to the history of one of math's most enduring puzzles: the seemingly paradoxical nature of infinity.Is infinity a valid mathematical property or a meaningless abstraction? The nineteenth-century mathematical genius Georg Cantor's answer to this question not only surprised him but also shook the very foundations upon which math had been built. Cantor's counterintuitive discovery of a progression of larger and larger infinities created controversy in his time and may have hastened his mental breakdown, but it also helped lead to the development of set theory, analytic philosophy, and even computer technology.Smart, challenging, and thoroughly rewarding, Wallace's tour de force brings immediate and high-profile recognition to the bizarre and fascinating world of higher mathematics.
The Courtier and the Heretic: Leibniz, Spinoza & the Fate of God in the Modern World
Matthew Stewart - 2005
a personal confession of its creator and a kind of involuntary and unperceived memoir.". Stewart affirms this maxim in his colorful reinterpretation of the lives and works of 17th-century philosophers Spinoza and Leibniz. In November 1676, the foppish courtier Leibniz, "the ultimate insider... an orthodox Lutheran from conservative Germany," journeyed to The Hague to visit the self-sufficient, freethinking Spinoza, "a double exile... an apostate Jew from licentious Holland." A prodigious polymath, Leibniz understood Spinoza's insight that "science was in the process of rendering the God of revelation obsolete; that it had already undermined the special place of the human individual in nature." Spinoza embraced this new world. Seeing the orthodox God as a "prop for theocratic tyranny," he articulated the basic theory for the modern secular state. Leibniz, on the other hand, spent the rest of his life championing God and theocracy like a defense lawyer defending a client he knows is guilty. He elaborated a metaphysics that was, at bottom, a reaction to Spinoza and collapses into Spinozism, as Stewart deftly shows. For Stewart, Leibniz's reaction to Spinoza and modernity set the tone for "the dominant form of modern philosophy"—a category that includes Kant, Hegel, Bergson, Heidegger and "the whole 'postmodern' project of deconstructing the phallogocentric tradition of western thought." Readers of philosophy may find much to disagree with in these arguments, but Stewart's wit and profluent prose make this book a fascinating read.
How to Solve It: A New Aspect of Mathematical Method
George Pólya - 1944
Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.