The death of proof? Semi-rigorous mathematics? You've got to be kidding!
type: Item
instance of: scholarly article
title: The death of proof? Semi-rigorous mathematics? You've got to be kidding!
zbMATH Open document ID: 1019.00501
DOI: 10.1007/BF03024696
author: George E. Andrews
published in: The Mathematical Intelligencer
publication date: 2003-09-15T00:00:00Z
Mathematics Subject Classification ID: 00A30
zbMATH DE Number: 714153
MaRDI profile type: Publication
Wikidata QID: Q115927998
cites work: “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
cites work: A very short proof of Dixon's theorem
cites work: A purely verification proof of the first Rogers-Ramanujan identity
cites work: Q4230322
cites work: Q4230321
cites work: The Godel Incompleteness Theorem from a Length-of-Proof Perspective
cites work: Combinatorial problems of commutation and rearrangements
cites work: Plane partitions. V: The TSSCPP conjecture
cites work: Q4310745
cites work: A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares
cites work: Pi, Euler Numbers, and Asymptotic Expansions
cites work: Rational Functions Certify Combinatorial Identities
cites work: The method of creative telescoping
cites work: Q3588135
cites work: Proof of the alternating sign matrix conjecture
cites work: A proof of Andrews' \(q\)-Dyson conjecture
full work available at URL: https://doi.org/10.1007/bf03024696
OpenAlex ID: W2005015868
description: scientific article; zbMATH DE number 714153