Book picks similar to
Categorical Logic and Type Theory by Bart Jacobs
mathematics
logic
mathematic
alex-tr
The Mystery of Numbers
Annemarie Schimmel - 1984
But in this fascinating book, Annemarie Schimmel shows that numbers have been filled with mystery and meaning since the earliest times, and across every society.In The Mystery of Numbers Annemarie Schimmel conducts an illuminating tour of the mysteries attributed to numbers over the centuries. She begins with an informative and often surprising introduction to the origins of number systems: pre-Roman Europeans, for example, may have had one based on twenty, not ten (as suggested by the English word "score" and the French word for 80, quatrevingt—four times twenty), while the Mayans had a system more sophisticated than our own. Schimmel also reveals how our fascination with numbers has led to a rich cross-fertilization of mathematical knowledge: "Arabic" numerals, for instance, were picked up by Europe from the Arabs, who had earlier adopted them from Indian sources ("Algorithm" and "algebra" are corruptions of the Arabic author and title names of a mathematical text prized in medieval Europe). But the heart of the book is an engrossing guide to the symbolism of numbers. Number symbolism, she shows, has deep roots in Western culture, from the philosophy of the Pythagoreans and Platonists, to the religious mysticism of the Cabala and the Islamic Brethren of Purity, to Kepler's belief that the laws of planetary motion should be mathematically elegant, to the unlucky thirteen. After exploring the sources of number symbolism, Schimmel examines individual numbers ranging from one to ten thousand, discussing the meanings they have had for Judaic, Christian, and Islamic traditions, with examples from Indian, Chinese, and Native American cultures as well. Two, for instance, has widely been seen as a number of contradiction and polarity, a number of discord and antithesis. And six, according to ancient and neo-platonic thinking, is the most perfect number because it is both the sum and the product of its parts (1+2+3=6 and 1x2x3=6). Using examples ranging from the Bible to the Mayans to Shakespeare, she shows how numbers have been considered feminine and masculine, holy and evil, lucky and unlucky.A highly respected scholar of Islamic culture, Annemarie Schimmel draws on her vast knowledge to paint a rich, cross-cultural portrait of the many meanings of numbers. Engaging and accessible, her account uncovers the roots of a phenomenon we all feel every Friday the thirteenth.
PI in the Sky: Counting, Thinking, and Being
John D. Barrow - 1992
Barrow's Pi in the Sky is a profound -- and profoundly different -- exploration of the world of mathematics: where it comes from, what it is, and where it's going to take us if we follow it to the limit in our search for the ultimate meaning of the universe. Barrow begins by investigating whether math is a purely human invention inspired by our practical needs. Or is it something inherent in nature waiting to be discovered?In answering these questions, Barrow provides a bridge between the usually irreconcilable worlds of mathematics and theology. Along the way, he treats us to a history of counting all over the world, from Egyptian hieroglyphics to logical friction, from number mysticism to Marxist mathematics. And he introduces us to a host of peculiar individuals who have thought some of the deepest and strangest thoughts that human minds have ever thought, from Lao-Tse to Robert Pirsig, Charles Darwin, and Umberto Eco. Barrow thus provides the historical framework and the intellectual tools necessary to an understanding of some of today's weightiest mathematical concepts.
The Joy of Game Theory: An Introduction to Strategic Thinking
Presh Talwalkar - 2013
Articles from Game Theory Tuesdays have been referenced in The Freakonomics Blog, Yahoo Finance, and CNN.com. The second edition includes many streamlined explanations and incorporates suggestions from readers of the first edition. Game theory is the study of interactive decision making--that is, in situations where each person's action affects the outcome for the whole group. Game theory is a beautiful subject and this book will teach you how to understand the theory and practically implement solutions through a series of stories and the aid of over 30 illustrations. This book has two primary objectives. (1) To help you recognize strategic games, like the Prisoner's Dilemma, Bertrand Duopoly, Hotelling's Game, the Game of Chicken, and Mutually Assured Destruction. (2) To show you how to make better decisions and change the game, a powerful concept that can transform no-win situations into mutually beneficial outcomes. You'll learn how to negotiate better by making your threats credible, sometimes limiting options or burning bridges, and thinking about new ways to create better outcomes. As these goals indicate, game theory is about more than board games and gambling. It all seems so simple, and yet that definition belies the complexity of game theory. While it may only take seconds to get a sense of game theory, it takes a lifetime to appreciate and master it. This book will get you started.
The History of the Calculus and Its Conceptual Development
Carl B. Boyer - 1959
Early beginnings in antiquity, medieval contributions, and a century of anticipation lead up to a consideration of Newton and Leibniz, the period of indecison that followed them, and the final rigorous formulation that we know today.
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.
Bayesian Statistics the Fun Way: Understanding Statistics and Probability with Star Wars, Lego, and Rubber Ducks
Will Kurt - 2019
But many people use data in ways they don't even understand, meaning they aren't getting the most from it. Bayesian Statistics the Fun Way will change that.This book will give you a complete understanding of Bayesian statistics through simple explanations and un-boring examples. Find out the probability of UFOs landing in your garden, how likely Han Solo is to survive a flight through an asteroid shower, how to win an argument about conspiracy theories, and whether a burglary really was a burglary, to name a few examples.By using these off-the-beaten-track examples, the author actually makes learning statistics fun. And you'll learn real skills, like how to:- How to measure your own level of uncertainty in a conclusion or belief- Calculate Bayes theorem and understand what it's useful for- Find the posterior, likelihood, and prior to check the accuracy of your conclusions- Calculate distributions to see the range of your data- Compare hypotheses and draw reliable conclusions from themNext time you find yourself with a sheaf of survey results and no idea what to do with them, turn to Bayesian Statistics the Fun Way to get the most value from your data.
Logic Deductive and Inductive
Carveth Read - 1898
You may find it for free on the web. Purchase of the Kindle edition includes wireless delivery.
Game Theory: A Nontechnical Introduction
Morton D. Davis - 1970
. . a most valuable contribution." — Douglas R. Hofstadter, author of Gödel, Escher, BachThe foundations of game theory were laid by John von Neumann, who in 1928 proved the basic minimax theorem, and with the 1944 publication of the Theory of Games and Economic Behavior, the field was established. Since then, game theory has become an enormously important discipline because of its novel mathematical properties and its many applications to social, economic, and political problems.Game theory has been used to make investment decisions, pick jurors, commit tanks to battle, allocate business expenses equitably — even to measure a senator's power, among many other uses. In this revised edition of his highly regarded work, Morton Davis begins with an overview of game theory, then discusses the two-person zero-sum game with equilibrium points; the general, two-person zero-sum game; utility theory; the two-person, non-zero-sum game; and the n-person game.A number of problems are posed at the start of each chapter and readers are given a chance to solve them before moving on. (Unlike most mathematical problems, many problems in game theory are easily understood by the lay reader.) At the end of the chapter, where solutions are discussed, readers can compare their "common sense" solutions with those of the author. Brimming with applications to an enormous variety of everyday situations, this book offers readers a fascinating, accessible introduction to one of the most fruitful and interesting intellectual systems of our time.
The Tao of Poo: Legend of Li Chang
Dirk McFergus - 2011
This outrageous and inventive short story is not just focused solely on crap itself, but the spirituality of crap. This parody of the Tao Te Ching begs the question: Is everything crap? McFergus translates Li Chang's master work from an ancient roll of toilet paper, a minor Chinese national treasure purchased on eBay, to uncover the lost legend of Li Chang.DISCLAIMER: There is no Winnie the Pooh bear in this story. There is no piglet. The only honey pot in this story has crap in it. THIS IS NOT THE TAO OF POOH.
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.
Linear Algebra and Its Applications [with CD-ROM]
David C. Lay - 1993
Abstract Algebra
David S. Dummit - 1900
This book is designed to give the reader insight into the power and beauty that accrues from a rich interplay between different areas of mathematics. The book carefully develops the theory of different algebraic structures, beginning from basic definitions to some in-depth results, using numerous examples and exercises to aid the reader's understanding. In this way, readers gain an appreciation for how mathematical structures and their interplay lead to powerful results and insights in a number of different settings. * The emphasis throughout has been to motivate the introduction and development of important algebraic concepts using as many examples as possible.
Out of Control: The New Biology of Machines, Social Systems, and the Economic World
Kevin Kelly - 1992
Out of Control chronicles the dawn of a new era in which the machines and systems that drive our economy are so complex and autonomous as to be indistinguishable from living things.
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.