The death of proof? Semi-rigorous mathematics? You've got to be kidding!
From MaRDI portal
Publication:1343656
DOI10.1007/BF03024696zbMath1019.00501WikidataQ115927998 ScholiaQ115927998MaRDI QIDQ1343656
Publication date: 15 September 2003
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
00A30: Philosophy of mathematics
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A purely verification proof of the first Rogers-Ramanujan identity
- A very short proof of Dixon's theorem
- A proof of Andrews' \(q\)-Dyson conjecture
- The method of creative telescoping
- Plane partitions. V: The TSSCPP conjecture
- Proof of the alternating sign matrix conjecture
- Combinatorial problems of commutation and rearrangements
- “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
- Rational Functions Certify Combinatorial Identities
- Pi, Euler Numbers, and Asymptotic Expansions
- The Godel Incompleteness Theorem from a Length-of-Proof Perspective
- A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares