The death of proof? Semi-rigorous mathematics? You've got to be kidding!
From MaRDI portal
Publication:1343656
DOI10.1007/BF03024696zbMath1019.00501OpenAlexW2005015868WikidataQ115927998 ScholiaQ115927998MaRDI QIDQ1343656
Publication date: 15 September 2003
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03024696
Related Items (3)
A pretty binomial identity ⋮ Inversion techniques and combinatorial identities: Balanced hypergeometric series. ⋮ A series involving Catalan numbers: proofs and demonstrations
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
This page was built for publication: The death of proof? Semi-rigorous mathematics? You've got to be kidding!
