It remains the one of the most widely read books about science to come out of the twentieth century.(Note: the book was first published in 1934, in German, with the title Logik der Forschung. It was "reformulated" into English in 1959. See Wikipedia for details.)

    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.

    Now, in The Unimaginable Mathematics of Borges' Library of Babel, William Goldbloom Bloch takes readers on a fascinating tour of the mathematical ideas hiddenwithin one of the classic works of modern literature.Written in the vein of Douglas R. Hofstadter's Pulitzer Prize-winning G�del, Escher, Bach, this original and imaginative book sheds light on one of Borges' most complex, richly layered works. Bloch begins each chapter with a mathematical idea--combinatorics, topology, geometry, informationtheory--followed by examples and illustrations that put flesh on the theoretical bones. In this way, he provides many fascinating insights into Borges' Library. He explains, for instance, a straightforward way to calculate how many books are in the Library--an easily notated but literallyunimaginable number--and also shows that, if each book were the size of a grain of sand, the entire universe could only hold a fraction of the books in the Library. Indeed, if each book were the size of a proton, our universe would still not be big enough to hold anywhere near all the books.Given Borges' well-known affection for mathematics, this exploration of the story through the eyes of a humanistic mathematician makes a unique and important contribution to the body of Borgesian criticism. Bloch not only illuminates one of the great short stories of modern literature but alsoexposes the reader--including those more inclined to the literary world--to many intriguing and entrancing mathematical ideas.

    Prepare to stretch your mind and challenge everything you think you know, as This Book Does Not Exist unveils just how weird a place the world of thought can be. Filled with philosophical and mathematical problems to baffle and delight you, This Book Does Not Exist is packed with thought experiments, real-life examples, and puzzles for you to try. It also introduces you to some of the great names in the field of paradoxes, from the ancient Greeks to Albert Einstein. Divided into eight mind-bending chapters, This Book Does Not Exist takes you on a journey from the counterintuitive to the downright absurd. On the way it will introduce you to topics such as impossible objects, how to expect the unexpected, and the trouble with time travel. This is a book that will change the way you think.

    These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced problem-solving skills through modeling. Its intent is to demonstrate the relevance and practicality of discrete mathematics to all students. The Fifth Edition includes a more thorough and linear presentation of logic, proof types and proof writing, and mathematical reasoning. This enhanced coverage will provide students with a solid understanding of the material as it relates to their immediate field of study and other relevant subjects. The inclusion of applications and examples to key topics has been significantly addressed to add clarity to every subject. True to the Fourth Edition, the text-specific web site supplements the subject matter in meaningful ways, offering additional material for students and instructors. Discrete math is an active subject with new discoveries made every year. The continual growth and updates to the web site reflect the active nature of the topics being discussed. The book is appropriate for a one- or two-term introductory discrete mathematics course to be taken by students in a wide variety of majors, including computer science, mathematics, and engineering. College Algebra is the only explicit prerequisite.

    Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvellous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others.

    We cannot choose to avoid philosophy, we can only choose whether we understand it or not. Stefan Molyneux, host of Freedomain Radio – the largest and most popular philosophy show in the world, with over 600 million views and downloads – takes you on a spectacular journey through the most foundational philosophical questions of the ages, clearing up and clarifying the most thorny problems posed by philosophers throughout history: -How do we know what is real? -How do we know what is true? -How do we know what is right? -How do we know what is good? -How do we know we even have a choice? -How do we convince others? These are all questions that we – as individuals and societies – wrestle with every day. These questions have challenged, motivated and plagued mankind for thousands of years. “Essential Philosophy” answers these questions with rigourous, illuminating and entertaining logic, reasoning from deep first principles to spectacular final conclusions. There is no need for confusion, there is no need for despair, there is no need for fear – pick up this book now, absorb the true power of philosophy, and live a rational moral life to the fullest. And then, give “Essential Philosophy” to others, so that the world may one day live in reason and peace.

    Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

    What began more than sixty years ago as a modest proposal that a mathematician and an economist write a short paper together blossomed, in 1944, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of scientific inquiry it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences.This sixtieth anniversary edition includes not only the original text but also an introduction by Harold Kuhn, an afterword by Ariel Rubinstein, and reviews and articles on the book that appeared at the time of its original publication in the New York Times, tthe American Economic Review, and a variety of other publications. Together, these writings provide readers a matchless opportunity to more fully appreciate a work whose influence will yet resound for generations to come.

    Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.

    The Art of Problem Solving, Volume 1, is the classic problem solving textbook used by many successful MATHCOUNTS programs, and have been an important building block for students who, like the authors, performed well enough on the American Mathematics Contest series to qualify for the Math Olympiad Summer Program which trains students for the United States International Math Olympiad team.Volume 1 is appropriate for students just beginning in math contests. MATHCOUNTS and novice high school students particularly have found it invaluable. Although the Art of Problem Solving is widely used by students preparing for mathematics competitions, the book is not just a collection of tricks. The emphasis on learning and understanding methods rather than memorizing formulas enables students to solve large classes of problems beyond those presented in the book.Speaking of problems, the Art of Problem Solving, Volume 1, contains over 500 examples and exercises culled from such contests as MATHCOUNTS, the Mandelbrot Competition, the AMC tests, and ARML. Full solutions (not just answers!) are available for all the problems in the solution manual.

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

    mean, margin of error, standard deviation, permutations, and correlations-all using Excel

    This volume provides a comprehensible guide to his work by a wide range of experts who are actively engaged in new work on Wittgenstein. The essays, which are both expository and original, address central themes in his philosophy of mind, language, logic, and mathematics and clarify the connections among the different stages in the development of his work.

    The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.