This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how compl

For seven years, Paul Lockhart’s A Mathematician’s Lament enjoyed a samizdat-style popularity in the mathematics underground, before demand prompted its 200

An insightful reflection on the mathematical soul What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers—for the sake

How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of ho

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mat