Eight fascinating examples show how understanding of certain topics in advanced mathematics requires nothing more than arithmetic and common sense. Covers mathematical applications behind cell phones, computers, cell growth, and other areas.

Eight fascinating examples show how understanding of certain topics in advanced mathematics requires nothing more than arithmetic and common sense. Covers mathematical applications behind cell phones, computers, cell growth, and other areas.

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 monograph uses the concept and category of “event” in the study of mathematics as it emerges from an interaction between levels of cognition, from the bodily experiences to symbolism. It is subdivided into three parts.The first moves from a general characterization of the classical approach to mathematical cognition and mind toward laying the foundations for a view on the mathematical mind that differs from going approaches in placing primacy on events.The second articulates some common phenomena–mathematical thought, mathematical sign, mathematical form, mathematical reason and its development, and affect in mathematics–in new ways that are based on the previously developed ontology of events. The final part has more encompassing phenomena as its content, most prominently the thinking body of mathematics, the experience in and of mathematics, and the relationship between experience and mind. The volume is well-suited for anyone with a broad interest in educational theory and/or social development, or with a broad background in psychology.

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics. (ii) Mathematics has been and is moving with growing acceleration from the set-theoretic language of structures to the language and intuition of (higher) categories, leaving behind old concerns about in?nities: a new view of foundations is now emerging. (iii) Computer science, a no-nonsense child of the abstract computability theory, has been creatively dealing with old challenges and providing new ones, such as the P/NP problem. Planning additional chapters for this second edition, I have decided to focus onmodeltheory,the conspicuousabsenceofwhichinthe ?rsteditionwasnoted in several reviews, and the theory of computation, including its categorical and quantum aspects. The whole Part IV: Model Theory, is new. I am very grateful to Boris I. Zilber, who kindly agreed to write it. It may be read directly after Chapter II. The contents of the ?rst edition are basically reproduced here as Chapters I–VIII. Section IV.7, on the cardinality of the continuum, is completed by Section IV.7.3, discussing H. Woodin’s discovery.

This book offers a deeper insight into what mathematics is, tapping every child's intuitive ideas of logic and natural enjoyment of games. Simple-looking games and puzzles quickly lead to deeper insights, which will eventually connect with significant formal mathematical ideas as the child grows. This book is addressed to leaders of math circles or enrichment programs, but its activities can fit into regular math classes, homeschooling venues, or situations in which students are learning mathematics on their own. The mathematics contained in the activities can be enjoyed on many levels.