The death of proof? Semi-rigorous mathematics? You've got to be kidding!
scientific article; zbMATH DE number 714153
scientific article