The death of proof? Semi-rigorous mathematics? you've got to be kidding (1994)

by George Andrews
Venue:Math. Intell