Description
Mathematical Rigour and Informal Proof delves into a fundamental tension in mathematics: the gap between formal logical systems and the informal proofs that working mathematicians actually use. Fenner Stanley Tanswell provides a comprehensive philosophical analysis of how mathematical rigor functions in contemporary practice, challenging the traditional view that only formal proofs constitute genuine mathematical knowledge.
The book examines case studies from various mathematical domains, demonstrating how informal reasoning, visualization, and intuitive arguments play essential roles in mathematical discovery and justification. Tanswell explores the epistemological status of informal proofs and their relationship to formal systems, addressing questions about what makes mathematics reliable and how mathematical knowledge advances. This work contributes significantly to philosophy of mathematics by bridging the gap between idealized formal systems and real mathematical practice.
Reviews
There are no reviews yet.