Book picks similar to
Categorical Logic and Type Theory by Bart Jacobs
mathematics
logic
mmath-best
math-backlog
Statistical Consequences of Fat Tails: Real World Preasymptotics, Epistemology, and Applications
Nassim Nicholas Taleb - 2020
Switching from thin tailed to fat tailed distributions requires more than "changing the color of the dress." Traditional asymptotics deal mainly with either n=1 or n=∞, and the real world is in between, under the "laws of the medium numbers"-which vary widely across specific distributions. Both the law of large numbers and the generalized central limit mechanisms operate in highly idiosyncratic ways outside the standard Gaussian or Levy-Stable basins of convergence. A few examples: - The sample mean is rarely in line with the population mean, with effect on "na�ve empiricism," but can be sometimes be estimated via parametric methods. - The "empirical distribution" is rarely empirical. - Parameter uncertainty has compounding effects on statistical metrics. - Dimension reduction (principal components) fails. - Inequality estimators (Gini or quantile contributions) are not additive and produce wrong results. - Many "biases" found in psychology become entirely rational under more sophisticated probability distributions. - Most of the failures of financial economics, econometrics, and behavioral economics can be attributed to using the wrong distributions. This book, the first volume of the Technical Incerto, weaves a narrative around published journal articles.
Proving History: Bayes's Theorem and the Quest for the Historical Jesus
Richard C. Carrier - 2012
The author demonstrates that valid historical methods—not only in the study of Christian origins but in any historical study—can be described by, and reduced to, the logic of Bayes’s Theorem. Conversely, he argues that any method that cannot be reduced to this theorem is invalid and should be abandoned. Writing with thoroughness and clarity, the author explains Bayes’s Theorem in terms that are easily understandable to professional historians and laypeople alike, employing nothing more than well-known primary school math. He then explores precisely how the theorem can be applied to history and addresses numerous challenges to and criticisms of its use in testing or justifying the conclusions that historians make about the important persons and events of the past. The traditional and established methods of historians are analyzed using the theorem, as well as all the major "historicity criteria" employed in the latest quest to establish the historicity of Jesus. The author demonstrates not only the deficiencies of these approaches but also ways to rehabilitate them using Bayes’s Theorem. Anyone with an interest in historical methods, how historical knowledge can be justified, new applications of Bayes’s Theorem, or the study of the historical Jesus will find this book to be essential reading.
Algorithmic Puzzles
Anany V. Levitin - 2011
This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic brainteasers as well as newer examples from job interviews with major corporations to show readers how to apply analytical thinking to solve puzzles requiring well-defined procedures.The book's unique collection of puzzles is supplemented with carefully developed tutorials on algorithm design strategies and analysis techniques intended to walk the reader step-by-step through the various approaches to algorithmic problem solving. Mastery of these strategies--exhaustive search, backtracking, and divide-and-conquer, among others--will aid the reader in solving not only the puzzles contained in this book, but also others encountered in interviews, puzzle collections, and throughout everyday life. Each of the 150 puzzles contains hints and solutions, along with commentary onthe puzzle's origins and solution methods. The only book of its kind, Algorithmic Puzzles houses puzzles for all skill levels. Readers with only middle school mathematics will develop their algorithmic problem-solving skills through puzzles at the elementary level, while seasoned puzzle solvers will enjoy the challenge of thinking throughmore difficult puzzles.
Games and Decisions: Introduction and Critical Survey
R. Duncan Luce - 1957
Clear, comprehensive coverage of utility theory, 2-person zero-sum games, 2-person non-zero-sum games, n-person games, individual and group decision-making, more. Bibliography.
Conceptual Blockbusting: A Guide to Better Ideas
James L. Adams - 1969
Now, twenty-five years after its original publication, Conceptual Blockbusting has never been more relevant, powerful, or fresh. Integrating insights from the worlds of psychology, engineering, management, art, and philosophy, Adams identifies the key blocks (perceptual, emotional, cultural, environmental, intellectual, and expressive) that prevent us from realizing the full potential of our fertile minds. Employing unconventional exercises and other interactive elements, Adams shows individuals, teams, and organizations how to overcome these blocks, embrace alternative ways of thinking about complex problems, and celebrate the joy of creativity. With new examples and contemporary references, Conceptual Blockbusting is guaranteed to introduce a new generation of readers to a world of new possibilities.
Why Do Buses Come in Threes: The Hidden Mathematics of Everyday Life
Rob Eastaway - 1999
Why is it better to buy a lottery ticket on a Friday? Why are showers always too hot or too cold? And what's the connection between a rugby player taking a conversion and a tourist trying to get the best photograph of Nelson's Column?These and many other fascinating questions are answered in this entertaining and highly informative book, which is ideal for anyone wanting to remind themselves – or discover for the first time – that maths is relevant to almost everything we do.Dating, cooking, travelling by car, gambling and even life-saving techniques have links with intriguing mathematical problems, as you will find explained here. Whether you have a PhD in astrophysics or haven't touched a maths problem since your school days, this book will give you a fresh understanding of the world around you.
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.
The Möbius Strip: Dr. August Möbius's Marvelous Band in Mathematics, Games, Literature, Art, Technology, and Cosmology
Clifford A. Pickover - 2007
Escher -- goes to some of the strangest spots imaginable. It takes us to a place where the purely intellectual enters our daily world: where our outraged senses, overloaded with grocery bills, the price of gas, and what to eat for lunch, are expected to absorb really bizarre ideas. And no better guide to this weird universe exists than the brilliant thinker Clifford A. Pickover, the 21st century's answer to Buckminster Fuller. Come along as Pickover traces the origins of the Mobius strip from the mid-1800s, when the visionary scientist Dr. August Mobius became the first to describe the properties of one-sided surfaces, to the present, where it is an integral part of mathematics, magic, science, art, engineering, literature, and music. It has become a metaphor for change, strangeness, looping, and rejuvenation. Touching on everything from molecules and metal sculptures to postage stamps, architectural structures, and models of our entire universe, The Mobius Strip is lavishly illustrated and gives readers a glimpse into other worlds and new ways of thinking as Pickover reaches across cultures and dimensions.
Introduction to Graph Theory
Richard J. Trudeau - 1994
This book leads the reader from simple graphs through planar graphs, Euler's formula, Platonic graphs, coloring, the genus of a graph, Euler walks, Hamilton walks, more. Includes exercises. 1976 edition.
The Power of Vedic Maths
Atul Gupta - 2013
The absence of a book, explaining the techniques in a simple language, has been felt acutely for a long time. This book has been written using a step-by-step approach, and attempts to fill the existing void. It includes several solved problems in addition to 1000 practice problems with answers. It also includes a special chapter which shows the application of the techniques to problems set in competitive exams like CAT, CET etc.People from all walks of life including school and college students, teachers, parents and also those from non-mathematical areas of study will discover the joys of solving mathematical problems using the wonderful set of techniques called Vedic Maths.
Why Greatness Cannot Be Planned: The Myth of the Objective
Kenneth O. Stanley - 2015
In Why Greatness Cannot Be Planned, Stanley and Lehman begin with a surprising scientific discovery in artificial intelligence that leads ultimately to the conclusion that the objective obsession has gone too far. They make the case that great achievement can't be bottled up into mechanical metrics; that innovation is not driven by narrowly focused heroic effort; and that we would be wiser (and the outcomes better) if instead we whole-heartedly embraced serendipitous discovery and playful creativity.Controversial at its heart, yet refreshingly provocative, this book challenges readers to consider life without a destination and discovery without a compass.
Concrete Mathematics: A Foundation for Computer Science
Ronald L. Graham - 1988
"More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems."
Rationality: From AI to Zombies
Eliezer Yudkowsky - 2015
Real rationality, of the sort studied by psychologists, social scientists, and mathematicians. The kind of rationality where you make good decisions, even when it's hard; where you reason well, even in the face of massive uncertainty; where you recognize and make full use of your fuzzy intuitions and emotions, rather than trying to discard them. In "Rationality: From AI to Zombies," Eliezer Yudkowsky explains the science underlying human irrationality with a mix of fables, argumentative essays, and personal vignettes. These eye-opening accounts of how the mind works (and how, all too often, it doesn't!) are then put to the test through some genuinely difficult puzzles: computer scientists' debates about the future of artificial intelligence (AI), physicists' debates about the relationship between the quantum and classical worlds, philosophers' debates about the metaphysics of zombies and the nature of morality, and many more. In the process, "Rationality: From AI to Zombies" delves into the human significance of correct reasoning more deeply than you'll find in any conventional textbook on cognitive science or philosophy of mind. A decision theorist and researcher at the Machine Intelligence Research Institute, Yudkowsky published earlier drafts of his writings to the websites Overcoming Bias and Less Wrong. "Rationality: From AI to Zombies" compiles six volumes of Yudkowsky's essays into a single electronic tome. Collectively, these sequences of linked essays serve as a rich and lively introduction to the science—and the art—of human rationality.
Topology
James R. Munkres - 1975
Includes many examples and figures. GENERAL TOPOLOGY. Set Theory and Logic. Topological Spaces and Continuous Functions. Connectedness and Compactness. Countability and Separation Axioms. The Tychonoff Theorem. Metrization Theorems and paracompactness. Complete Metric Spaces and Function Spaces. Baire Spaces and Dimension Theory. ALGEBRAIC TOPOLOGY. The Fundamental Group. Separation Theorems. The Seifert-van Kampen Theorem. Classification of Surfaces. Classification of Covering Spaces. Applications to Group Theory. For anyone needing a basic, thorough, introduction to general and algebraic topology and its applications.