Computerized deconstruction.
The author preaches the new gospel that ``the methodology of computer-assisted and computer generated research will rule in the future, and will make past mathematics seem like alchemy and astrology, or, at best, theology.'' In the spirit of Jacques Derrida's deconstruction of such binary `opposites' as cause and effect, the author promises to deconstruct such pairs as rigorous and non-rigorous, pure and applied, theorem and conjecture, empirical and theoretical, a priori truth and experimental truth, deduction and induction. He endeavours to illustrate his notions by detailing how computer-assisted and computer generated research might discover, strictly speaking, might have discovered, Apéry's proof of the irrationality of \(\zeta(3)\), so-to-speak deconstructing the Apéry of 1978 by rendering him unnecessary.
scientific article; zbMATH DE number 1981413
scientific article