Physics World's 'Book of the Year' for 2016 An Entertaining and Enlightening Guide to the Who, What, and Why of String Theory, now also available in an updated reflowable electronic format compatible with mobile devices and e-readers. During the last 50 years, numerous physicists have tried to unravel the secrets of string theory. Yet why do these scientists work on a theory lacking experimental confirmation? Why String Theory? provides the answer, offering a highly readable and accessible panorama of the who, what, and why of this large aspect of modern theoretical physics. The author, a theoretical physics professor at the University of Oxford and a leading string theorist, explains what string theory is and where it originated. He describes how string theory fits into physics and why so many physicists and mathematicians find it appealing when working on topics from M-theory to monsters and from cosmology to superconductors.

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition course to lead into a first course on analysis. This combined approach allows instructors to teach a single course where two were offered. The text opens with an introduction to basic logic and set theory, setting students up to succeed in the study of analysis. Each section is followed by graduated exercises that both guide and challenge students. The author includes examples and illustrations that appeal to the visual side of analysis. The accessible structure of the book makes it an ideal refence for later years of study or professional work. Combines the author's previous works Elements of Advanced Mathematics with Foundations of Analysis Combines logic, set theory and other elements with a one-semester introduction to analysis. Author is a well-known mathematics educator and researcher Targets a trend to combine two courses into one

Join the Cryptokids as they apply basic mathematics to make and break secret codes. This book has many hands-on activities that have been tested in both classrooms and informal settings. Classic coding methods are discussed, such as Caesar, substitution, Vigen and multiplicative ciphers as well as the modern RSA. Math topics covered include: - Addition and Subtraction with, negative numbers, decimals, and percentages - Factorization - Modular Arithmetic - Exponentiation - Prime Numbers - Frequency Analysis.The accompanying workbook, The Cryptoclub Workbook: Using Mathematics to Make and Break Secret Codes provides students with problems related to each section to help them master the concepts introduced throughout the book. A PDF version of the workbook is available at no charge on the download tab, a printed workbook is available for $19.95 (K00701). The teacher manual can be requested from the publisher by contacting the Academic Sales Manager, Susie Carlisle

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.

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.

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.

A Bridge to Higher Mathematics is more than simply another book to aid the transition to advanced mathematics. The authors intend to assist students in developing a deeper understanding of mathematics and mathematical thought. The only way to understand mathematics is by doing mathematics. The reader will learn the language of axioms and theorems and will write convincing and cogent proofs using quantifiers. Students will solve many puzzles and encounter some mysteries and challenging problems. The emphasis is on proof. To progress towards mathematical maturity, it is necessary to be trained in two aspects: the ability to read and understand a proof and the ability to write a proof. The journey begins with elements of logic and techniques of proof, then with elementary set theory, relations and functions. Peano axioms for positive integers and for natural numbers follow, in particular mathematical and other forms of induction. Next is the construction of integers including some elementary number theory. The notions of finite and infinite sets, cardinality of counting techniques and combinatorics illustrate more techniques of proof. For more advanced readers, the text concludes with sets of rational numbers, the set of reals and the set of complex numbers. Topics, like Zorn's lemma and the axiom of choice are included. More challenging problems are marked with a star. All these materials are optional, depending on the instructor and the goals of the course.

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.

From Zero to Infinity is a combination of number lore, number history, and sparkling descriptions of the simply stated but exceedingly difficult problems posed by the most ordinary numbers that first appeared in 1955 and has been kept in print continuously ever since. With the fifth edition this classic has been updated to report on advances in number theory over the last 50 years, including the proof of Fermat's Last Theorem. Deceptively simple in style and structure, it is a book to which the reader will return again and again, gaining greater understanding and satisfaction with each reading.

Assuming little previous mathematical knowledge, Error Correcting Codes provides a sound introduction to key areas of the subject. Topics have been chosen for their importance and practical significance, which Baylis demonstrates in a rigorous but gentle mathematical style. Coverage includes optimal codes; linear and non-linear codes; general techniques of decoding errors and erasures; error detection; syndrome decoding, and much more. Error Correcting Codes contains not only straight maths, but also exercises on more investigational problem solving. Chapters on number theory and polynomial algebra are included to support linear codes and cyclic codes, and an extensive reminder of relevant topics in linear algebra is given. Exercises are placed within the main body of the text to encourage active participation by the reader, with comprehensive solutions provided. Error Correcting Codes will appeal to undergraduate students in pure and applied mathematical fields, software engineering, communications engineering, computer science and information technology, and to organizations with substantial research and development in those areas.

Going beyond current books on privacy and security, Unauthorized Access: The Crisis in Online Privacy and Security proposes specific solutions to public policy issues pertaining to online privacy and security. Requiring no technical or legal expertise, the book explains complicated concepts in clear, straightforward language. The authors two renowned experts on computer security and law explore the well-established connection between social norms, privacy, security, and technological structure. This approach is the key to understanding information security and informational privacy, providing a practical framework to address ethical and legal issues. The authors also discuss how rapid technological developments have created novel situations that lack relevant norms and present ways to develop these norms for protecting informational privacy and ensuring sufficient information security. Bridging the gap among computer scientists, economists, lawyers, and public policy makers, this book provides technically and legally sound public policy guidance about online privacy and security. It emphasizes the need to make trade-offs among the complex concerns that arise in the context of online privacy and security.

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.

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.

