The Unreasonable Effectiveness of Mathematical Experiments
10 months ago
- #computational-patterns
- #mathematics
- #experimental-science
- Proposes redefining mathematics as an experimental science focused on patterns in computation.
- Highlights Voevodsky's crisis of confidence as an example of mathematical uncertainty.
- Argues that mathematical truth is about predicting computational outcomes, not eternal truths.
- Suggests that contradictions in mathematics indicate failed theories, not logical impossibilities.
- Explains the 'unreasonable effectiveness' of mathematics in physics through this framework.
- Posits that consistency in use, rather than deduction from axioms, signifies mathematical understanding.