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.


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.)
Full Text: DOI


[1] Apéry, R., Interpolation de fractions continues et irrationalité de certaine constantes, Bull. sec. sci. CTHS, 3, 37-53, (1981) · Zbl 0463.10024
[2] Atiyah, M., Mathematics in the 20th century, Bull. London math. soc., 34, 1-15, (2002) · Zbl 1022.01007
[3] Batut, C.; Olivier, M., Sur l’accéleration de la convergence de certaines fractions continues, Sém. théor. nombres année, 23, (1979-1989) · Zbl 0435.10019
[4] Beukers, F., A note on the irrationality of ζ(2) and ζ(3), Bull. London math. soc., 11, 268-272, (1979) · Zbl 0421.10023
[5] Gowers, W.T., The two cultures of mathematics, () · Zbl 0998.00003
[6] Hata, M., A new irrationality measure for ζ(3), Acta arith., 92, 47-57, (2000) · Zbl 0955.11023
[7] Howells, C., Derrida, (1998), Polity Press Cambridge, UK
[8] van der Poorten, A., A proof that Euler missed … apéry’s proof of the irrationality of ζ(3), Math. intell., 1, 195-203, (1979) · Zbl 0409.10028
[9] V. Tasik, Poststructuralism and Deconstruction: A Mathematical History, available from his website
[10] Zeilberger, D., Closed form (pun intended!), (), 579-607 · Zbl 0808.05010
[11] Zeilberger, D., Theorems for a price: Tomorrow’s semi-rigorous mathematical culture, Notices amer. math. soc., Math. intell., 16, 4, 11-14, (1994), reprinted · Zbl 1019.00504
[12] Zudilin, W., Apéry-like difference equations for Catalan’s constant, preprint · Zbl 1093.11075
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.