The tradition of honoring Martin Gardner continues with this edited collection of articles by those who have been inspired by Gardner to enter mathematics, to enter magic, to bring magic into their mathematics, or to bring mathematics into their magic. Contributing authors include world-leading puzzle designers, puzzle collectors, mathematicians, and magicians. The variety of articles includes card or magic tricks (with a mathematical trick behind them), the history behind given puzzles, mathematically interesting objects involving the number seven, and puzzles for the reader to solve. Specific puzzles discussed include tangram, 14-15 Puzzle, seven-coloring of the torus, packing circles, Crazy Elephant Dance, and more!

For disciplines concerned with human well-being, such as medicine, psychology, and law, statistics must be used in accordance with standards for ethical practice. A Statistical Guide for the Ethically Perplexed illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical sciences. Designed to be consulted when learning formal statistical techniques, the text describes common instances of both correct and false statistical and probabilistic reasoning. Lauded for their contributions to statistics, psychology, and psychometrics, the authors make statistical methods relevant to readers day-to-day lives by including real historical situations that demonstrate the role of statistics in reasoning and decision making. The historical vignettes encompass the English case of Sally Clark, breast cancer screening, risk and gambling, the Federal Rules of Evidence, "high-stakes" testing, regulatory issues in medicine, difficulties with observational studies, ethics in human experiments, health statistics, and much more. In addition to these topics, seven U.S. Supreme Court decisions reflect the influence of statistical and psychometric reasoning and interpretation/misinterpretation. Exploring the intersection of ethics and statistics, this comprehensive guide assists readers in becoming critical and ethical consumers and producers of statistical reasoning and analyses. It will help them reason correctly and use statistics in an ethical manner.

Computational Thinking (CT) involves fundamental concepts and reasoning, distilled from computer science and other computational sciences, which become powerful general mental tools for solving problems, increasing efficiency, reducing complexity, designing procedures, or interacting with humans and machines. An easy-to-understand guidebook, From Computing to Computational Thinking gives you the tools for understanding and using CT. It does not assume experience or knowledge of programming or of a programming language, but explains concepts and methods for CT with clarity and depth. Successful applications in diverse disciplines have shown the power of CT in problem solving. The book uses puzzles, games, and everyday examples as starting points for discussion and for connecting abstract thinking patterns to real-life situations. It provides an interesting and thought-provoking way to gain general knowledge about modern computing and the concepts and thinking processes underlying modern digital technologies.

The subject of mathematics is not something distant, strange, and abstract that you can only learn about and often dislike in school. It is in everyday situations, such as housekeeping, communications, traffic, and weather reports. Taking you on a trip into the world of mathematics, Do I Count? Stories from Mathematics describes in a clear and captivating way the people behind the numbers and the places where mathematics is made. Written by top scientist and engaging storyteller G nter M. Ziegler and translated by Thomas von Foerster, the book presents mathematics and mathematicians in a manner that you have not previously encountered. It guides you on a scenic tour through the field, pointing out which beds were useful in constructing which theorems and which notebooks list the prizes for solving particular problems. Forgoing esoteric areas, the text relates mathematics to celebrities, history, travel, politics, science and technology, weather, clever puzzles, and the future. Can bees count? Is 13 bad luck? Are there equations for everything? What's the real practical value of the Pythagorean Theorem? Are there Sudoku puzzles with fewer than 17 entries and just one solution? Where and how do mathematicians work? Who invented proofs and why do we need them? Why is there no Nobel Prize for mathematics? What kind of life did Paul Erdos lead? Find out the answers to these and other questions in this entertaining book of stories. You'll see that everyone counts, but no computation is needed.

The connections between origami, mathematics, science, technology, and education have been a topic of considerable interest now for several decades. While many individuals have happened upon discrete connections among these fields during the twentieth century, the field really took off when previously isolated individuals began to make stronger connections with each other through a series of conferences exploring the links between origami and "the outside world." The Fourth International Meeting on Origami in Science, Mathematics, and Education (4OSME), held in September, 2006, at the California Institute of Technology in Pasadena, California, brought together an unprecedented number of researchers presenting on topics ranging from mathematics, to technology, to educational uses of origami, to fine art, and to computer programs for the design of origami. Selected papers based on talks presented at that conference make up the book you hold in your hands.

