Book picks similar to
Categorical Logic and Type Theory by Bart Jacobs
mathematics
logic
mathematic
s-m
The Art of Mathematics
Jerry P. King - 1992
Jerry King is no exception. His informal, nontechnical book, as its title implies, is organized around what Bertrand Russell called the 'supreme beauty' of mathematics--a beauty 'capable of a stern perfection such as only the greatest art can show.'NATUREIn this clear, concise, and superbly written volume, mathematics professor and poet Jerry P. King reveals the beauty that is at the heart of mathematics--and he makes that beauty accessible to all readers. Darting wittily from Euclid to Yeats, from Poincare to Rembrandt, from axioms to symphonies, THE ART OF MATHEMATICS explores the difference between real, rational, and complex numbers; analyzes the intellectual underpinnings of pure and applied mathematics; and reveals the fundamental connection between aesthetics and mathematics. King also sheds light on how mathematicians pursue their research and how our educational system perpetuates the damaging divisions between the two cultures.
The Universe and the Teacup: The Mathematics of Truth and Beauty
K.C. Cole - 1998
In The Universe and the Teacup, K. C. Cole demystifies mathematics and shows us-with humor and wonderfully accessible stories-why math need not be frightening. Using the O. J. Simpson trial, the bell curve, and Emmy Noether, the nineteenth-century woman scientist whose work was essential for Einstein's theory of relativity, Cole helps us see that more than just being a tool, math is a key to understanding the beauty of everything from rainbows to relativity.
Hello World: Being Human in the Age of Algorithms
Hannah Fry - 2018
It’s time we stand face-to-digital-face with the true powers and limitations of the algorithms that already automate important decisions in healthcare, transportation, crime, and commerce. Hello World is indispensable preparation for the moral quandaries of a world run by code, and with the unfailingly entertaining Hannah Fry as our guide, we’ll be discussing these issues long after the last page is turned.
The Lifebox, the Seashell, and the Soul: What Gnarly Computation Taught Me About Ultimate Reality, the Meaning of Life, and How to Be Happy
Rudy Rucker - 2005
This concept is at the root of the computational worldview, which basically says that very complex systems — the world we live in — have their beginnings in simple mathematical equations. We've lately come to understand that such an algorithm is only the start of a never-ending story — the real action occurs in the unfolding consequences of the rules. The chip-in-a-box computers so popular in our time have acted as a kind of microscope, letting us see into the secret machinery of the world. In Lifebox, Rucker uses whimsical drawings, fables, and humor to demonstrate that everything is a computation — that thoughts, computations, and physical processes are all the same. Rucker discusses the linguistic and computational advances that make this kind of "digital philosophy" possible, and explains how, like every great new principle, the computational world view contains the seeds of a next step.
Proofiness: The Dark Arts of Mathematical Deception
Charles Seife - 2010
According to MSNBC, having a child makes you stupid. You actually lose IQ points. Good Morning America has announced that natural blondes will be extinct within two hundred years. Pundits estimated that there were more than a million demonstrators at a tea party rally in Washington, D.C., even though roughly sixty thousand were there. Numbers have peculiar powers-they can disarm skeptics, befuddle journalists, and hoodwink the public into believing almost anything. "Proofiness," as Charles Seife explains in this eye-opening book, is the art of using pure mathematics for impure ends, and he reminds readers that bad mathematics has a dark side. It is used to bring down beloved government officials and to appoint undeserving ones (both Democratic and Republican), to convict the innocent and acquit the guilty, to ruin our economy, and to fix the outcomes of future elections. This penetrating look at the intersection of math and society will appeal to readers of Freakonomics and the books of Malcolm Gladwell.
Math Without Numbers
Milo Beckman - 2021
This book upends the conventional approach to math, inviting you to think creatively about shape and dimension, the infinite and infinitesimal, symmetries, proofs, and how these concepts all fit together. What awaits readers is a freewheeling tour of the inimitable joys and unsolved mysteries of this curiously powerful subject.Like the classic math allegory Flatland, first published over a century ago, or Douglas Hofstadter's Godel, Escher, Bach forty years ago, there has never been a math book quite like Math Without Numbers. So many popularizations of math have dwelt on numbers like pi or zero or infinity. This book goes well beyond to questions such as: How many shapes are there? Is anything bigger than infinity? And is math even true? Milo Beckman shows why math is mostly just pattern recognition and how it keeps on surprising us with unexpected, useful connections to the real world.The ambitions of this book take a special kind of author. An inventive, original thinker pursuing his calling with jubilant passion. A prodigy. Milo Beckman completed the graduate-level course sequence in mathematics at age sixteen, when he was a sophomore at Harvard; while writing this book, he was studying the philosophical foundations of physics at Columbia under Brian Greene, among others.
AI Superpowers: China, Silicon Valley, and the New World Order
Kai-Fu Lee - 2018
Kai-Fu Lee—one of the world’s most respected experts on AI and China—reveals that China has suddenly caught up to the US at an astonishingly rapid and unexpected pace.In AI Superpowers, Kai-Fu Lee argues powerfully that because of these unprecedented developments in AI, dramatic changes will be happening much sooner than many of us expected. Indeed, as the US-Sino AI competition begins to heat up, Lee urges the US and China to both accept and to embrace the great responsibilities that come with significant technological power.Most experts already say that AI will have a devastating impact on blue-collar jobs. But Lee predicts that Chinese and American AI will have a strong impact on white-collar jobs as well. Is universal basic income the solution? In Lee’s opinion, probably not. But he provides a clear description of which jobs will be affected and how soon, which jobs can be enhanced with AI, and most importantly, how we can provide solutions to some of the most profound changes in human history that are coming soon.
Number: The Language of Science
Tobias Dantzig - 1930
Tobias Dantzig shows that the development of math—from the invention of counting to the discovery of infinity—is a profoundly human story that progressed by “trying and erring, by groping and stumbling.” He shows how commerce, war, and religion led to advances in math, and he recounts the stories of individuals whose breakthroughs expanded the concept of number and created the mathematics that we know today.
When Einstein Walked with Gödel: Excursions to the Edge of Thought
Jim Holt - 2018
With his trademark clarity and humor, Holt probes the mysteries of quantum mechanics, the quest for the foundations of mathematics, and the nature of logic and truth. Along the way, he offers intimate biographical sketches of celebrated and neglected thinkers, from the physicist Emmy Noether to the computing pioneer Alan Turing and the discoverer of fractals, Benoit Mandelbrot. Holt offers a painless and playful introduction to many of our most beautiful but least understood ideas, from Einsteinian relativity to string theory, and also invites us to consider why the greatest logician of the twentieth century believed the U.S. Constitution contained a terrible contradiction--and whether the universe truly has a future.
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.
The Golden Ratio: The Divine Beauty of Mathematics
Gary B. Meisner - 2018
This gorgeous book features clear, entertaining, and enlightening commentary alongside stunning full-color illustrations by Venezuelan artist and architect Rafael Araujo. From the pyramids of Giza, to quasicrystals, to the proportions of the human face, the golden ratio has an infinite capacity to generate shapes with exquisite properties. With its lush format and layflat dimensions that closely approximate the golden ratio, this is the ultimate coffee table book for math enthusiasts, architects, designers, and fans of sacred geometry.
Weapons of Math Destruction: How Big Data Increases Inequality and Threatens Democracy
Cathy O'Neil - 2016
Increasingly, the decisions that affect our lives--where we go to school, whether we can get a job or a loan, how much we pay for health insurance--are being made not by humans, but by machines. In theory, this should lead to greater fairness: Everyone is judged according to the same rules.But as mathematician and data scientist Cathy O'Neil reveals, the mathematical models being used today are unregulated and uncontestable, even when they're wrong. Most troubling, they reinforce discrimination--propping up the lucky, punishing the downtrodden, and undermining our democracy in the process.
My Brain is Open: The Mathematical Journeys of Paul Erdős
Bruce Schechter - 1998
Hungarian-born Erdős believed that the meaning of life was to prove and conjecture. His work in the United States and all over the world has earned him the titles of the century's leading number theorist and the most prolific mathematician who ever lived. Erdős's important work has proved pivotal to the development of computer science, and his unique personality makes him an unforgettable character in the world of mathematics. Incapable of the smallest of household tasks and having no permanent home or job, he was sustained by the generosity of colleagues and by his own belief in the beauty of numbers. Witty and filled with the sort of mathematical puzzles that intrigued Erdős and continue to fascinate mathematicians today, My Brain Is Open is the story of this strange genius and a journey in his footsteps through the world of mathematics, where universal truths await discovery like hidden treasures and where brilliant proofs are poetry.
The Information: A History, a Theory, a Flood
James Gleick - 2011
The story of information begins in a time profoundly unlike our own, when every thought and utterance vanishes as soon as it is born. From the invention of scripts and alphabets to the long-misunderstood talking drums of Africa, Gleick tells the story of information technologies that changed the very nature of human consciousness. He provides portraits of the key figures contributing to the inexorable development of our modern understanding of information: Charles Babbage, the idiosyncratic inventor of the first great mechanical computer; Ada Byron, the brilliant and doomed daughter of the poet, who became the first true programmer; pivotal figures like Samuel Morse and Alan Turing; and Claude Shannon, the creator of information theory itself. And then the information age arrives. Citizens of this world become experts willy-nilly: aficionados of bits and bytes. And we sometimes feel we are drowning, swept by a deluge of signs and signals, news and images, blogs and tweets. The Information is the story of how we got here and where we are heading.
The Data Detective: Ten Easy Rules to Make Sense of Statistics
Tim Harford - 2020
That’s a mistake, Tim Harford says in The Data Detective. We shouldn’t be suspicious of statistics—we need to understand what they mean and how they can improve our lives: they are, at heart, human behavior seen through the prism of numbers and are often “the only way of grasping much of what is going on around us.” If we can toss aside our fears and learn to approach them clearly—understanding how our own preconceptions lead us astray—statistics can point to ways we can live better and work smarter.As “perhaps the best popular economics writer in the world” (New Statesman), Tim Harford is an expert at taking complicated ideas and untangling them for millions of readers. In The Data Detective, he uses new research in science and psychology to set out ten strategies for using statistics to erase our biases and replace them with new ideas that use virtues like patience, curiosity, and good sense to better understand ourselves and the world. As a result, The Data Detective is a big-idea book about statistics and human behavior that is fresh, unexpected, and insightful.