Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

    Focused on helping students understand and construct proofs and expanding their mathematical maturity, this best-selling text is an accessible introduction to discrete mathematics. Johnsonbaugh's algorithmic approach emphasizes problem-solving techniques. The Seventh Edition reflects user and reviewer feedback on both content and organization.

    From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material. 'A lively and stimulating book' Philosophy

    What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know today? In Enlightening Symbols, popular math writer Joseph Mazur explains the fascinating history behind the development of our mathematical notation system. He shows how symbols were used initially, how one symbol replaced another over time, and how written math was conveyed before and after symbols became widely adopted.Traversing mathematical history and the foundations of numerals in different cultures, Mazur looks at how historians have disagreed over the origins of the numerical system for the past two centuries. He follows the transfigurations of algebra from a rhetorical style to a symbolic one, demonstrating that most algebra before the sixteenth century was written in prose or in verse employing the written names of numerals. Mazur also investigates the subconscious and psychological effects that mathematical symbols have had on mathematical thought, moods, meaning, communication, and comprehension. He considers how these symbols influence us (through similarity, association, identity, resemblance, and repeated imagery), how they lead to new ideas by subconscious associations, how they make connections between experience and the unknown, and how they contribute to the communication of basic mathematics.From words to abbreviations to symbols, this book shows how math evolved to the familiar forms we use today.

    His aim is to break down the fixed categories of thought which have always appeared to define and constrain the permissible solutions to these problems.

    In this book, the American pragmatist Richard Rorty and the French analytic philosopher Pascal Engel present their radically different perspectives on truth and its correspondence to reality.Rorty doubts that the notion of truth can be of any practical use and points to the preconceptions that lie behind truth in both the intellectual and social spheres. Engel prefers a realist conception, defending the relevance and value of truth as a norm of belief and inquiry in both science and the public domain. Rorty finds more danger in using the notion of truth than in getting rid of it. Engel thinks it is important to hold on to the idea that truth is an accurate representation of reality.In Rorty's view, epistemology is an artificial construct meant to restore a function to philosophy usurped by the success of empirical science. Epistemology and ontology are false problems, and with their demise goes the Cartesian dualism of subject and object and the ancient problematic of appearance and reality. Conventional "philosophical problems," Rorty asserts, are just symptoms of the professionalism that has disfigured the discipline since the time of Kant. Engel, however, is by no means as complacent as Rorty in heralding the "end of truth," and he wages a fierce campaign against the "veriphobes" who deny its value.What's the Use of Truth? is a rare opportunity to experience each side of this impassioned debate clearly and concisely. It is a subject that has profound implications not only for philosophical inquiry but also for the future study of all aspects of our culture.

    But this book will help you to do something that humans have only recently understood how to do: to count to regions that no animal has ever reached. By the end of this book you'll be able to count to infinity... and beyond. On our way to infinity we'll discover how the ancient Babylonians used their bodies to count to 60 (which gave us 60 minutes in the hour), how the number zero was only discovered in the 7th century by Indian mathematicians contemplating the void, why in China going into the red meant your numbers had gone negative and why numbers might be our best language for communicating with alien life.But for millennia, contemplating infinity has sent even the greatest minds into a spin. Then at the end of the nineteenth century mathematicians discovered a way to think about infinity that revealed that it is a number that we can count. Not only that. They found that there are an infinite number of infinities, some bigger than others. Just using the finite neurons in your brain and the finite pages in this book, you'll have your mind blown discovering the secret of how to count to infinity.Do something amazing and learn a new skill thanks to the Little Ways to Live a Big Life books!

    In this little book Welsh writer and artist David Wade paints a picture of one of the most elusive and pervasive concepts known to man.

    Contains 640 problems including solutions; additional practice problems with answers; explanations of complex variable theory; coverage of applications of complex variables in engineering, physics, and elsewhere, with accompanying sample problems and solutions.

    There is joy and beauty in mathematics, and in more than two dozen essays drawn from his popular “Good Math” blog, you’ll find concepts, proofs, and examples that are often surprising, counterintuitive, or just plain weird.Mark begins his journey with the basics of numbers, with an entertaining trip through the integers and the natural, rational, irrational, and transcendental numbers. The voyage continues with a look at some of the oddest numbers in mathematics, including zero, the golden ratio, imaginary numbers, Roman numerals, and Egyptian and continuing fractions. After a deep dive into modern logic, including an introduction to linear logic and the logic-savvy Prolog language, the trip concludes with a tour of modern set theory and the advances and paradoxes of modern mechanical computing.If your high school or college math courses left you grasping for the inner meaning behind the numbers, Mark’s book will both entertain and enlighten you.

    It covers areas such as fundamentals, logic, counting, relations and digraphs, trees, topics in graph theory, languages and finite-state machines, and groups and coding.

    This work demonstrates Popper's importance across the whole range of philosophy and provides an introduction to the main themes of philosophy itself.

    Hofstadter's collection of quirky essays is unified by its primary concern: to examine the way people perceive and think.

    Darrell Huff runs the gamut of every popularly used type of statistic, probes such things as the sample study, the tabulation method, the interview technique, or the way the results are derived from the figures, and points up the countless number of dodges which are used to fool rather than to inform.

    Louis are all intimately connected with the mysterious number e. In this informal and engaging history, Eli Maor portrays the curious characters and the elegant mathematics that lie behind the number. Designed for a reader with only a modest mathematical background, this biography brings out the central importance of e to mathematics and illuminates a golden era in the age of science.