A day does not go by without a news article reporting some amazing breakthrough in artificial intelligence (AI). Many philosophers, futurists, and AI researchers have conjectured that human-level AI will be developed in the next 20 to 200 years. If these predictions are correct, it raises new and sinister issues related to our future in the age of intelligent machines. Artificial Superintelligence: A Futuristic Approach directly addresses these issues and consolidates research aimed at making sure that emerging superintelligence is beneficial to humanity. While specific predictions regarding the consequences of superintelligent AI vary from potential economic hardship to the complete extinction of humankind, many researchers agree that the issue is of utmost importance and needs to be seriously addressed. Artificial Superintelligence: A Futuristic Approach discusses key topics such as: AI-Completeness theory and how it can be used to see if an artificial intelligent agent has attained human level intelligence Methods for safeguarding the invention of a superintelligent system that could theoretically be worth trillions of dollars Self-improving AI systems: definition, types, and limits The science of AI safety engineering, including machine ethics and robot rights Solutions for ensuring safe and secure confinement of superintelligent systems The future of superintelligence and why long-term prospects for humanity to remain as the dominant species on Earth are not great Artificial Superintelligence: A Futuristic Approach is designed to become a foundational text for the new science of AI safety engineering. AI researchers and students, computer security researchers, futurists, and philosophers should find this an invaluable resource.

Mathematics in Games, Sports, and Gambling: The Games People Play, Second Edition demonstrates how discrete probability, statistics, and elementary discrete mathematics are used in games, sports, and gambling situations. With emphasis on mathematical thinking and problem solving, the text draws on numerous examples, questions, and problems to explain the application of mathematical theory to various real-life games.This updated edition of a widely adopted textbook considers a number of popular games and diversions that are mathematically based or can be studied from a mathematical perspective. Requiring only high school algebra, the book is suitable for use as a textbook in seminars, general education courses, or as a supplement in introductory probability courses.New in this Edition: Many new exercises, including basic skills exercises More answers in the back of the book Expanded summary exercises, including writing exercises More detailed examples, especially in the early chapters An expansion of the discrete adjustment technique for binomial approximation problems New sections on chessboard puzzles that encourage students to develop graph theory ideas New review material on relations and functions Exercises are included in each section to help students understand the various concepts. The text covers permutations in the two-deck matching game so derangements can be counted. It introduces graphs to find matches when looking at extensions of the five-card trick and studies lexicographic orderings and ideas of encoding for card tricks.The text also explores linear and weighted equations in the section on the NFL passer rating formula and presents graphing to show how data can be compared or displayed. For each topic, the author includes exercises based on real games and actual sports data.

The Star and the Whole: Gian-Carlo Rota on Mathematics and Phenomenology, authored by Fabrizio Palombi, is the first book to study Rota's philosophical reflection. Rota (1932 1999) was a leading figure in contemporary mathematics and an outstanding philosopher, inspired by phenomenology, who made fundamental contributions to combinatorial analysis, and trained several generations of mathematicians in his long career at the Massachusetts Institute of Technology (MIT) and the Los Alamos National Laboratory. The first chapter of the book reconstructs Rota's cultural biography and examines his philosophical style, his criticisms of analytical philosophy, and his reflection on Heidegger's thought. The second chapter presents a general picture of Rota's re-elaboration of phenomenology examined in the light of the Husserlian notion of Fundierung. This chapter also illustrates how the star-shape becomes a powerful instrument for understanding the properties of Husserl's mereology and the critique of objectivism. The third chapter is a theoretical reflection on the nature of mathematical entities, and the fourth examines the complex relation of mathematical research with technological applicability and scientific progress. The foreword of the text is written by Robert Sokolowski.

This book discusses how to design "good" geometric puzzles: two-dimensional dissection puzzles, polyhedral dissections, and burrs. It outlines major categories of geometric puzzles and provides examples, sometimes going into the history and philosophy of those examples. The author presents challenges and thoughtful questions, as well as practical design and woodworking tips to encourage the reader to build his own puzzles and experiment with his own designs. Aesthetics, phychology, and mathematical considerations all factor into the definition of the quality of a puzzle.

Paradoxes are poems of science and philosophy that collectively allow us to address broad multidisciplinary issues within a microcosm. A true paradox is a source of creativity and a concise expression that delivers a profound idea and provokes a wild and endless imagination. The study of paradoxes leads to ultimate clarity and, at the same time, indisputably challenges your mind. Paradoxes in Scientific Inference analyzes paradoxes from many different perspectives: statistics, mathematics, philosophy, science, artificial intelligence, and more. The book elaborates on findings and reaches new and exciting conclusions. It challenges your knowledge, intuition, and conventional wisdom, compelling you to adjust your way of thinking. Ultimately, you will learn effective scientific inference through studying the paradoxes.

