Mathematical Reasoning

Focusing on the formal development of mathematics, this book shows readers how to read, understand, write, and construct mathematical proofs.Uses elementary number theory and congruence arithmetic throughout. Focuses on writing in mathematics. Reviews prior mathematical work with “Preview Activities” at the start of each section. Includes “Activities” throughout that relate to the material contained in each section. Focuses on Congruence Notation and Elementary Number Theorythroughout.For professionals in the sciences or engineering who need to brush up on their advanced mathematics skills. Mathematical Reasoning: Writing and Proof, 2/E Theodore Sundstrom

The purpose of this book is to introduce the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. Over 250 problems include questions to interest and challenge the most able student but also plenty of routine exercises to help familiarize the reader with the basic ideas.

How we reason with mathematical ideas continues to be a fascinating and challenging topic of research--particularly with the rapid and diverse developments in the field of cognitive science that have taken place in recent years. Because it draws on multiple disciplines, including psychology, philosophy, computer science, linguistics, and anthropology, cognitive science provides rich scope for addressing issues that are at the core of mathematical learning. Drawing upon the interdisciplinary nature of cognitive science, this book presents a broadened perspective on mathematics and mathematical reasoning. It represents a move away from the traditional notion of reasoning as "abstract" and "disembodied", to the contemporary view that it is "embodied" and "imaginative." From this perspective, mathematical reasoning involves reasoning with structures that emerge from our bodily experiences as we interact with the environment; these structures extend beyond finitary propositional representations. Mathematical reasoning is imaginative in the sense that it utilizes a number of powerful, illuminating devices that structure these concrete experiences and transform them into models for abstract thought. These "thinking tools"--analogy, metaphor, metonymy, and imagery--play an important role in mathematical reasoning, as the chapters in this book demonstrate, yet their potential for enhancing learning in the domain has received little recognition. This book is an attempt to fill this void. Drawing upon backgrounds in mathematics education, educational psychology, philosophy, linguistics, and cognitive science, the chapter authors provide a rich and comprehensive analysis of mathematical reasoning. New and exciting perspectives are presented on the nature of mathematics (e.g., "mind-based mathematics"), on the array of powerful cognitive tools for reasoning (e.g., "analogy and metaphor"), and on the different ways these tools can facilitate mathematical reasoning. Examples are drawn from the reasoning of the preschool child to that of the adult learner.

Designed as a method for teaching correct mathematical thinking to high school students, this book contains a brilliantly constructed series of what the authors call "lapses," erroneous statements that are part of a larger mathematical argument. These lapses lead to sophism or mathematical absurdities. The ingenious idea behind this technique is to lead the student deliberately toward a clearly false conclusion. The teacher and student then go back and analyze the lapse as a way to correct the problem. The authors begin by focusing on exercises in refuting erroneous mathematical arguments and their classification. The remaining chapters discuss examples of false arguments in arithmetic, algebra, geometry, trigonometry, and approximate computations. Ideally, students will come to the correct insights and conclusions on their own; however, each argument is followed by a detailed analysis of the false reasoning. Stimulating and unique, this book is an intriguing and enjoyable way to teach students critical mathematical reasoning skills.

This accessible textbook gives beginning undergraduate mathematics students a first exposure to introductory logic, proofs, sets, functions, number theory, relations, finite and infinite sets, and the foundations of analysis. The book provides students with a quick path to writing proofs and a practical collection of tools that they can use in later mathematics courses such as abstract algebra and analysis. The importance of the logical structure of a mathematical statement as a framework for finding a proof of that statement, and the proper use of variables, is an early and consistent theme used throughout the book.

The development of mathematical competence -- both by humans as a species over millennia and by individuals over their lifetimes -- is a fascinating aspect of human cognition. This book explores when and why the rudiments of mathematical capability first appeared among human beings, what its fundamental concepts are, and how and why it has grown into the richly branching complex of specialties that it is today. It discusses whether the ‘truths’ of mathematics are discoveries or inventions, and what prompts the emergence of concepts that appear to be descriptive of nothing in human experience. Also covered is the role of esthetics in mathematics: What exactly are mathematicians seeing when they describe a mathematical entity as ‘beautiful’? There is discussion of whether mathematical disability is distinguishable from a general cognitive deficit and whether the potential for mathematical reasoning is best developed through instruction. This volume is unique in the vast range of psychological questions it covers, as revealed in the work habits and products of numerous mathematicians. It provides fascinating reading for researchers and students with an interest in cognition in general and mathematical cognition in particular. Instructors of mathematics will also find the book’s insights illuminating.

This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.

This book speaks about physics discoveries that intertwine mathematical reasoning, modeling, and scientific inquiry. It offers ways of bringing together the structural domain of mathematics and the content of physics in one coherent inquiry. Teaching and learning physics is challenging because students lack the skills to merge these learning paradigms. The purpose of this book is not only to improve access to the understanding of natural phenomena but also to inspire new ways of delivering and understanding the complex concepts of physics. To sustain physics education in college classrooms, authentic training that would help develop high school students’ skills of transcending function modeling techniques to reason scientifically is needed and this book aspires to offer such training The book draws on current research in developing students’ mathematical reasoning. It identifies areas for advancements and proposes a conceptual framework that is tested in several case studies designed using that framework. Modeling Newton’s laws using limited case analysis, Modeling projectile motion using parametric equations and Enabling covariational reasoning in Einstein formula for the photoelectric effect represent some of these case studies. A wealth of conclusions that accompany these case studies, drawn from the realities of classroom teaching, is to help physics teachers and researchers adopt these ideas in practice.