"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.

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .

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.

Written by two well-known scholars in the field, Combinatorial Reasoning: An Introduction to the Art of Counting presents a clear and comprehensive introduction to the concepts and methodology of beginning combinatorics. Focusing on modern techniques and applications, the book develops a variety of effective approaches to solving counting problems. Balancing abstract ideas with specific topical coverage, the book utilizes real world examples with problems ranging from basic calculations that are designed to develop fundamental concepts to more challenging exercises that allow for a deeper exploration of complex combinatorial situations. Simple cases are treated first before moving on to general and more advanced cases. Additional features of the book include: Approximately 700 carefully structured problems designed for readers at multiple levels, many with hints and/or short answers Numerous examples that illustrate problem solving using both combinatorial reasoning and sophisticated algorithmic methods A novel approach to the study of recurrence sequences, which simplifies many proofs and calculations Concrete examples and diagrams interspersed throughout to further aid comprehension of abstract concepts A chapter-by-chapter review to clarify the most crucial concepts covered Combinatorial Reasoning: An Introduction to the Art of Counting is an excellent textbook for upper-undergraduate and beginning graduate-level courses on introductory combinatorics and discrete mathematics.

For many civilian, security, and military applications, distributed and networked coordination offers a more promising alternative to centralized command and control in terms of scalability, flexibility, and robustness. It also introduces its own challenges. Distributed Networks: Intelligence, Security, and Applications brings together scientific research in distributed network intelligence, security, and novel applications. The book presents recent trends and advances in the theory and applications of network intelligence and helps you understand how to successfully incorporate them into distributed systems and services. Featuring contributions by leading scholars and experts from around the world, this collection covers: Approaches for distributed network intelligence Distributed models for distributed enterprises, including forecasting and performance measurement models Security applications for distributed enterprises, including intrusion tackling and peer-to-peer traffic detection Future wireless networking scenarios, including the use of software sensors instead of hardware sensors Emerging enterprise applications and trends such as the smartOR standard and innovative concepts for human-machine interaction in the operating room Several chapters use a tutorial style to emphasize the development process behind complex distributed networked systems and services, which highlights the difficulties of knowledge engineering of such systems. Delving into novel concepts, theories, and advanced technologies, this book offers inspiration for further research and development in distributed computing and networking, especially related to security solutions for distributed environments.

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject.

An essential guide to recognizing bogus numbers and misleading data Numbers are often intimidating, confusing, and even deliberately deceptive-especially when they are really big. The media loves to report on millions, billions, and trillions, but frequently makes basic mistakes or presents such numbers in misleading ways. And misunderstanding numbers can have serious consequences, since they can deceive us in many of our most important decisions, including how to vote, what to buy, and whether to make a financial investment. In this short, accessible, enlightening, and entertaining book, leading computer scientist Brian Kernighan teaches anyone-even diehard math-phobes-how to demystify the numbers that assault us every day. With examples drawn from a rich variety of sources, including journalism, advertising, and politics, Kernighan demonstrates how numbers can mislead and misrepresent. In chapters covering big numbers, units, dimensions, and more, he lays bare everything from deceptive graphs to speciously precise numbers. And he shows how anyone-using a few basic ideas and lots of shortcuts-can easily learn to recognize common mistakes, determine whether numbers are credible, and make their own sensible estimates when needed. Giving you the simple tools you need to avoid being fooled by dubious numbers, Millions, Billions, Zillions is an essential survival guide for a world drowning in big-and often bad-data.

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 deals with the determinants of linear operators in Euclidean, Hilbert and Banach spaces. Determinants of operators give us an important tool for solving linear equations and invertibility conditions for linear operators, enable us to describe the spectra, to evaluate the multiplicities of eigenvalues, etc. We derive upper and lower bounds, and perturbation results for determinants, and discuss applications of our theoretical results to spectrum perturbations, matrix equations, two parameter eigenvalue problems, as well as to differential, difference and functional-differential equations.

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.

Fuzzy knowledge and fuzzy systems affect our lives today as systems enter the world of commerce. Fuzzy systems are incorporated in domestic appliances (washing machine, air conditioning, microwave, telephone) and in transport systems (a pilotless helicopter has recently completed a test flight). Future applications are expected to have dramatic implications for the demand for labor, among other things. It was with such thoughts in mind that this first international survey of future applications of fuzzy logic has been undertaken. The results are likely to be predictive for a decade beyond the millenium. The predictive element is combined with a bibliography which serves as an historical anchor as well as being both extensive and extremely useful. Analysis and Evaluation of Fuzzy Systems is thus a milestone in the development of fuzzy logic and applications of three representative subsystems: Fuzzy Control, Fuzzy Pattern Recognition and Fuzzy Communications.