Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture

1993/01/03 by Doron Zeilberger · 1 voice
Mathematics · #math.CO

paper · pdf

published as Notices of the Amer. Math. Soc. 40(1993), 978-981 · Plain TeX

Abstract

The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.

Cited by

• The Technological Turn in Mathematics

Discussions

• BTW, are you familiar with this paper by Zeilberger? He was in some sense spot on thirty years ago to equate progress in math with buying computing tokens arxiv.org/pdf/math/930... [bsky, 2 points, 0 comments]