Theater is uniquely poised to discover the soulful, human truths embedded in the austere theorems of mathematics, but this is a difficult feat.

No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.

Proofs and Refutations is for those interested in the methodology, philosophy and history of mathematics.

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students.

This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines.

The book ends with short essays on further topics suitable for seminar-style presentation by small teams of students, either in class or in a mathematics club setting.

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics.

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics.

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics.

This is delightful stuff.” —Barton Swaim, Wall Street Journal “At a time when the concept of truth itself is in trouble, this lively and accessible account provides vivid and deep analysis of the practices addressing what is reliably ...