Exploring a vast array of topics related to computation, Computing: A Historical and Technical Perspective covers the historical and technical foundation of ancient and modern-day computing. The book starts with the earliest references to counting by humans, introduces various number systems, and discusses mathematics in early civilizations. It guides readers all the way through the latest advances in computer science, such as the design and analysis of computer algorithms. Through historical accounts, brief technical explanations, and examples, the book answers a host of questions, including: Why do humans count differently from the way current electronic computers do? Why are there 24 hours in a day, 60 minutes in an hour, etc.? Who invented numbers, when were they invented, and why are there different kinds? How do secret writings and cryptography date back to ancient civilizations? Innumerable individuals from many cultures have contributed their talents and creativity to formulate what has become our mathematical and computing heritage. By bringing together the historical and technical aspects of computing, this book enables readers to gain a deep appreciation of the long evolutionary processes of the field developed over thousands of years. Suitable as a supplement in undergraduate courses, it provides a self-contained historical reference source for anyone interested in this important and evolving field.

The magnum opus of one of the worlds leading origami artists, the second edition of Origami Design Secrets reveals the underlying concepts of origami and how to create original origami designs. Containing step-by-step instructions for 26 models, this book is not just an origami cookbook or list of instructions it introduces the fundamental building blocks of origami, building up to advanced methods such as the combination of uniaxial bases, the circle/river method, and tree theory. With corrections and improved illustrations, this new expanded edition also covers uniaxial box pleating, introduces the new design technique of hex pleating, and describes methods of generalizing polygon packing to arbitrary angles. With coverage spanning the foundations of origami construction and advanced methods using both paper and pencil and custom-built free software, Origami Design Secrets helps readers cultivate the intuition and skills necessary to develop their own designs. It takes them beyond merely following a recipe to crafting a work of art.

"Ah, I'm Pingree. We meet again. Splendid. Won't you sit down?" I looked around David's room. Short of the library stacks, I had never seen so many books piled into a single room. Where could I sit down? Every square inch of horizontal surface was covered. Books, papers, notes, manuscripts-all congregated in random and chaotic disorder. This small encounter and the snapshot of the protagonist on the cover of this book introduce the reader to David E. Pingree, the eminent classicist, Orientalist, historian of ancient science, and member of the Department of the History of Mathematics at Brown University. This is a book of his stories, retold by Phil Davis, award-winning author and raconteur par excellence, who reconstructs them from letters and many conversations with his friend Pingree. The stories trace connections between ancient characters, historical and mythical, and recreate a world in which the pursuit of knowledge for its own sake leads to unexpected pleasures and associations. They capture a world best described by Saul Lieberman's quip about Gershom Scholem's great work on the Kabala: "Trash is trash; but the study of trash is scholarship," and David Pingree's imagined response, "Yes, but there's always something of value to be learned." The book is dedicated to preserving and promoting the specialized knowledge and thoughts of David Pingree, a truly remarkable person and to inspire readers to follow academic tradition and at the same time explore unusual connections.

Nonlinear Dynamics of Reservoir Mixtures provides an overview of modeling techniques for solving nonlinear problems in hydrodynamics, with an emphasis on compositional flows in porous reservoirs. The volume focuses on nonlinear wave techniques for simulating and predicting fluid dynamic processes in petroleum reservoirs and discusses general applications of these models for other fluids.
Topics covered include inhomogeneous space structures in reservoir processes, gradient models for analyzing changes in thermodynamic and hydrodynamic fluid properties, phase transition dynamics in fluids and rock minerals, and wetting phenomena. The book also discusses the stages involved in developing compositional simulators for enhanced oil recovery and describes applications used in hydrocarbon fields in the former USSR.
Nonlinear Dynamics of Reservoir Mixtures provides excellent reference material for mathematicians, petroleum engineers, exploration geophysicists, and mechanical engineers. It is also a useful compositional modeling text for graduate students in the earth sciences and in petroleum and chemical engineering.

This graduate level text is distinguished both by the range of topics and the novelty of the material it treats--more than half of the material in it has previously only appeared in research papers. The first half of this book introduces the characteristic and matchings polynomials of a graph. It is instructive to consider these polynomials together because they have a number of properties in common. The matchings polynomial has links with a number of problems in combinatorial enumeration, particularly some of the current work on the combinatorics of orthogonal polynomials. This connection is discussed at some length, and is also in part the stimulus for the inclusion of chapters on orthogonal polynomials and formal power series. Many of the properties of orthogonal polynomials are derived from properties of characteristic polynomials. The second half of the book introduces the theory of polynomial spaces, which provide easy access to a number of important results in design theory, coding theory and the theory of association schemes. This book should be of interest to second year graduate text/reference in mathematics.

