Computing and the cultures of proving.

Area of Science:

• Mathematics
• Sociology of Science
• Computer Science

Background:

• Mathematical proof has historically relied on human reasoning and formal logic.
• The advent of digital computers has introduced new methods and perspectives into mathematical proof.
• Understanding what constitutes a valid proof is crucial in various contexts, including legal and academic settings.

Purpose of the Study:

• To examine the evolving relationship between mathematical proof and digital computers.
• To analyze the concept of 'sociology of proof' and its implications for mathematical practice.
• To identify and discuss diverse 'cultures of proving' and their underlying factors.

Main Methods:

• Analysis of the sociology of proof, focusing on criteria for valid arguments.
• Examination of the first litigation case involving the nature of mathematical proof.
• Categorization of proof cultures based on mechanization (mechanized vs. non-mechanized) and formality (formal proofs vs. rigorous arguments).

Main Results:

• Identified distinct 'cultures of proving' based on their preferred methods and criteria for validity.
• Observed that while these cultures often coexist, conflicts reveal underlying assumptions and preferences.
• Highlighted various factors contributing to the diversity of proving cultures.

Conclusions:

• The digital computer significantly influences the landscape of mathematical proof and its acceptance.
• The sociology of proof provides a framework for understanding the diverse and sometimes conflicting approaches to mathematical argumentation.
• Further investigation into the interplay between computational methods and traditional proof techniques is warranted.