## Computerized deconstruction.(English)Zbl 1041.11052

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.

### MSC:

 11J72 Irrationality; linear independence over a field 68W30 Symbolic computation and algebraic computation 00A35 Methodology of mathematics 33F10 Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)