In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapted to the problem.
Approximation with Quasi-Splines is a detailed account of this highly useful technique in numerical analysis.
The book presents the requisite approximation theorems and optimization methods, developing a unified theory of one and several variables. The author applies his techniques to the evaluation of definite integrals (quadrature) and its many-variables generalization, which he calls "cubature."
This book should be required reading for all practitioners of the methods of approximation, including researchers, teachers, and students in applied, numerical and computational mathematics.

This book comprises five parts. The first three contain ten historical essays on important topics: number theory, calculus/analysis, and proof, respectively. Part four deals with several historically oriented courses, and Part five provides biographies of five mathematicians who played major roles in the historical events described in the first four parts of the work.

"Excursions in the History of Mathematics" was written with several goals in mind: to arouse mathematics teachers' interest in the history of their subject; to encourage mathematics teachers with at least some knowledge of the history of mathematics to offer courses with a strong historical component; and to provide an historical perspective on a number of basic topics taught in mathematics courses."

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences. The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras. The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic.

Beginning with a short biography of Kurt Godel, "Godel's Theorem in Focus" provides the reader with a clear guide to the mechanics of Godel's proof in a format intelligible to the non-mathematician. The book moves on to explanations of the mechanics of Godel's proof and its significance for mathematical logic and the philosophy of mathematics. In the final section, S. G. Shanker presents a major new critique of Godel's theorem.

This book brings together the scattered literature associated with the seemingly unrelated regression equations (SURE) model used by econometricians and others. It focuses on the theoretical statistical results associated with the SURE model.

Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions of rationality and recognisability. The second part deals with relations between words realised by finite automata, which not only exemplifies the automata theory but also illustrates the variety of its methods and its fields of application. Many exercises are included, ranging from those that test the reader, to those that are technical results, to those that extend ideas presented in the text. Solutions or answers to many of these are included in the book.

The heart of mathematics is its elegance; the way it all fits together. Unfortunately, its beauty often eludes the vast majority of people who are intimidated by fear of the difficulty of numbers. Mathematical Elegance remedies this. Using hundreds of examples, the author presents a view of the mathematical landscape that is both accessible and fascinating.

At a time of concern that American youth are bored by math, there is renewed interest in improving math skills. Mathematical Elegance stimulates students, along with those already experienced in the discipline, to explore some of the unexpected pleasures of quantitative thinking. Invoking mathematical proofs famous for their simplicity and brainteasers that are fun and illuminating, the author leaves readers feeling exuberant--as well as convinced that their IQs have been raised by ten points.

A host of anecdotes about well-known mathematicians humanize and provide new insights into their lofty subjects. Recalling such classic works as Lewis Carroll's Introduction to Logic and A Mathematician Reads the Newspaper by John Allen Paulos, Mathematical Elegance will energize and delight a wide audience, ranging from intellectually curious students to the enthusiastic general reader.

The FET College Workbooks give students the opportunity to practise important skills in particular subjects systematically. The following features are used: Key skills from the curriculum are identified and practised; Info boxes summarise key concepts and processes; Easy fill-in-the-answer layout; and Exam practice sections help students prepare for specific examination type questions. The FET College Workbooks help lecturers because: Comprehensive exercises provide additional practice for students; and Model answers are provided in the back of the book. Can be used alongside any approved NCV Maths Literacy textbook in the classroom.

This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning. This is both a continuation, and a substantial modification, of an inferentialist approach to logic. As such, the book not only provides a critical introduction to the inferentialist view, but it also provides an argument that this shift in perspective has deep and foundational consequences for how we understand the nature of logic and its relationship with meaning and reasoning. This has been upheld by several technical results, including, for example a novel approach to logical paradox and logical revision, and an account of the internal justification of logical rules. The book shows that inferentialism is greatly strengthened, such that it can answer the most stringent criticisms of the view. This leads to a view of logic that emphasizes the dynamics of reasoning, provides a novel account of the justification and normativity of logical rules, thus leading to a new, attractive approach to the foundations of logic. The book addresses readers interested in philosophy of language, philosophical and mathematical logic, theories of reasoning, and also those who actively engage in current debates involving, for example, logical revision, and the relationship between logic and reasoning, from advanced undergraduates, to professional philosophers, mathematicians, and linguists.