Theorems for a price: Tomorrow's semi-rigorous mathematical culture

DOI10.1007/BF03024696zbMath1019.00504arXivmath/9301202OpenAlexW2005015868WikidataQ115927998 ScholiaQ115927998MaRDI QIDQ1343655

Doron Zeilberger

Publication date: 15 September 2003

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9301202

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Related Items

Homology computation by reduction of chain complexes, Computerized deconstruction., A framework for an ICT-based study of parametric integrals, Topological invariants, multivalued maps and computer assisted proofs in dynamics, Computers as a Source of A Posteriori Knowledge in Mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• A purely verification proof of the first Rogers-Ramanujan identity
• A very short proof of Dixon's theorem
• Combinatorial problems of commutation and rearrangements
• “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
• The Godel Incompleteness Theorem from a Length-of-Proof Perspective